W. M. Van-der-aalst, 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

L. Aceto, A. Burgue, and K. Larsen, 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

R. Alur, T. Henzinger, and H. Wong-toi, Symbolic analysis of hybrid systems, Proceedings of the 36th IEEE Conference on Decision and Control, 1997.
DOI : 10.1109/CDC.1997.650717

R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

R. Alur and T. A. Henzinger, A really temporal logic, FOCS, pp.164-169, 1989.

R. Alur and T. A. Henzinger, A really temporal logic, J

R. Alur, C. Courcoubetis, and D. L. Dill, Model-checking for real-time systems, LICS, pp.414-425, 1990.

R. Alur, C. Courcoubetis, and D. L. Dill, 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

R. Alur, C. Courcoubetis, T. A. Henzinger, and P. Ho, 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

R. Alur, T. Feder, and T. A. Henzinger, The benefits of relaxing punctuality, Journal of the ACM, vol.43, issue.1, pp.116-146, 1996.
DOI : 10.1145/227595.227602

B. Berard, V. Diekert, P. Gastin, and A. Petit, Characterization of the expressive power of silent transitions in timed automata, 1999.

G. Behrmann, A. David, and K. G. Larsen, 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.

B. Benatallah, M. Dumas, and Z. Maamar, Definition and execution of composite web services: The self-serv project, IEEE Data Eng. Bull, vol.25, issue.4, pp.47-52, 2002.

B. Benatallah, F. Casati, F. Toumani, and R. Hamadi, 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

B. Benatallah, Z. Quan, M. Sheng, and . Dumas, 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

B. Benatallah, F. Casati, and F. Toumani, 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

B. Benatallah, F. Casati, D. Grigori, H. R. Nezhad, and F. Toumani, Developing Adapters for Web Services Integration, CAiSE, pp.415-429, 2005.
DOI : 10.1007/11431855_29

URL : https://hal.archives-ouvertes.fr/hal-00130695

B. Benatallah, F. Casati, J. Ponge, and F. Toumani, On temporal abstractions of web service protocols, CAiSE Short Paper Proceedings, volume 161 of CEUR Workshop Proceedings. CEUR-WS.org, 2005.

B. Benatallah, F. Casati, and F. Toumani, 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

B. Benatallah, F. Casati, F. Toumani, J. Ponge, and H. Nezhad, 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

J. Bengtsson, W. O. David-griffioen, K. J. Kristoffersen, K. G. Larsen, F. Larsson et al., 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

B. Bérard and C. Dufourd, 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

D. Berardi, F. D. Rosa, L. De-santis, and M. Mecella, Finite State Automata as Conceptual Model for e-Services, 2003.

P. A. Bernstein, S. Melnik, M. Petropoulos, and C. Quix, Industrial-strength schema matching. SIGMOD Rec, pp.38-43, 2004.

C. Bettini, X. S. Wang, and S. Jajodia, Temporal reasoning in workflow systems, Distributed and Parallel Databases, vol.11, issue.3, pp.269-306, 2002.
DOI : 10.1023/A:1014048800604

D. Beyer, A. Chakrabarti, and T. A. Henzinger, Web service interfaces, Proceedings of the 14th international conference on World Wide Web , WWW '05, pp.148-159, 2005.
DOI : 10.1145/1060745.1060770

B. Benatallah, F. Casati, and F. Toumani, 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

B. Benatallah, F. Casati, J. Ponge, and F. Toumani, Compatibility and replaceability analysis for timed web service protocols, Proceedings of BDA 2005, 2005.

P. Bouyer, Model-cheking timed temporal logics, Proceedings of the 4th Workshop on Methods for Modalities (M4M-5), 2008.

P. Bouyer and F. Laroussinie, 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.

P. Bouyer, C. Dufourd, E. Fleury, and A. Petit, 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

P. Bouyer, S. Haddad, and P. Reynier, 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

