{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:25:29Z","timestamp":1725567929208},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540287483"},{"type":"electronic","value":"9783540287490"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11550679_3","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T12:59:48Z","timestamp":1127825988000},"page":"31-46","source":"Crossref","is-referenced-by-count":20,"title":["Ad Hoc Composition of User Tasks in Pervasive Computing Environments"],"prefix":"10.1007","author":[{"given":"Sonia Ben","family":"Mokhtar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikolaos","family":"Georgantas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Val\u00e9rie","family":"Issarny","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Patil, A., Oundhakar, S., Sheth, A.: Semantic annotation of web services. Technical report, LSDIS Lab, Department of Computer Science, University of Georgia (March 2003)"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"926","DOI":"10.1145\/860575.860728","volume-title":"Proceedings of the second international joint conference on Autonomous agents and multiagent systems","author":"S. Bansal","year":"2003","unstructured":"Bansal, S., Vidal, J.M.: Matchmaking of web services based on the daml-s service model. In: Proceedings of the second international joint conference on Autonomous agents and multiagent systems, pp. 926\u2013927. ACM Press, New York (2003)"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American (May 2001)","DOI":"10.1038\/scientificamerican0501-34"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/3-540-48005-6_9","volume-title":"The Semantic Web - ISWC 2002","author":"M. Klein","year":"2002","unstructured":"Klein, M., Bernstein, A.: Towards high-precision service retrieval. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol.\u00a02342, p. 84. Springer, Heidelberg (2002)"},{"key":"3_CR5","unstructured":"BPEL4WS. Business Process Execution Language for Web Services (BPEL4WS) 1.1. IBM, Microsoft, BEA, 1.1 edn. (2003), http:\/\/www-106.ibm.com\/developerworks\/library\/ws-bpel\/"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Brogi, A., Canal, C., Pimentel, E., Vallecillo, A.: Formalizing web services choreographies. In: Proceedings of the First International Workshop on Web Services and Formal Methods, Pisa, Italy (February 2004)","DOI":"10.1016\/j.entcs.2004.05.007"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Eberhart, A.: Ad-hoc of invocation semantic web services. In: IEEE International Conference on Web Services ICWS 2004, San Diego, California, June 2004, pp. 116\u2013124 (2004)","DOI":"10.1109\/ICWS.2004.1314730"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Tartanoglu, V.I.F.: Specifying web services recovery support with conversations. In: Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38) (January 2005)","DOI":"10.1109\/HICSS.2005.552"},{"key":"3_CR9","unstructured":"Filho, J.G.P., van Sinderen, M.: Web service architectures - semantics and context-awareness issues in web services platforms. Technical report, Telematica Instituut (2003)"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-based verification of web service compositions. In: IEEE International Conference on Automated Software Engineering (2003)","DOI":"10.1109\/ASE.2003.1240303"},{"key":"3_CR11","unstructured":"He\u00df, A., Kushmerick, N.: Machine learning for annotating semantic web services. In: AAAI Spring Symposium on Semantic Web Services, Palo Alto, California, USA (2004)"},{"key":"3_CR12","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J.E. Hopcroft","year":"2000","unstructured":"Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation, 2nd edn. Addison-Wesley, Reading (2000)","edition":"2"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Issarny, V., Sacchetti, D., Tartanoglu, F., Sailhan, F., Chibout, R., Levy, N., Talamona, A.: Developing ambient intelligence systems: A solution based on web services. Journal of Automated Software Engineering (2004)","DOI":"10.1023\/B:AUSE.0000049210.42738.00"},{"key":"3_CR14","unstructured":"Javier, G.-C., David, T., Claudio, B.: Description logics for matchmaking of services. In: Proceedings of the of the KI 2001, Workshop on Applications of Description Logics, Vienna, Austria (September 2001)"},{"key":"3_CR15","unstructured":"Koshkina, M., van Breugel, F.: Verification of business processes for web services. Technical report, York University (2003)"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Majithia, S., Walker, D.W., Gray, W.A.: A framework for automated service composition in service-oriented architecture. In: 1st European Semantic Web Symposium (2004)","DOI":"10.1007\/978-3-540-25956-5_19"},{"key":"3_CR17","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1145\/511446.511457","volume-title":"Proceedings of the eleventh international conference on World Wide Web","author":"S. Narayanan","year":"2002","unstructured":"Narayanan, S., McIlraith, S.A.: Simulation, verification and automated composition of web services. In: Proceedings of the eleventh international conference on World Wide Web, pp. 77\u201388. ACM Press, New York (2002)"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/3-540-48005-6_26","volume-title":"The Semantic Web - ISWC 2002","author":"M. Paolucci","year":"2002","unstructured":"Paolucci, M., Kawamura, T., Payne, T.R., Sycara, K.: Semantic matching of Web services capabilities. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol.\u00a02342, p. 333. Springer, Heidelberg (2002)"},{"key":"3_CR19","unstructured":"Rachid, H., Boualem, B.: A petri net-based model for web service composition. In: Schewe, K.-D., Zhou, X. (eds.) Fourteenth Australasian Database Conference (ADC 2003). Conferences in Research and Practice in Information Technology, Adelaide, Australia, vol.\u00a017, pp. 191\u2013200. ACS (2003)"},{"key":"3_CR20","unstructured":"Costa, P.D., Guizzardi, G., Ferreira Pires, L., Pereira Filho, J.G., van Rios, S.M., Rios, D.: Using ontologies for modeling context-aware service platforms. In: OOPSLA 2003 Workshop on Ontologies to Complement Software Architectures, Anaheim, CA, USA (2003)"},{"key":"3_CR21","unstructured":"Sivashanmugam, K., Verma, K., Sheth, A.P., Miller, J.A.: Adding semantics to web services standards. In: Proceedings of the International Conference on Web Services, ICWS 2003, Las Vegas, Nevada, USA, June 2003, pp. 395\u2013401 (2003)"},{"issue":"1","key":"3_CR22","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.websem.2003.07.002","volume":"1","author":"K. Sycara","year":"2003","unstructured":"Sycara, K., Paolucci, M., Ankolekar, A., Srinivasan, N.: Automated discovery, interaction and composition of semantic web services. Web Semantics: Science, Services and Agents on the World Wide Web\u00a01(1), 27\u201346 (2003)","journal-title":"Web Semantics: Science, Services and Agents on the World Wide Web"},{"key":"3_CR23","unstructured":"Trastour, D., Bartolini, C., Gonzalez-Castillo, J.: A semantic web approach to service description for matchmaking of services. In: The first Semantic Web Working Symposium, SWWS 2001, Stanford University, California, USA, July 30 - August 1, 2001, pp. 447\u2013461 (2001)"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M.: Yawl: Yet another workflow language. Accepted for publication in Information Systems (2004)","DOI":"10.1016\/j.is.2004.02.002"},{"key":"3_CR25","unstructured":"Verma, R.A.K., Miller, J., Milnor, W.: Dynamic web service composition in meteor-s. Technical report, LSDIS Lab, Computer Science Dept., UGA (2004)"},{"key":"3_CR26","unstructured":"WS-CDL. Web Services Choreography Description Language Version 1.0. W3C, 1.0 edn. (2004), http:\/\/www.w3.org\/TR\/2004\/WD-ws-cdl-10-20040427\/"},{"key":"3_CR27","unstructured":"WSCI. Web Service Choreography Interface (WSCI) 1.0. BEA Systems, Intalio, SAP AG, Sun Microsystems, 1.0 edn. (2002), http:\/\/www.w3.org\/TR\/wsci\/"},{"key":"3_CR28","unstructured":"WSCL. Web Services Conversation Language (WSCL) 1.0. Hewlett-Packard Company, 1.0 edn. (2002), http:\/\/www.w3.org\/TR\/2002\/NOTE-wscl10-20020314\/"}],"container-title":["Lecture Notes in Computer Science","Software Composition"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11550679_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:42:08Z","timestamp":1605642128000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11550679_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540287483","9783540287490"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/11550679_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}