A. Annexe, Proprì etés de l'algorithme de composition temporisée Dans notre travail, une transition ASCT (s, m(d), ?, c, s ) spécifie qu'un message m(d) transite via un canal, i.e., il existe un service qui envoie le message et un autre service qui le reçoit tel qu'aucun conflit ne surgisse. Donc, notre algorithme génère une transition ASCT seulement si il y a deux services qui peuventêtrepeuventêtre connectés

S. Maintenant and . Qu, il y ait deux services qui puissentéchangerpuissentéchanger un message

. Dans-ce-cas, en définissant un ordre entre les horloges, l'algorithme crée une transition ASCT, i.e., si il y a deux services qui peuventêtrepeuventêtre connectés, l'algorithme génère une transition ASCT. Donc, notre algorithme génère une transition ASCT quand des services peuventêtrepeuventêtre connectés correctement

. Oasis, web services business process execution language version 2.0, 2007.

M. Aiello, M. P. Papazoglou, J. Yang, M. J. Carman, M. Pistore et al., A Request Language for Web-Services Based on Planning and Constraint Satisfaction, Proceedings of the 3 rd International Workshop on Technologies for E-Services (TES'02), pp.76-85, 2002.
DOI : 10.1007/3-540-46121-3_10

A. Ait-bachir, ArchiMed : un canevas pour la détection et la résolution des incompatibilités des conversations entre services web, 2008.

G. Alonso, F. Casati, H. A. Kuno, and V. Machiraju, Web services -concepts, architectures and applications, 2004.

E. Michael-altenhofen, J. Börger, and . Lemcke, An execution semantics for mediation patterns, Proceedings of the BPM 2005 Workshops : Workshop on Choreography and Orchestration for Business Process Managament, 2005.

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

M. Anca and W. Igor, A lower bound on web services composition, Proceedings of the 10 th International Conference on Foundations of Software Science and Computation Structures, pp.274-287, 2007.

F. Andrea, Web services : a process algebra approach, Proceedings of the 2 nd international conference on Service oriented computing, pp.242-251, 2004.

K. Bibliographie9, B. Ba¨?naba¨?na, F. Benatallah, F. Casati, and . Toumani, Modeldriven web service development, Proceedings of the 16 th International conference on Advanced Information Systems Engineering

P. Balbiani, F. Cheikh, and G. Feuillade, Composition of Interactive Web Services Based on Controller Synthesis, 2008 IEEE Congress on Services, Part I, pp.521-528, 2008.
DOI : 10.1109/SERVICES-1.2008.11

M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella, Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step, Proceedings of the International Workshop on Web Services and Formal Methods (WS-FM'05), pp.257-271, 2005.
DOI : 10.1007/11549970_19

A. Banerji, C. Bartolini, D. Beringer, V. Chopella, K. Govindarajan et al., Web services conversation language (wscl) 1.0, p.14, 2002.

B. Benatallah, F. Casati, and . Toumani, Analysis and Management of Web Service Protocols, 23rd International Conference on Conceptual Modeling, 2004.
DOI : 10.1007/978-3-540-30464-7_40

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

B. Benatallah, F. Casati, D. Grigori, H. R. Nezhad, and F. Toumani, Developing Adapters for Web Services Integration, Proceedings of the 17 th International Conference on Advanced Information Systems (CAiSE'05), 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, The 17th Conference on Advanced Information Systems Engineering (CAiSE '05). Short Paper Proceedings, 2005.

B. Benatallah, F. Casati, J. Ponge, and F. Toumani, Compatibility and replaceability analysis for timed web service protocols Boualem Benatallah, Fabio Casati, and Farouk Toumani. Web service conversation modeling : A cornerstone for e-business automation, 21èmes Journées Bases de Données Avancées (BDA'05), pp.46-54, 2004.

B. Benatallah, F. Casati, and F. Toumani, Representing, analysing and managing Web service protocols, Data & Knowledge Engineering, vol.58, issue.3, pp.46-54, 2006.
DOI : 10.1016/j.datak.2005.07.006

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

B. Benatallah, F. Casati, and F. Toumani, Analysis and Management of Web Service Protocols, Proceedings of the 23 rd International Conference on Conceptual Modeling, pp.524-541, 2004.
DOI : 10.1007/978-3-540-30464-7_40

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

B. Benatallah, F. Casati, F. Toumani, and R. Hamadi, Conceptual Modeling of Web Service Conversations, Proceedings of the 15 th International conference on Advanced Information Systems Engineering (CAiSE'03), pp.449-467, 2003.
DOI : 10.1007/3-540-45017-3_31

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

B. Benatallah and H. R. Nezhad, Service Oriented Architecture: Overview and Directions, Lipari Summer School, pp.116-130, 2007.
DOI : 10.1109/ICSE.2004.1317441

B. Benatallah, Z. Quan, A. H. Sheng, M. Ngu, and . Dumas, Declarative composition and peer-to-peer provisioning of dynamic Web services, Proceedings 18th International Conference on Data Engineering, pp.297-308, 2002.
DOI : 10.1109/ICDE.2002.994738

D. Berardi, Automatic Service Composition. Models, techniques and tools, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00801272

D. Berardi, D. Calvanese, G. D. Giacomo, R. Hull, and M. Mecella, Automatic composition of transition-based semantic web services with messaging, Proceedings of the 31st International Conference on Very Large Data Bases, pp.613-624, 2005.

D. Berardi, D. Calvanese, G. D. Giacomo, M. Lenzerini, and M. Mecella, Automatic Composition of E-services That Export Their Behavior, Service-Oriented Computing -ICSOC 2003, First International Conference Proceedings, volume 2910 of Lecture Notes in Computer Science, pp.43-58, 2003.
DOI : 10.1007/978-3-540-24593-3_4

D. Berardi, D. Calvanese, G. D. Giacomo, M. Lenzerini, and M. Mecella, Automatic Composition of E-services That Export Their Behavior
DOI : 10.1007/978-3-540-24593-3_4

D. Berardi, D. Calvanese, G. D. Giacomo, and M. Mecella, Composition of Services with Nondeterministic Observable Behavior, Service- Oriented Computing -ICSOC 2005, Third International Conference (ICSOC), pp.520-526, 2005.
DOI : 10.1007/11596141_43

D. Berardi, D. Calvanese, G. D. Giacomo, and M. Mecella, Composition of Services with Nondeterministic Observable Behavior, Proceedings of the 3 rd International Conference on Service-Oriented Computing (ICSOC'05), pp.520-526, 2005.
DOI : 10.1007/11596141_43

D. Berardi, F. Cheikh, G. D. Giacomo, and F. Patrizi, AUTOMATIC SERVICE COMPOSITION VIA SIMULATION, International Journal of Foundations of Computer Science, vol.19, issue.02, pp.429-451, 2008.
DOI : 10.1016/S0306-4379(03)00051-6

P. Bertoli, M. Pistore, and P. Traverso, Automated web service composition by on-the-fly belief space search, Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS'06), pp.358-361, 2006.

A. Betin-can, T. Bultan, and X. Fu, Design for verification for asynchronously communicating Web services, Proceedings of the 14th international conference on World Wide Web , WWW '05, pp.750-759, 2005.
DOI : 10.1145/1060745.1060853

URL : http://www.cs.ucsb.edu/~bultan/publications/www05.ps

L. Bordeaux and G. Salaün, Using Process Algebra for Web Services: Early Results and Perspectives, Proceedings of the 5 th International Workshop on Technologies for E-Services (TES'04), pp.54-68, 2004.
DOI : 10.1007/978-3-540-31811-8_5

M. Bouzid and A. Ligeza, Algebraic temporal specifications with extended TUS. Hierarchical granular terms and their applications, 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'05), pp.249-253, 2005.
DOI : 10.1109/ICTAI.2005.30

A. Brogi, C. Canal, E. Pimentel, and A. Vallecillo, Formalizing Web Service Choreographies, Electronic Notes in Theoretical Computer Science, vol.105, pp.73-94, 2004.
DOI : 10.1016/j.entcs.2004.05.007

A. Brogi and R. Popescu, Towards Semi-automated Workflow-Based Aggregation of Web Services, Proceedings of the 3 rd International Conference on Service-Oriented Computing (ICSOC'05), pp.214-227, 2005.
DOI : 10.1007/11596141_17

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

M. Carbone, K. Honda, and N. Yoshida, Theoretical Aspects of Communication-Centred Programming, Electronic Notes in Theoretical Computer Science, vol.209, pp.125-133, 2008.
DOI : 10.1016/j.entcs.2008.04.007

F. Casati and M. Shan, Models and languages for describing and discovering e-services, SIGMOD Conference, p.626, 2001.

P. Chrzastowski-wachtel, B. Benatallah, R. Hamadi, O. Milton, A. Dell et al., A Top-Down Petri Net-Based Approach for Dynamic Workflow Modeling, Proceedings of the International Conference on Business Process Management (BPM'03), pp.336-353, 2003.
DOI : 10.1007/3-540-44895-0_23

J. Carlos-corrales, D. Grigori, and M. Bouzeghoub, D??couverte de services bas??e sur leurs protocoles de conversation, Ing??nierie des syst??mes d'information, vol.12, issue.1, pp.9-32, 2007.
DOI : 10.3166/isi.12.1.9-32

L. Bibliographie-alin-deutsch, V. Sui, and . Vianu, Specification and verification of datadriven web services, Proceedings of the Twenty-third ACM SIGACT-SIGMOD- SIGART Symposium on Principles of Database Systems (PODS'04), pp.71-82, 2004.

G. Díaz, M. Cambronero, J. Pardo, V. Valero, and F. Cuartero, Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques, Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services (AICT-ICIW'06), pp.186-205, 2006.
DOI : 10.1109/AICT-ICIW.2006.53

G. Díaz, M. Cambronero, M. L. Tobarra, V. Valero, and F. Cuartero, Analysis and Verification of Time Requirements Applied to the Web Services Composition, Proceedings of the International Workshop on Web Services and Formal Methods (WS-FM'06), pp.178-192, 2006.
DOI : 10.1007/11841197_12

G. Díaz, J. Pardo, M. Cambronero, V. Valero, and F. Cuartero, Automatic Translation of WS-CDL Choreographies to Timed Automata, Proceedings of the International Workshop on Web Services and Formal Methods (WS-FM'05), pp.230-242, 2005.
DOI : 10.1007/11549970_17

R. Dijkman and M. Dumas, SERVICE-ORIENTED DESIGN: A MULTI-VIEWPOINT APPROACH, International Journal of Cooperative Information Systems, vol.15, issue.04, 2004.
DOI : 10.1023/A:1016031730365

M. Dumas, M. Spork, and K. Wang-0002, Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation, Proceedings of the 4 th International Conference on Business Process Management (BPM'06), pp.65-80, 2006.
DOI : 10.1007/11841760_6

J. Eder and A. Tahamtan, Temporal conformance of federated choreographies] Wolfgang Emmerich. Software engineering and middleware : a roadmap, Proceedings of the 19 th International Conference on Database and Expert Systems Applications(DEXA'08) 22 nd International Conference on Software Engineering (ICSE'00), Future of Software Engineering Track, pp.117-129, 2000.

M. Fauvet, M. Dumas, B. Benatallah, and H. Paik, Peer-to-Peer Traced Execution of Composite Services, Proceedings of the 2 nd International Workshop on Technologies for E-Services (TES'01), pp.103-117, 2001.
DOI : 10.1007/3-540-44809-8_8

D. Fensel, Semantic web enabled web services, Proceedings of the 25 th Annual German Conference on Advances in Artificial Intelligence (KI'02), pp.319-322, 2002.
DOI : 10.1007/3-540-45751-8_23

H. Foster, A Rigorous Approach To Engineering Web Service Compositions, 2006.

X. Fu, T. Bultan, and J. Su, Realizability of Conversation Protocols with Message Contents, Proceedings of the IEEE International Conference on Web Services, p.96, 2004.
DOI : 10.4018/jwsr.2005100104

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

G. De-giacomo, Y. Lespérance, and H. J. Levesque, ConGolog, a concurrent programming language based on the situation calculus, Artificial Intelligence, vol.121, issue.1-2, pp.109-169, 2000.
DOI : 10.1016/S0004-3702(00)00031-X

N. Guermouche, S. Benbernou, E. Coquery, and M. Hacid, Privacy-Aware Web Service Protocol Replaceability, IEEE International Conference on Web Services (ICWS 2007), pp.1048-1055, 2007.
DOI : 10.1109/ICWS.2007.143

URL : https://hal.archives-ouvertes.fr/inria-00133666

. Bibliographie, Timed model checking based approach for compatibility analysis of synchronous web services, 2008.

N. Guermouche and C. Godart, Timed Model Checking Based Approach for Web Services Analysis, 2009 IEEE International Conference on Web Services, pp.213-221, 2009.
DOI : 10.1109/ICWS.2009.42

URL : https://hal.archives-ouvertes.fr/inria-00366404

N. Guermouche and C. Godart, Asynchronous Timed Web Service-Aware Choreography Analysis, Proceedings of the 21 th International Conference on Advanced Information Systems (CAiSE'09), pp.364-378, 2009.
DOI : 10.1007/978-3-540-75563-0_40

URL : https://hal.archives-ouvertes.fr/inria-00366402

N. Guermouche and C. Godart, Timed Properties-Aware Asynchronous Web Service Composition, Proceedings of the 16 th International Conference on Cooperative Information Systems (CoopIS'08), pp.44-61, 2008.
DOI : 10.1007/11926078_43

URL : https://hal.archives-ouvertes.fr/inria-00311187

N. Guermouche and C. Godart, Toward Data Flow Oriented Services Composition, 2008 12th International IEEE Enterprise Distributed Object Computing Conference, pp.379-385, 2008.
DOI : 10.1109/EDOC.2008.25

URL : https://hal.archives-ouvertes.fr/inria-00289828

N. Guermouche, C. Godart, and B. Benatallah, Data Messaging Based Approach for Web Service Composition, 2008 IEEE International Conference on e-Business Engineering, pp.449-454, 2008.
DOI : 10.1109/ICEBE.2008.109

URL : https://hal.archives-ouvertes.fr/inria-00292367

N. Guermouche, O. Perrin, and C. Ringeissen, Timed Specification For Web Services Compatibility Analysis, Electronic Notes in Theoretical Computer Science, vol.200, issue.3, pp.155-170, 2008.
DOI : 10.1016/j.entcs.2008.04.098

URL : https://hal.archives-ouvertes.fr/inria-00432621

N. Guermouche, O. Perrin, and C. Ringeissen, Mediation based approach for services composition, 6 th International Conference on Software Engineering Research, Management and Applications (SERA'08), pp.273-280, 2008.

A. Ferrara, G. Salaün, and A. Chirichiello, Negotiation among web services using lotos/cadp, Proceedings of the European Conference on Web Services, pp.198-212, 2004.

R. Hamadi and B. Benatallah, A petri net-based model for web service composition, Proceedings of the 14 th Australasian Database Conference (ADC'03), 2003.

R. Hamadi, H. Paik, and B. Benatallah, Conceptual Modeling of Privacy-Aware Web Service Protocols, Proceedings of the 19 th International Conference on Advanced Information Systems Engineering (CAiSE'07), pp.233-248, 2007.
DOI : 10.1007/978-3-540-72988-4_17

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

T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, Symbolic Model Checking for Real-Time Systems, Information and Computation, vol.111, issue.2, pp.193-244, 1994.
DOI : 10.1006/inco.1994.1045

S. Hinz, K. Schmidt, and C. Stahl, Transforming BPEL to Petri Nets, Proceedings of the International Conference on Business Process Management (BPM'05), pp.220-235, 2005.
DOI : 10.1007/11538394_15

W. M. Van-der-aalst and H. M. Verbeek, Analyzing bpel processes using petri nets, Proceedings of 2 nd International Workshop on Applications of Petri Nets to Coordination , Workflow and Business Process Management, pp.59-78, 2005.

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

R. Hull, M. Benedikt, V. Christophides, and J. Su, E-services, Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '03, pp.1-14, 2003.
DOI : 10.1145/773153.773154

M. Juric, P. Sarang, and B. Mathew, Business Process Execution Language for Web Services, 2006.

S. Kallel, A. Charfi, T. Dinkelaker, M. Mezini, and M. Jmaiel, Specifying and Monitoring Temporal Properties in Web Services Compositions, 2009 Seventh IEEE European Conference on Web Services, pp.148-157, 2009.
DOI : 10.1109/ECOWS.2009.15

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

R. Kazhamiakin, P. K. Pandya, and M. Pistore, Representation, verification , and computation of timed properties in web service compositions, Proceedings of the IEEE International Conference on Web Services (ICWS'06), pp.497-504, 2006.

M. Keen, J. Byun, M. Grottoli, L. Hui, A. Mathur et al., Patterns : Serial and parallel processes for process choreography and workflow, IBM, 2004.

P. Kellert and F. Toumani, Les web services sémantiques. Web sémantique , Action spécifique 32 CNRS, 2003.

M. Koshkina and F. Van-breugel, Modelling and verifying web service orchestration by means of the concurrency workbench, ACM SIGSOFT Software Engineering Notes, vol.29, issue.5, pp.1-10, 2004.
DOI : 10.1145/1022494.1022526

U. Dal-lago, M. Pistore, and P. Traverso, Planning with a language for extended goals, AAAI/IAAI, pp.447-454, 2002.

C. Laneve and G. Zavattaro, Foundations of Web Transactions, Proceedings of the 8 th International Conference on Foundations of Software Science and Computational Structures (FoSSaCS'05), pp.282-298, 2005.
DOI : 10.1007/978-3-540-31982-5_18

K. G. Larsen, P. Pettersson, and W. Yi, Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, 1997.
DOI : 10.1007/s100090050010

A. Lazovik, M. Aiello, and M. P. Papazoglou, Planning and monitoring the execution of web service requests, Proceedings of the 1 st International Conference on Service-Oriented Computing (ICSOC'03), pp.335-350, 2003.

Y. Alon and . Levy, logic-based techniques in data integration, pp.575-591, 2001.

M. Mancioppi, M. Carro, W. Van-den-heuvel, and M. P. Papazoglou, Sound Multi-party Business Protocols for Service Networks, Proceedings of the 6 th International Conference on Service-Oriented Computing (ICSOC'08), pp.302-316, 2008.
DOI : 10.1007/3-540-36124-3_20

A. Martens, Consistency between Executable and Abstract Processes, 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service, pp.60-67, 2005.
DOI : 10.1109/EEE.2005.53

A. Martens, S. Moser, A. Gerhardt, and K. Funk, Analyzing Compatibility of BPEL Processes, Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services (AICT-ICIW'06), p.147, 2006.
DOI : 10.1109/AICT-ICIW.2006.48

D. Martin, M. Burstein, J. Hobbs, O. Lassila, D. Mcdermott et al., Owl-s : Semantic markup for web services, Evren Sirin, p.22, 2004.

D. Martin, M. Paolucci, S. Mcilraith, M. Burstein, D. Mcdermott et al., Bringing Semantics to Web Services: The OWL-S Approach, SWSWPC, pp.26-50, 2005.
DOI : 10.1007/978-3-540-30581-1_4

M. Mazzara, Timing Issues in Web Services Composition, Proceedings of the Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, and International Workshop on Web Services and Formal MethodsEPEW/WS-FM'05), pp.287-302, 2005.
DOI : 10.1007/11549970_21

M. Mazzara and S. Govoni, A Case Study of Web Services Orchestration, Proceedings of the 7 th International Conference on Coordination Models and Languages (COORDINATION'05), pp.1-16, 2005.
DOI : 10.1109/MC.2003.1236471

S. A. Bibliographie95, T. Mcilraith, and . Son, Adapting golog for composition of semantic web services, Proceedings of the 8 th International Conference on Principles and Knowledge Representation and Reasoning (KR'02), pp.482-496, 2002.

L. Kenneth and . Mcmillan, Symbolic model checking, 1993.

M. Mecella and C. Batini, Enabling Italian e-government through a cooperative architecture, Computer, vol.34, issue.3, pp.200-201, 2001.
DOI : 10.1109/2.901166

B. Medjahed, A. Bouguettaya, and A. K. Elmagarmid, Composing Web services on the Semantic Web, The VLDB Journal The International Journal on Very Large Data Bases, vol.12, issue.4, pp.333-351, 2003.
DOI : 10.1007/s00778-003-0101-5

S. Ben-mokhtar, A. Kaul, N. Georgantas, and V. Issarny, Efficient Semantic Service Discovery in Pervasive Computing Environments, 7th International Middleware Conference, pp.240-259, 2006.
DOI : 10.1109/PERCOM.2005.36

URL : https://hal.archives-ouvertes.fr/inria-00415115

A. Muscholl and I. Walukiewicz, A lower bound on web services composition
URL : https://hal.archives-ouvertes.fr/hal-00306329

S. Narayanan and S. A. Mcilraith, Simulation, verification and automated composition of web services, Proceedings of the eleventh international conference on World Wide Web , WWW '02, pp.77-88, 2002.
DOI : 10.1145/511446.511457

R. Hamid, B. Motahari-nezhad, A. Benatallah, F. Martens, F. Curbera et al., Semi-automated adaptation of service interactions, Proceedings of the 16th International Conference on World Wide Web (WWW'07), pp.993-1002, 2007.

J. Ouaknine, J. Worrell, and A. H. Ter-hofstede, On the language inclusion problem for timed automata : Closing a decidability gap Formal semantics and analysis of control flow in ws-bpel, Proceedings of the 19 th IEEE Symposium on Logic in Computer Science (LICS'04), pp.54-63, 2004.

C. Ouyang, E. Verbeek, M. P. Wil, S. Van-der-aalst, M. Breutel et al., WofBPEL: A Tool for Automated Analysis of BPEL Processes, Proceedings of the 3 rd International Conference on Service- Oriented Computing (ICSOC'05), pp.484-489
DOI : 10.1007/11596141_37

M. Papazoglou, P. Traverso, S. Dustdar, F. Leymann, and B. J. Krämer, SERVICE-ORIENTED COMPUTING: A RESEARCH ROADMAP, Service Oriented Computing (SOC), number 05462, 2006.
DOI : 10.1142/S0218843008001816

C. Peltz, Web services orchestration and choreography. Web services journal, 2003.

M. Pistore, F. Barbon, P. Bertoli, D. Shaparau, and P. Traverso, Planning and Monitoring Web Service Composition, Proceedings of the 11 th International Conference on Artificial Intelligence : Methodology, Systems, and Applications (AIMSA'04), pp.106-115, 2004.
DOI : 10.1007/978-3-540-30106-6_11

M. Pistore, A. Marconi, P. Bertoli, and P. Traverso, Automated composition of web services by planning at the knowledge leve, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI'05), pp.1252-1259, 2005.

M. Pistore, P. Traverso, P. Bertoli, and A. Marconi, Automated synthesis of composite BPEL4WS Web services, IEEE International Conference on Web Services (ICWS'05), pp.293-301, 2005.
DOI : 10.1109/ICWS.2005.27

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

J. Ponge, A new model for web services timed business protocols, Atelier Conception des systèmes d'information et services Web (SIWS-Inforsid), 2006.

J. Ponge, Model based Analysis of Time-aware Web Services Interaction, 2008.

J. Ponge, B. Benatallah, F. Casati, and F. Toumani, Fine-Grained Compatibility and Replaceability Analysis of Timed Web Service Protocols, the 26th International Conference on Conceptual Modeling (ER'07), pp.599-614, 2007.
DOI : 10.1109/MC.2006.181

R. Reiter, Knowledge in action : logical foundations for specifying and implementing dynamical systems The frame problem and the situation calculus, 2001.

G. Salaün, L. Bordeaux, and M. Schaerf, Describing and reasoning on web services using process algebra, Proceedings of the IEEE International Conference on Web Services, p.43, 2004.

R. Schantz and D. Schmidt, Middleware for Distributed Systems, 2002.
DOI : 10.1145/230798.230809

K. Schmidt and . Lola, A low level analyser, Proceeding of the 21 st International Conference on Application and Theory of Petri Nets (ICATPN'00), pp.465-474, 2000.

T. Cao, S. Sheila, A. Mcilraith, and H. Zeng, Semantic web services, IEEE Intelligent Systems, vol.16, pp.46-53, 2001.

P. Munindar, M. N. Singh, and . Huhns, Service-Oriented Computing : Semantics, Processes, Agents, 2005.

A. Craig, J. Thakkar, and . Luis-ambite, A view integration approach to dynamic composition of web services, 2003.

S. Sohrabi, N. Prokoshyna, and S. A. Mcilraith, Web Service Composition Via Generic Procedures and Customizing User Preferences, Proceedings of the 5 th International Semantic Web Conference (ISWC'06), pp.597-611, 2006.
DOI : 10.1007/11926078_43

URL : http://iswc2006.semanticweb.org/items/McIlraith2006jl.pdf

B. Srivastava and J. Koehler, Web service composition -current solutions and open problems, Proceedings of the ICAPS Workshop on Planning for Web Services, pp.28-35, 2003.

O. Standard, Simple object access protocol (soap) 1.1. http ://www.oasisopen .org/committees/uddi-spec, 2008.

Y. Tang, L. Chen, K. He, and N. Jing, SRN: an extended Petri-net-based workflow model for Web service composition, Proceedings. IEEE International Conference on Web Services, 2004., pp.591-599, 2004.
DOI : 10.1109/ICWS.2004.1314786

S. Thakkar, J. Luis-ambite, and C. A. Knoblock, A data integration approach to automatically composing and optimizing web services, Proceedings of the 2nd ICAPS International Workshop on Planning and Scheduling for Web and Grid Services, 2004.

S. Thakkar, J. Luis-ambite, C. A. Knoblock, and C. Shahabi, Dynamically composing web services from on-line sources, Proceeding of the AAAI Workshop on Intelligent Service Integration, pp.1-7, 2002.

S. Tripakis, Folk theorems on the determinization and minimization of timed automata, Information Processing Letters, vol.99, issue.6, pp.222-226, 2006.
DOI : 10.1016/j.ipl.2006.04.015

M. P. Wil and . Van-der-aalst, Challenges in business process management : Verification of business processing using petri nets, Bulletin of the EATCS, vol.80, 2003.

S. Vinoski, An Overview of Middleware, Proceedings of the 9 th International Conference on Reliable Software Technologies (Ada-Europe'04), pp.35-51, 2004.
DOI : 10.1007/978-3-540-24841-5_3

P. Wohed, M. P. Wil, M. Van-der-aalst, A. H. Dumas, and . Ter-hofstede, Analysis of Web Services Composition Languages: The Case of BPEL4WS, Conceptual Modeling -ER 2003, pp.200-215, 2003.
DOI : 10.1007/978-3-540-39648-2_18

Y. Yang, Q. Tan, Y. Xiao, J. Yu, and F. Liu, Exploiting hierarchical CP-nets to increase the reliability of Web services workflow, International Symposium on Applications and the Internet (SAINT'06), pp.116-122, 2006.
DOI : 10.1109/SAINT.2006.31

X. Yi and K. Kochut, A cp-nets-based design and verification framework for web services composition, Proceedings of the IEEE International Conference on Web Services, pp.756-760, 2004.

S. Yovine, KRONOS: a??verification tool for real-time systems, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.123-133, 1997.
DOI : 10.1007/s100090050009

J. Zhang, J. Chung, C. K. Chang, and S. Kim, WS-Net: a Petri-net based specification model for Web services, Proceedings. IEEE International Conference on Web Services, 2004., pp.420-427, 2004.
DOI : 10.1109/ICWS.2004.1314766