P. Bouyer, S. Haddad, and P. Reynier, Undecidability results for timed automata with silent transitions Research Report LSV-07-12, 2007.

P. Bouyer, N. Markey, J. Ouaknine, and J. Worrell, 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

H. Bowman, G. Faconti, J. Katoen, D. Latella, and M. Massink, Automatic verification of a lipsynchronisation protocol using uppaal, Formal Aspects of Computing, vol.10, pp.5-6550, 1998.

M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis et al., 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

T. Bultan, Modeling Interactions of Web Software (invited paper), Proceedings of the Second International Workshop on Automated Specification and Verification of Web Systems, 2006.

T. Bultan, X. Fu, R. Hull, and J. Su, Conversation specification, Proceedings of the twelfth international conference on World Wide Web , WWW '03, pp.403-410, 2003.
DOI : 10.1145/775152.775210

T. Bultan, J. Su, and X. Fu, Analyzing conversations of Web services, IEEE Internet Computing, vol.10, issue.1, pp.18-25, 2006.
DOI : 10.1109/MIC.2006.1

C. Bussler, Process Inheritance, Proceedings of CAiSE'02, pp.701-705, 2002.
DOI : 10.1007/3-540-47961-9_49

A. Vallecillo, Adding roles to corba objects, IEEE Trans. Softw

S. Sudarshan, H. Chawathe, J. Garcia-molina, K. Hammer, Y. Ireland et al., The tsimmis project: Integration of heterogeneous information sources, IPSJ, pp.7-18, 1994.

E. M. Clarke, E. A. Emerson, and A. P. Sistla, 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

D. Berardi, Automatic Composition Services: Models, Techniques and Tools, 2002.

R. D. Pedro, J. Argenio, T. C. Katoen, J. Ruys, and . Tretmans, 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.

A. David and W. Yi, 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

C. Daws, A. Olivero, S. Tripakis, and S. Yovine, The tool Kronos, Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control, pp.208-219, 1996.
DOI : 10.1007/BFb0020947

X. Dong, A. Y. Halevy, J. Madhavan, E. Nemes, J. Dyaz et al., 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.

E. Christensen, F. Curbera, G. Meredith, and S. Weerawarana, Web Services Description Language (WSDL) ? W3C Note, 2001.

C. Forgy, 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

H. Foster, S. Uchitel, J. Magee, and J. Kramer, 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

H. Foster, S. Uchitel, J. Magee, and J. Kramer, 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

M. Fowler, Patterns of Enterprise Application Architecture, 2002.

M. Fowler, Domain specific language, 2004.

M. Fowler, Fluent interface, 2005.

S. Freeman and N. Pryce, 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

X. Fu, T. Bultan, and J. Su, 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

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design patterns: elements of reusable object-oriented software, 1995.

C. Girault and R. Valk, Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications, 2001.
DOI : 10.1007/978-3-662-05324-9

F. Goasdoué, V. Lattès, and M. Rousset, 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

Z. Gu, J. Li, J. Tang, B. Xu, and R. Huang, 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

Y. Alon, Z. G. Halevy, J. Ives, P. Madhavan, D. Mork et al., The piazza peer data management system

]. K. Havelund, A. Skou, K. G. Larsen, and K. Lund, 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.

K. Havelund, K. G. Larsen, and A. Skou, 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.

T. A. Henzinger, Z. Manna, and A. Pnueli, Temporal Proof Methodologies for Timed Transition-Systems, Information and Computation, vol.112, issue.2, pp.273-337, 1994.
DOI : 10.1006/inco.1994.1060

T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, 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

T. A. Henzinger, P. Ho, and H. Wong-toi, Hytech: A model checker for hybrid systems, CAV '97: Proceedings of the 9th International Conference on Computer Aided Verification, pp.460-463, 1997.

G. Hohpe and B. Woolf, Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions, 2003.

