Semantic annotation of web services, 2003. ,
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
The Semantic Web, Scientific American, vol.284, issue.5, 2001. ,
DOI : 10.1038/scientificamerican0501-34
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
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
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
Specifying web services recovery support with conversations, Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38), 2005. ,
Web service architectures -semantics and contextawareness issues in web services platforms, 2003. ,
Model-based verification of Web service compositions, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings., 2003. ,
DOI : 10.1109/ASE.2003.1240303
Machine learning for annotating semantic web services, AAAI Spring Symposium on Semantic Web Services, 2004. ,
Introduction to Automata Theory, Languages, and Computation, 2000. ,
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
Description logics for matchmaking of services, Proceedings of the of the KI-2001, Workshop on Applications of Description Logics, 2001. ,
Verification of business processes for web services, 2003. ,
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
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
Semantic Matching of Web Services Capabilities, Lecture Notes in Computer Science, vol.2342, p.333, 2002. ,
DOI : 10.1007/3-540-48005-6_26
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. ,
Using ontologies for modeling context-aware service platforms, OOPSLA 2003 Workshop on Ontologies to Complement Software Architectures, 2003. ,
Adding semantics to web services standards, Proceedings of the International Conference on Web Services, ICWS '03, pp.395-401, 2003. ,
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
A semantic web approach to service description for matchmaking of services, The first Semantic Web Working Symposium, pp.447-461, 2001. ,
Yawl: Yet another workflow language. Accepted for publication in Information Systems, 2004. ,
Dynamic web service composition in meteor-s, 2004. ,
Service Choreography Interface (WSCI) 1.0. BEA Systems, Intalio, SAP AG , Sun Microsystems, 1.0 edition, 2002. ,
Services Conversation Language (WSCL) 1.0. Hewlett-Packard Company, 1.0 edition, 2002. ,