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

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

A. Bennaceur, L. Cavallaro, P. Inverardi, V. Issarny, M. T. Spalazzese et al., Dynamic connector synthesis: revised prototype implementation, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00695592

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

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

A. Bertolino, P. Inverardi, V. Issarny, A. Sabetta, and R. Spalazzese, On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring, 4 th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'10), 2010.
DOI : 10.1007/978-3-642-16561-0_26
URL : https://hal.archives-ouvertes.fr/inria-00536763

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

Y. Charif and N. Sabouret, An Overview of Semantic Web Services Composition Approaches, Electronic Notes in Theoretical Computer Science, vol.146, issue.1, pp.33-41, 2006.
DOI : 10.1016/j.entcs.2005.11.005
URL : https://hal.archives-ouvertes.fr/hal-01420340

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), p.186, 2006.
DOI : 10.1109/AICT-ICIW.2006.53

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

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

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 INFOR- MATION SYSTEMS (CoopIS'08), pp.44-61, 2008.
DOI : 10.1007/978-3-540-88871-0_7
URL : https://hal.archives-ouvertes.fr/inria-00311187

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

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

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.

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

A. P. Sheth and J. A. Larson, Federated database systems for managing distributed, heterogeneous, and autonomous databases, ACM Computing Surveys, vol.22, issue.3, pp.183-236, 1990.
DOI : 10.1145/96602.96604

S. Sohrabi, N. Prokoshyna, and S. A. Mcilraith, Web Service Composition Via Generic Procedures and Customizing User Preferences, International Semantic Web Conference, pp.597-611, 2006.
DOI : 10.1007/11926078_43
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.7399

M. Stollberg, E. Cimpian, A. Mocan, and D. Fensel, A Semantic Web Mediation Architecture, Canadian Semantic Web, pp.3-22, 2006.
DOI : 10.1007/978-0-387-34347-1_2

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.

G. Wiederhold, Mediators in the architecture of future information systems, Computer, vol.25, issue.3, pp.38-49, 1992.
DOI : 10.1109/2.121508