J. E. Hopcroft, R. Motwani, and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation, pp.4-21, 2000.
DOI : 10.1145/568438.568455

J. Ouaknine and J. Worrell, 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

Z. Kang, H. Wang, and P. C. Hung, 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

K. Baina, B. Benatallah, F. Casati, and F. Toumani, Model-Driven Web Service Development, Proceedings of CAiSE, 2004.
DOI : 10.1007/978-3-540-25975-6_22

R. Kazhamiakin, P. K. Pandya, and M. Pistore, 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

D. Koenig, A. Glover, P. King, G. Laforge, and J. Skeet, Groovy in Action, 2007.

W. Kongdenfha, R. Saint-paul, B. Benatallah, and F. Casati, 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

R. Koymans, Specifying real-time properties with metric temporal logic. Real-Time Systems, pp.255-299, 1990.
DOI : 10.1007/bf01995674

M. Lenzerini, 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

Y. Alon, A. Levy, J. J. Rajaraman, and . Ordille, The world wide web as a collection of views: Query processing in the information manifold, VIEWS, pp.43-55, 1996.

M. Lindahl, P. Pettersson, and W. Yi, 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

H. Lönn and P. Pettersson, Formal Verification of a TDMA Protocol Startup Mechanism, Proc. of the Pacific Rim Int. Symp. on Fault-Tolerant Systems, pp.235-242, 1997.

N. A. Lynch and H. Attiya, 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

E. De-maria, A. Montanari, and M. Zantoni, 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

M. Sorea, Tempo: A Model Checker for Event-Recording Automata, 2001.

M. Gudgin, M. Hadley, N. Mendelsohn, J. Moreau, and H. F. Nielsen, SOAP Version 1.2 Part 1: Messaging Framework, W3C Recommendation, pp.12-13, 2003.

M. Mecella, B. Pernici, and P. Craca, 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.

J. S. Miller, 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

H. Motahari, B. Benatallah, A. Martens, F. Curbera, and F. Casati, Semi-automated adaptation of service interactions, Proceedings of the 16th international conference on World Wide Web , WWW '07, 2007.
DOI : 10.1145/1242572.1242706

S. Nejati, M. Sabetzadeh, S. Easterbrook, and P. Zave, Matching and merging of statecharts specifications. To appear in the proceedings of ICSE'07, 2007.

R. Hamid, B. Motahari-nezhad, F. Benatallah, F. Casati, and . Toumani, Web services interoperability specifications, Computer, vol.39, issue.5, pp.24-32, 2006.

R. Hamid, B. Motahari-nezhad, A. Benatallah, F. Martens, F. Curbera et al., Semi-automated adaptation of service interactions, pp.993-1002, 2007.

R. Hamid, R. Motahari-nezhad, B. Saint-paul, F. Benatallah, and . Casati, Protocol discovery from imperfect service interaction logs, ICDE DBL [1], pp.1405-1409

R. Hamid, R. Motahari-nezhad, B. Saint-paul, F. Benatallah, J. Casati et al., Servicemosaic: Bibliography Interactive analysis and manipulation of service conversations, ICDE DBL [1], pp.1497-1498

B. Nielsen and A. Skou, Automated Test Generation from Timed Automata, Lecture Notes in Computer Science, vol.2031, pp.343-357
DOI : 10.1007/3-540-45319-9_24

B. Nielsen and A. Skou, 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

J. Ouaknine and J. Worrell, On the decidability and complexity of metric temporal logic over finite words. CoRR, abs/cs, 2007.

J. Ouaknine and J. Worrell, 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

J. Ouaknine and J. Worrell, On Metric Temporal Logic and Faulty Turing Machines, FoSSaCS, pp.217-230, 2006.
DOI : 10.1007/11690634_15

M. P. Papazoglou and D. Georgakopoulos, Introduction, Communications of the ACM, vol.46, issue.10, pp.24-28, 2003.
DOI : 10.1145/944217.944233

