A. Patil, S. Oundhakar, and A. Sheth, Semantic annotation of web services, 2003.

S. Bansal and J. M. Vidal, Matchmaking of web services based on the DAML-S service model, Proceedings of the second international joint conference on Autonomous agents and multiagent systems , AAMAS '03, pp.926-927, 2003.
DOI : 10.1145/860575.860728

T. Berners-lee, J. Hendler, and O. Lassila, The Semantic Web, Scientific American, vol.284, issue.5, 2001.
DOI : 10.1038/scientificamerican0501-34

M. Klein and A. Bernstein, Toward high-precision service retrieval, Proceedings of The First International Semantic Web Conference(ISWC), 2002, number 2342 in Lecture Notes in Computer Science, 2002.
DOI : 10.1109/MIC.2004.1260701

A. Brogi, C. Canal, E. Pimentel, and A. Vallecillo, Formalizing Web Service Choreographies, Proceedings of the First International Workshop on Web Services and Formal Methods, 2004.
DOI : 10.1016/j.entcs.2004.05.007

A. Eberhart, Ad-hoc invocation of semantic Web services, Proceedings. IEEE International Conference on Web Services, 2004., pp.116-124, 2004.
DOI : 10.1109/ICWS.2004.1314730

V. Issarny and F. Tartanoglu, Specifying web services recovery support with conversations, Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38), 2005.

J. G. Pereira-filho and M. Van-sinderen, Web service architectures -semantics and contextawareness issues in web services platforms, 2003.

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., 2003.
DOI : 10.1109/ASE.2003.1240303

A. Heß and N. Kushmerick, Machine learning for annotating semantic web services, AAAI Spring Symposium on Semantic Web Services, 2004.

J. E. Hopcroft, R. Motwani, and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation, 2000.

V. Issarny, D. Sacchetti, F. Tartanoglu, F. Sailhan, R. Chibout et al., Developing Ambient Intelligence Systems: A Solution based on Web Services, Automated Software Engineering, vol.12, issue.1, 2004.
DOI : 10.1023/B:AUSE.0000049210.42738.00

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

T. Gonzalez-castillo-javier, B. David, and . Claudio, Description logics for matchmaking of services, Proceedings of the of the KI-2001, Workshop on Applications of Description Logics, 2001.

M. Koshkina and F. Van-breugel, Verification of business processes for web services, 2003.

S. Majithia, D. W. Walker, and W. A. Gray, A Framework for Automated Service Composition in Service-Oriented Architectures, 1st European Semantic Web Symposium, 2004.
DOI : 10.1007/978-3-540-25956-5_19

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

M. Paolucci, T. Kawamura, T. R. Payne, and K. Sycara, Semantic Matching of Web Services Capabilities, Lecture Notes in Computer Science, vol.2342, p.333, 2002.
DOI : 10.1007/3-540-48005-6_26

H. Rachid and B. Boualem, A petri net-based model for web service composition, Fourteenth Australasian Database Conference (ADC2003) of Conferences in Research and Practice in Information Technology, pp.191-200, 2003.

P. D. Guizzardi, G. Ferreira-pires, L. Pereira-filho, J. G. Van-sinderen, M. Rios et al., Using ontologies for modeling context-aware service platforms, OOPSLA 2003 Workshop on Ontologies to Complement Software Architectures, 2003.

K. Sivashanmugam, K. Verma, A. P. Sheth, and J. A. Miller, Adding semantics to web services standards, Proceedings of the International Conference on Web Services, ICWS '03, pp.395-401, 2003.

K. Sycara, M. Paolucci, A. Ankolekar, and N. Srinivasan, Automated discovery, interaction and composition of Semantic Web services, Web Semantics: Science, Services and Agents on the World Wide Web, pp.27-46, 2003.
DOI : 10.1016/j.websem.2003.07.002

D. Trastour, C. Bartolini, and J. Gonzalez-castillo, A semantic web approach to service description for matchmaking of services, The first Semantic Web Working Symposium, pp.447-461, 2001.

W. M. Van-der-aalst and A. H. Ter-hofstede, Yawl: Yet another workflow language. Accepted for publication in Information Systems, 2004.

R. Verma, J. Miller, and W. Milnor, Dynamic web service composition in meteor-s, 2004.

W. Web, Service Choreography Interface (WSCI) 1.0. BEA Systems, Intalio, SAP AG , Sun Microsystems, 1.0 edition, 2002.

W. Web, Services Conversation Language (WSCL) 1.0. Hewlett-Packard Company, 1.0 edition, 2002.