THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT, Journal of Circuits, Systems and Computers, vol.08, issue.01, pp.21-66, 1998. ,
DOI : 10.1142/S0218126698000043
Model checking via reachability testing for timed automata, TACAS '98: Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems, pp.263-280, 1998. ,
DOI : 10.1007/bfb0054177
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.3583
Symbolic analysis of hybrid systems, Proceedings of the 36th IEEE Conference on Decision and Control, 1997. ,
DOI : 10.1109/CDC.1997.650717
A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
A really temporal logic, FOCS, pp.164-169, 1989. ,
A really temporal logic, J ,
Model-checking for real-time systems, LICS, pp.414-425, 1990. ,
Model-Checking in Dense Real-Time, Information and Computation, vol.104, issue.1, pp.2-34, 1993. ,
DOI : 10.1006/inco.1993.1024
URL : http://doi.org/10.1006/inco.1993.1024
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems, Hybrid Systems, pp.209-229, 1993. ,
DOI : 10.1007/3-540-57318-6_30
The benefits of relaxing punctuality, Journal of the ACM, vol.43, issue.1, pp.116-146, 1996. ,
DOI : 10.1145/227595.227602
Characterization of the expressive power of silent transitions in timed automata, 1999. ,
A tutorial on uppaal Formal Methods for the Design of Real-Time Systems: 4th International School on Formal Methods for the Design of Computer, Communication , and Software Systems, SFM-RT, number 3185 in LNCS, pp.200-236, 2004. ,
Definition and execution of composite web services: The self-serv project, IEEE Data Eng. Bull, vol.25, issue.4, pp.47-52, 2002. ,
Conceptual Modeling of Web Service Conversations, Procs of CAiSE'03, pp.449-467, 2003. ,
DOI : 10.1007/3-540-45017-3_31
URL : https://hal.archives-ouvertes.fr/hal-00108740
The Self-Serv environment for Web services composition, IEEE Internet Computing, vol.7, issue.1, pp.40-48, 2003. ,
DOI : 10.1109/MIC.2003.1167338
Web service conversation modeling: a cornerstone for e-business automation, IEEE Internet Computing, vol.8, issue.1 ,
DOI : 10.1109/MIC.2004.1260703
URL : https://hal.archives-ouvertes.fr/hal-00108317
Developing Adapters for Web Services Integration, CAiSE, pp.415-429, 2005. ,
DOI : 10.1007/11431855_29
URL : https://hal.archives-ouvertes.fr/hal-00130695
On temporal abstractions of web service protocols, CAiSE Short Paper Proceedings, volume 161 of CEUR Workshop Proceedings. CEUR-WS.org, 2005. ,
Representing, analysing and managing Web service protocols, Data & Knowledge Engineering, vol.58, issue.3, pp.327-357, 2006. ,
DOI : 10.1016/j.datak.2005.07.006
URL : https://hal.archives-ouvertes.fr/hal-00107196
Service Mosaic: A Model-Driven Framework for Web Services Life-Cycle Management, IEEE Internet Computing, vol.10, issue.4, pp.55-63, 2006. ,
DOI : 10.1109/MIC.2006.87
Verification of an Audio Protocol with bus collision using Uppaal, CAV '96: Proceedings of the 8th International Conference on Computer Aided Verification, pp.244-256, 1996. ,
DOI : 10.1007/3-540-61474-5_73
Timed automata and additive clock constraints, Information Processing Letters, vol.75, issue.1-2, pp.1-7, 2000. ,
DOI : 10.1016/S0020-0190(00)00075-2
Finite State Automata as Conceptual Model for e-Services, 2003. ,
Industrial-strength schema matching. SIGMOD Rec, pp.38-43, 2004. ,
Temporal reasoning in workflow systems, Distributed and Parallel Databases, vol.11, issue.3, pp.269-306, 2002. ,
DOI : 10.1023/A:1014048800604
Web service interfaces, Proceedings of the 14th international conference on World Wide Web , WWW '05, pp.148-159, 2005. ,
DOI : 10.1145/1060745.1060770
Analysis and Management of Web Service Protocols, Proceedings of ER 2004, 2004. ,
DOI : 10.1007/978-3-540-30464-7_40
URL : https://hal.archives-ouvertes.fr/hal-00108735
Compatibility and replaceability analysis for timed web service protocols, Proceedings of BDA 2005, 2005. ,
Model-cheking timed temporal logics, Proceedings of the 4th Workshop on Methods for Modalities (M4M-5), 2008. ,
Vérification par automates temporisés Systèmes temps-réel 1 : techniques de description et de vérification, Hermès, pp.121-150, 2006. ,
Updatable timed automata, Theoretical Computer Science, vol.321, issue.2-3, pp.291-345, 2004. ,
DOI : 10.1016/j.tcs.2004.04.003
URL : https://hal.archives-ouvertes.fr/hal-00350196
Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences, Vladimiro Sassone , and Ingo Wegener Proceedings of the 33rd International Colloquium on Automata, Languages and Programming (ICALP'06) ? Part II, pp.420-431, 2006. ,
DOI : 10.1007/11787006_36
Undecidability results for timed automata with silent transitions Research Report LSV-07-12, 2007. ,
The Cost of Punctuality, 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), pp.109-120, 2007. ,
DOI : 10.1109/LICS.2007.49
URL : https://hal.archives-ouvertes.fr/hal-01194604
Automatic verification of a lipsynchronisation protocol using uppaal, Formal Aspects of Computing, vol.10, pp.5-6550, 1998. ,
Kronos: A model-checking tool for realtime systems, CAV '98: Proceedings of the 10th International Conference on Computer Aided Verification, pp.546-550, 1998. ,
DOI : 10.1007/bfb0055357
URL : https://hal.archives-ouvertes.fr/hal-00374788
Modeling Interactions of Web Software (invited paper), Proceedings of the Second International Workshop on Automated Specification and Verification of Web Systems, 2006. ,
Conversation specification, Proceedings of the twelfth international conference on World Wide Web , WWW '03, pp.403-410, 2003. ,
DOI : 10.1145/775152.775210
Analyzing conversations of Web services, IEEE Internet Computing, vol.10, issue.1, pp.18-25, 2006. ,
DOI : 10.1109/MIC.2006.1
Process Inheritance, Proceedings of CAiSE'02, pp.701-705, 2002. ,
DOI : 10.1007/3-540-47961-9_49
Adding roles to corba objects, IEEE Trans. Softw ,
The tsimmis project: Integration of heterogeneous information sources, IPSJ, pp.7-18, 1994. ,
Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems, vol.8, issue.2, pp.244-263, 1986. ,
DOI : 10.1145/5397.5399
Automatic Composition Services: Models, Techniques and Tools, 2002. ,
The bounded retransmission protocol must be on time! In TACAS '97: Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems, pp.416-431, 1997. ,
Modelling and analysis of a commercial field bus protocol, Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000, pp.165-172, 2000. ,
DOI : 10.1109/EMRTS.2000.854004
The tool Kronos, Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control, pp.208-219, 1996. ,
DOI : 10.1007/BFb0020947
Similarity Search for Web Services Automatic generation of correct web services choreographies and orchestrations with model checking techniques, VLDB AICT-ICIW '06: Proceedings of the Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services, pp.372-383, 2004. ,
Web Services Description Language (WSDL) ? W3C Note, 2001. ,
Rete: A fast algorithm for the many pattern/many object pattern match problem, Artificial Intelligence, vol.19, issue.1, pp.17-37, 1982. ,
DOI : 10.1016/0004-3702(82)90020-0
Model-based verification of Web service compositions, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings., p.152, 2003. ,
DOI : 10.1109/ASE.2003.1240303
Leveraging Eclipse for integrated model-based engineering of web service compositions, Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange , eclipse '05, pp.95-99, 2005. ,
DOI : 10.1145/1117696.1117716
Patterns of Enterprise Application Architecture, 2002. ,
Domain specific language, 2004. ,
Fluent interface, 2005. ,
Evolving an embedded domain-specific language in Java, Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications , OOPSLA '06, pp.855-865, 2006. ,
DOI : 10.1145/1176617.1176735
Analysis of interacting BPEL web services, Proceedings of the 13th conference on World Wide Web , WWW '04, pp.621-630, 2004. ,
DOI : 10.1145/988672.988756
Design patterns: elements of reusable object-oriented software, 1995. ,
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications, 2001. ,
DOI : 10.1007/978-3-662-05324-9
THE USE OF CARIN LANGUAGE AND ALGORITHMS FOR INFORMATION INTEGRATION: THE PICSEL SYSTEM, International Journal of Cooperative Information Systems, vol.09, issue.04, pp.383-401, 2000. ,
DOI : 10.1142/S0218843000000181
Verification of Web Service Conversations Specified in WSCL, 31st Annual International Computer Software and Applications Conference, Vol. 2, (COMPSAC 2007), pp.432-437, 2007. ,
DOI : 10.1109/COMPSAC.2007.235
The piazza peer data management system ,
Formal modeling and analysis of an audio/video protocol: an industrial case study using uppaal, RTSS '97: Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97, pp.787-798, 1997. ,
Formal verification of a power controller using the real-time model checker uppaal, ARTS '99: Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems, pp.277-298, 1999. ,
Temporal Proof Methodologies for Timed Transition-Systems, Information and Computation, vol.112, issue.2, pp.273-337, 1994. ,
DOI : 10.1006/inco.1994.1060
Symbolic model checking for real-time systems, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, pp.193-244, 1994. ,
DOI : 10.1109/LICS.1992.185551
Hytech: A model checker for hybrid systems, CAV '97: Proceedings of the 9th International Conference on Computer Aided Verification, pp.460-463, 1997. ,
Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions, 2003. ,
Introduction to Automata Theory, Languages, and Computation, pp.4-21, 2000. ,
DOI : 10.1145/568438.568455
On the language inclusion problem for timed automata: closing a decidability gap, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004., 2004. ,
DOI : 10.1109/LICS.2004.1319600
WS-CDL+: An Extended WS-CDL Execution Engine for Web Service Collaboration, IEEE International Conference on Web Services (ICWS 2007), pp.928-935, 2007. ,
DOI : 10.1109/ICWS.2007.196
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.602.9958
Model-Driven Web Service Development, Proceedings of CAiSE, 2004. ,
DOI : 10.1007/978-3-540-25975-6_22
Timed modelling and analysis in Web service compositions, First International Conference on Availability, Reliability and Security (ARES'06), pp.840-846, 2006. ,
DOI : 10.1109/ARES.2006.134
Groovy in Action, 2007. ,
An Aspect-Oriented Framework for Service Adaptation, Lecture Notes in Computer Science, vol.4294, pp.15-26, 2006. ,
DOI : 10.1007/11948148_2
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.2148
Specifying real-time properties with metric temporal logic. Real-Time Systems, pp.255-299, 1990. ,
DOI : 10.1007/bf01995674
Data integration, Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '02, pp.233-246, 2002. ,
DOI : 10.1145/543613.543644
The world wide web as a collection of views: Query processing in the information manifold, VIEWS, pp.43-55, 1996. ,
Formal Design and Analysis of a Gear-Box Controller, Proc. of the 4th Workshop on Tools and Algorithms for the Construction and Analysis of Systems, number 1384 in Lecture Notes in Computer Science, pp.281-297 ,
Formal Verification of a TDMA Protocol Startup Mechanism, Proc. of the Pacific Rim Int. Symp. on Fault-Tolerant Systems, pp.235-242, 1997. ,
Using mappings to prove timing properties, Proceedings of the ninth annual ACM symposium on Principles of distributed computing , PODC '90, pp.121-139, 1992. ,
DOI : 10.1145/93385.93428
An automaton-based approach to the verification of timed workflow schemas, Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06), pp.87-94, 2006. ,
DOI : 10.1109/TIME.2006.6
Tempo: A Model Checker for Event-Recording Automata, 2001. ,
SOAP Version 1.2 Part 1: Messaging Framework, W3C Recommendation, pp.12-13, 2003. ,
Compatibility of e -services in a cooperative multi-platform environment, TES '01: Proceedings of the Second International Workshop on Technologies for E-Services, pp.44-57, 2001. ,
Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata, Lecture Notes in Computer Science, vol.1790, pp.296-309, 2000. ,
DOI : 10.1007/3-540-46430-1_26
Semi-automated adaptation of service interactions, Proceedings of the 16th international conference on World Wide Web , WWW '07, 2007. ,
DOI : 10.1145/1242572.1242706
Matching and merging of statecharts specifications. To appear in the proceedings of ICSE'07, 2007. ,
Web services interoperability specifications, Computer, vol.39, issue.5, pp.24-32, 2006. ,
Semi-automated adaptation of service interactions, pp.993-1002, 2007. ,
Protocol discovery from imperfect service interaction logs, ICDE DBL [1], pp.1405-1409 ,
Servicemosaic: Bibliography Interactive analysis and manipulation of service conversations, ICDE DBL [1], pp.1497-1498 ,
Automated Test Generation from Timed Automata, Lecture Notes in Computer Science, vol.2031, pp.343-357 ,
DOI : 10.1007/3-540-45319-9_24
Automated test generation from timed automata, International Journal on Software Tools for Technology Transfer, vol.34, issue.1, pp.59-77, 2003. ,
DOI : 10.1007/s10009-002-0094-1
On the decidability and complexity of metric temporal logic over finite words. CoRR, abs/cs, 2007. ,
On the Decidability of Metric Temporal Logic, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05), pp.188-197, 2005. ,
DOI : 10.1109/LICS.2005.33
On Metric Temporal Logic and Faulty Turing Machines, FoSSaCS, pp.217-230, 2006. ,
DOI : 10.1007/11690634_15
Introduction, Communications of the ACM, vol.46, issue.10, pp.24-28, 2003. ,
DOI : 10.1145/944217.944233
Service-oriented computing: State of the art and research challenges, Computer, issue.11, pp.4038-4083, 2007. ,
Service oriented architectures: approaches, technologies and research issues, VLDB Journal, vol.16, issue.3, pp.389-415, 2007. ,
ANTLR: A predicated-LL(k) parser generator, Software: Practice and Experience, vol.9, issue.7, pp.789-810, 1995. ,
DOI : 10.1002/spe.4380250705
The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977. ,
DOI : 10.1109/SFCS.1977.32
Applications of temporal logic to the specification of real time systems, Lecture Notes in Computer Science, vol.331, pp.84-98, 1988. ,
DOI : 10.1007/3-540-50302-1_4
Fine-Grained Compatibility and Replaceability Analysis of Timed Web Service Protocols, Lecture Notes in Computer Science, vol.4801, pp.599-614, 2007. ,
DOI : 10.1007/978-3-540-75563-0_40
Towards the theoretical foundation of choreography, Proceedings of the 16th international conference on World Wide Web , WWW '07, 2007. ,
DOI : 10.1145/1242572.1242704
The observational power of clocks, Proceedings of the Fifth Conference on Concurrency Theory, number 836 in LNCS, pp.162-177, 1994. ,
A survey of approaches to automatic schema matching, The VLDB Journal, vol.10, issue.4, pp.334-350, 2001. ,
DOI : 10.1007/s007780100057
Timed Automata. NATO-ASI 1998 Summer School on Verification of Digital and Hybrid Systems, 1998. ,
Decision Problems for Timed Automata: A Survey, 4th Intl. School on Formal Methods for Computer , Communication, and Software Systems: Real Time, 2004. ,
DOI : 10.1007/978-3-540-30080-9_1
Event-clock automata: a determinizable class of timed automata, Proceedings of the Sixth Conference on Computer-Aided Verification, number 818 in LNCS, 1994. ,
DOI : 10.1016/S0304-3975(97)00173-4
Analysis of Asynchronous Concurrent Systems by Timed Petri Nets, 1974. ,
Retracted: Towards Formal Verification of Web Service Composition, Business Process Management, pp.257-273, 2006. ,
DOI : 10.1007/11841760_18
Architectural Styles and the Design of Networkbased Software Architectures, 2000. ,
Self-serv: A platform for rapid composition of web services in a peer-to-peer environment, VLDB, pp.1051-1054, 2002. ,
A Formal Model of Crash Recovery in a Distributed System, IEEE Transactions on Software Engineering, vol.9, issue.3, pp.219-228, 1983. ,
DOI : 10.1109/TSE.1983.236608
Model-driven trust negotiation for web services, IEEE Internet Computing, vol.7, issue.6, pp.45-52, 2003. ,
DOI : 10.1109/MIC.2003.1250583
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.87.5913
Trust-serv: A lightweight trust negotiation service, pp.1329-1332, 2004. ,
Folk theorems on the determinization and minimization of timed automata, FORMATS, pp.182-188, 2003. ,
E-timed workflow nets. synasc, pp.423-429, 2006. ,
Supporting composition and execution of web services, Lecture Notes in Computer Science, vol.3826, pp.495-501, 2005. ,
Information integration using logical views, Theoretical Computer Science, vol.239, issue.2, pp.189-210, 2000. ,
DOI : 10.1016/S0304-3975(99)00219-4
Inheritance of Business Processes: A Journey Visiting Four Notorious Problems, 2003. ,
DOI : 10.1007/978-3-540-40022-6_19
Yawl: yet another workflow language, Inf. Syst, vol.30, issue.4, pp.245-275, 2005. ,
Design and implementation of the yawl system, CAiSE, pp.142-159, 2004. ,
Removing ??-transitions in timed automata, STACS'97, pp.583-594, 1997. ,
DOI : 10.1007/BFb0023491
Protocol specifications and component adaptors, ACM Transactions on Programming Languages and Systems, vol.19, issue.2, pp.292-333, 1997. ,
DOI : 10.1145/244795.244801