P. Michael, P. Papazoglou, S. Traverso, F. Dustdar, and . Leymann, Service-oriented computing: State of the art and research challenges, Computer, issue.11, pp.4038-4083, 2007.

P. Mike, W. Papazoglou, and . Van, Service oriented architectures: approaches, technologies and research issues, VLDB Journal, vol.16, issue.3, pp.389-415, 2007.

T. Parr and R. W. Quong, ANTLR: A predicated-LL(k) parser generator, Software: Practice and Experience, vol.9, issue.7, pp.789-810, 1995.
DOI : 10.1002/spe.4380250705

A. Pnueli, 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

A. Pnueli and E. Harel, 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

J. Ponge, B. Benatallah, F. Casati, and F. Toumani, 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

Z. Qiu, X. Zhao, C. Cai, and H. Yang, Towards the theoretical foundation of choreography, Proceedings of the 16th international conference on World Wide Web , WWW '07, 2007.
DOI : 10.1145/1242572.1242704

R. Alur, C. Courcoubetis, and T. A. Henzinger, The observational power of clocks, Proceedings of the Fifth Conference on Concurrency Theory, number 836 in LNCS, pp.162-177, 1994.

E. Rahm and P. A. Bernstein, A survey of approaches to automatic schema matching, The VLDB Journal, vol.10, issue.4, pp.334-350, 2001.
DOI : 10.1007/s007780100057

R. Alur, Timed Automata. NATO-ASI 1998 Summer School on Verification of Digital and Hybrid Systems, 1998.

R. Alur and P. Madhusudan, 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

R. Alur, L. Fix, and T. A. Henzinger, 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

C. Ramchandani, Analysis of Asynchronous Concurrent Systems by Timed Petri Nets, 1974.

M. Rouached, O. Perrin, and C. Godart, Retracted: Towards Formal Verification of Web Service Composition, Business Process Management, pp.257-273, 2006.
DOI : 10.1007/11841760_18

R. Thomas and F. , Architectural Styles and the Design of Networkbased Software Architectures, 2000.

Z. Quan, B. Sheng, M. Benatallah, E. Dumas, and . Mak, Self-serv: A platform for rapid composition of web services in a peer-to-peer environment, VLDB, pp.1051-1054, 2002.

D. Skeen and M. Stonebraker, 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

H. Skogsrud, B. Benatallah, and F. Casati, 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

H. Skogsrud, B. Benatallah, F. Casati, and M. Q. Dinh, Trust-serv: A lightweight trust negotiation service, pp.1329-1332, 2004.

S. Tripakis, Folk theorems on the determinization and minimization of timed automata, FORMATS, pp.182-188, 2003.

F. Laurentiu, T. , and G. Macovei, E-timed workflow nets. synasc, pp.423-429, 2006.

. Astro, Supporting composition and execution of web services, Lecture Notes in Computer Science, vol.3826, pp.495-501, 2005.

J. D. Ullman, Information integration using logical views, Theoretical Computer Science, vol.239, issue.2, pp.189-210, 2000.
DOI : 10.1016/S0304-3975(99)00219-4

W. Van-der-aalst, Inheritance of Business Processes: A Journey Visiting Four Notorious Problems, 2003.
DOI : 10.1007/978-3-540-40022-6_19

M. P. Wil, A. H. Van-der-aalst, and . Ter-hofstede, Yawl: yet another workflow language, Inf. Syst, vol.30, issue.4, pp.245-275, 2005.

M. P. Wil, L. Van-der-aalst, M. Aldred, A. H. Dumas, and . Ter-hofstede, Design and implementation of the yawl system, CAiSE, pp.142-159, 2004.

P. Volker-diekert, A. Gastin, and . Petit, Removing ??-transitions in timed automata, STACS'97, pp.583-594, 1997.
DOI : 10.1007/BFb0023491

D. M. Yellin and R. E. Storm, 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