R. Alur and D. 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. Alonso, F. Casati, H. A. Kuno, and V. Machiraju, Web services -concepts, architectures and applications, 2004.

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

B. Benatallah, F. Casati, and F. Toumani, Web service conversation modeling: a cornerstone for e-business automation, IEEE Internet Computing, vol.8, issue.1, pp.46-54
DOI : 10.1109/MIC.2004.1260703

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

B. Benatallah, F. Casati, and F. Toumani, Analysis and Management of Web Service Protocols, 23rd International Conference on Conceptual Modeling
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, On temporal abstractions of web service protocols, The 17 th Conference on Advanced Information Systems Engineering (CAiSE '05). Short Paper Proceedings

B. Benatallah, F. Casati, F. Toumani, and J. Ponge, Compatibility and replaceability analysis for timed Web service protocols, 21èmes journées Bases de données Avancées (BDA'05), 1920.

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, R. Hamid, and M. Nezhad, Service Oriented Architecture: Overview and Directions, Lipari Summer School, pp.116-130, 2007.
DOI : 10.1007/978-3-540-89762-0_4

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

L. Bordeaux, G. Salaûn, D. Berardi, and M. Mecella, When are Two Web Services Compatible?, Technologies for EServices, 5th International Workshop (TES), pp.15-28, 2004.
DOI : 10.1007/978-3-540-31811-8_2

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

G. Diaz, J. Pardo, M. Cambronero, V. Valero, C. et al., Verification of Web Services with Timed Automata, Proceedings of the International Workshop on Automated Specification and Verification ofWeb Sites (WWV'05), pp.19-34, 2005.
DOI : 10.1016/j.entcs.2005.12.042

G. Diaz, M. Cambronero, J. Pardo, V. Valero, C. et al., 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

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

J. Eder and A. Tahamtan, Temporal Conformance of Federated Choreographies, Proceedings of the 19th International Conference on Database and Expert Systems Applications (DEXA'08), 2005.
DOI : 10.1007/978-3-540-85654-2_57

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

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

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

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

N. Guermouche, G. , and C. , Uppaal based approach for compatibility analysis of synchronous web services, 2008.

N. A. Guermouche and G. C. , Timed Properties-Aware Asynchronous Web Service Composition, Proceedings of the 16th 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, G. , and C. , Timed model checking based approach for we bservices analysis, Proceedings of the IEEE International Conference on Web Service (ICWS'09)

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

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

T. A. Henzinger, X. Nicollin, J. Sifakis, Y. , and S. , 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. Kazhamiakin, P. K. Pandya, and M. Pistore, Representation, verification, and computation of timed properties in web service compositions, Proceedings of the IEEE International Conference onWeb Services (ICWS), pp.497-504

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
DOI : 10.1109/ARES.2006.134

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

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

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

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

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