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

G. Behrmann, J. Bengtsson, A. David, K. G. Larsen, P. Pettersson et al., UppaaL Implementation Secrets, Formal Techniques in Real-Time and Fault-Tolerant Systems, pp.3-22, 2002.
DOI : 10.1007/3-540-45739-9_1

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, Proceedings of the 21èmes Journées Bases de Données Avancées (BDA'05), Saint Malo, pp.17-20, 2005.

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, G. D. Calvanese, M. Giacomo, and . 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

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 2006ICAPS), pp.358-361, 2006.

A. Brogi and R. Popescu, Towards Semi-automated Workflow-Based Aggregation of Web Services, Service-Oriented Computing -ICSOC 2005, Third International Conference (ICSOC), 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

A. Deutsch, L. Sui, and V. Vianu, Specification and verification of data-driven web services, Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '04, pp.71-82, 2004.
DOI : 10.1145/1055558.1055571

G. Díaz, M. Cambronero, J. 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
DOI : 10.1109/AICT-ICIW.2006.53

. Guermouche, Timed Interation-aware Web service composition (Wrtiten in French: Etude des Interactions Temporises dans la Composition de Services Web), 2010.

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

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

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/978-3-540-88871-0_7

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 and C. Godart, Timed Conversational Protocol Based Approach for Web Services Analysis, Proceedings of the 8 th International Conference on Service Oriented Computing (ICSOC'10), 2010.
DOI : 10.1007/978-3-540-75563-0_40

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

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, 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

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

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), pp.497-504, 2006.

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

S. A. Mcilraith and T. C. 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.

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

M. Mecella, M. Ouzzani, F. Paci, and E. Bertino, Access control enforcement for conversation-based web services, Proceedings of the 15th international conference on World Wide Web , WWW '06, 2006.
DOI : 10.1145/1135777.1135818

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. B. Mokhtar, A. Kaul, N. Georgantas, and V. Issarny, Efficient Semantic Service Discovery in Pervasive Computing Environments, 7th International Middleware ConferenceMiddleware), pp.240-259, 2006.
DOI : 10.1007/11751113_10

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

A. Muscholl and I. Walukiewicz, A lower bound on web services composition, Proceedings of Foundations of Software Science and Computation Structures (FOSSACS), pp.274-287, 2007.
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

H. Pichler, M. Wenger, and J. Eder, Composing Time-Aware Web Service Orchestrations, Proceedings of the 21 st International Conference on Advanced Information Systems Engineering (CAiSE'09), pp.349-363, 2009.
DOI : 10.1007/3-540-60738-2_15

M. Pistore, A. Marconi, P. Bertoli, and P. Traverso, Automated composition of web services by planning at the knowledge level, IJCAI, 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

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), 2007.
DOI : 10.1007/978-3-540-75563-0_40

N. Sohrabi, S. A. Prokoshyna, and . Mcilraith, Web Service Composition Via Generic Procedures and Customizing User Preferences, International Semantic Web Conference, pp.597-611, 2006.
DOI : 10.1007/11926078_43

S. Thakkar, J. L. Ambite, and C. A. Knoblock, A view integration approach to dynamic composition of web services, Proceeding of 2003 ICAPS Workshop on Planning for Web Services, 2003.

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