{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T22:23:14Z","timestamp":1746310994235,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":88,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642175985"},{"type":"electronic","value":"9783642175992"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-17599-2_3","type":"book-chapter","created":{"date-parts":[[2010,12,15]],"date-time":"2010-12-15T10:11:53Z","timestamp":1292407913000},"page":"55-84","source":"Crossref","is-referenced-by-count":15,"title":["Service Composition"],"prefix":"10.1007","author":[{"given":"George","family":"Baryannis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olha","family":"Danylevych","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dimka","family":"Karastoyanova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kyriakos","family":"Kritikos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philipp","family":"Leitner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florian","family":"Rosenberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Branimir","family":"Wetzstein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-540-76888-3_37","volume-title":"On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops","author":"J. Nitzsche","year":"2007","unstructured":"Nitzsche, J., van Lessen, T., Karastoyanova, D., Leymann, F.: BPEL for semantic web services (BPEL4SWS). In: Meersman, R., Tari, Z., Herrero, P. (eds.) OTM-WS 2007, Part I. LNCS, vol.\u00a04805, pp. 179\u2013188. Springer, Heidelberg (2007)"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Business Process Management","year":"2007","unstructured":"Alonso, G., Dadam, P., Rosemann, M. (eds.): BPM 2007. LNCS, vol.\u00a04714. Springer, Heidelberg (2007)"},{"key":"3_CR3","unstructured":"Web Services Business Activity Framework (WS-BusinessActivity). Version 1.1 (April 2007), http:\/\/docs.oasis-open.org\/ws-tx\/wstx-wsba-1.1-spec-os.pdf"},{"key":"3_CR4","unstructured":"Web Services Coordination (WS-Coordination) Version 1.1 (April 2007), http:\/\/docs.oasis-open.org\/ws-tx\/wstx-wscoor-1.1-spec-os.pdf"},{"key":"3_CR5","unstructured":"Akkiraju, R., Verma, K., Goodwin, R., Doshi, P., Lee, J.: Executing Abstract Web Process Flows. In: Proceedings of the Workshop on Planning and Scheduling for Web and Grid Services of the ICAPS \u201904 Conference, Whistler, British Columbia, Canada (2004)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Alevizou, V., Plexousakis, D.: Enhanced Specifications for Web Service Composition. In: ECOWS \u201906: Proceedings of the European Conference on Web Services, Zurich, Switzerland, pp. 223\u2013232. IEEE Computer Society (2006)","DOI":"10.1109\/ECOWS.2006.15"},{"key":"3_CR7","unstructured":"Arkin, A.: Business Process Modeling Language (BPML) (November 2002)"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Balzer, S., Liebig, T., Wagner, M.: Pitfalls of OWL-S \u2013 A Practical Semantic Web Use Case. In: ICSOC\u2019 04: Proceedings of the 2nd International Conference on Service Oriented Computing, New York, NY, USA, November 2004, pp. 289\u2013298 (2004)","DOI":"10.1145\/1035167.1035209"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/11678564_7","volume-title":"Business Process Management Workshops","author":"A. Barros","year":"2006","unstructured":"Barros, A., Dumas, M., Oaks, P.: Standards for Web Service Choreography and Orchestration: Status and Perspectives. In: Bussler, C.J., Haller, A. (eds.) BPM 2005. LNCS, vol.\u00a03812, pp. 61\u201374. Springer, Heidelberg (2006)"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/11538394_20","volume-title":"Business Process Management","author":"A. Barros","year":"2005","unstructured":"Barros, A., Dumas, M., ter Hofstede, A.H.M.: Service Interaction Patterns. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol.\u00a03649, pp. 302\u2013318. Springer, Heidelberg (2005)"},{"issue":"4","key":"3_CR11","first-page":"47","volume":"25","author":"B. Benatallah","year":"2002","unstructured":"Benatallah, B., Dumas, M., Maamar, Z.: Definition and Execution of Composite Web Services: The SELF-SERV Project. IEEE Data Eng. Bull.\u00a025(4), 47\u201352 (2002)","journal-title":"IEEE Data Eng. Bull."},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-48257-1_1","volume-title":"Applied Formal Methods - FM-Trends 98","author":"E. B\u00f6rger","year":"1999","unstructured":"B\u00f6rger, E.: High Level System Design and Analysis Using Abstract State Machines. In: Hutter, D., Traverso, P. (eds.) FM-Trends 1998. LNCS, vol.\u00a01641, pp. 1\u201343. Springer, Heidelberg (1999)"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Bultan, T., Fu, X., Hull, R., Su, J.: Conversation specification: a new approach to design and analysis of e-service composition. In: WWW, pp. 403\u2013410 (2003)","DOI":"10.1145\/775152.775210"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Towards a formal framework for choreography. In: WETICE, pp. 107\u2013112. IEEE Computer Society (2005)","DOI":"10.1109\/WETICE.2005.57"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Canfora, G., Di Penta, M., Esposito, R., Villani, M.L.: QoS-Aware Replanning of Composite Web Services. In: Proceedings of the IEEE International Conference on Web Services (ICWS\u201905), Orlando, FL, USA, pp. 121\u2013129 (2005)","DOI":"10.1109\/ICWS.2005.96"},{"issue":"3","key":"3_CR16","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/j.websem.2004.03.001","volume":"1","author":"J. Cardoso","year":"2004","unstructured":"Cardoso, J., Sheth, A., Miller, J., Arnold, J., Kochut, K.: Quality of Service for Workflows and Web Service Processes. Journal of Web Semantics\u00a01(3), 281\u2013308 (2004)","journal-title":"Journal of Web Semantics"},{"key":"3_CR17","unstructured":"Carman, M., Serafini, L., Traverso, P.: Web Service Composition as Planning. In: Workshop on Planning for Web Services in ICAPS\u201903, Trento, Italy, AAAI (2003)"},{"issue":"2","key":"3_CR18","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1109\/4236.991449","volume":"6","author":"F. Curbera","year":"2002","unstructured":"Curbera, F., Duftler, M., Khalaf, R., Nagy, W., Mukhi, N., Weerawarana, S.: Unraveling the Web Services Web: An Introduction to SOAP, WSDL, and UDDI. IEEE Internet Computing\u00a06(2), 86\u201393 (2002)","journal-title":"IEEE Internet Computing"},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/11596141_4","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"F. Curbera","year":"2005","unstructured":"Curbera, F., Ferguson, D.F., Nally, M., Stockton, M.L.: Toward a programming model for service-oriented computing. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 33\u201347. Springer, Heidelberg (2005)"},{"key":"3_CR20","unstructured":"Decker, G.: Realizability of interaction models. In: ZEUS. CEUR Workshop Proceedings, vol.\u00a0438, pp. 55\u201360. CEUR-WS.org (2009)"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-540-78238-4_22","volume-title":"Business Process Management Workshops","author":"G. Decker","year":"2008","unstructured":"Decker, G., Barros, A.: Interaction modeling using BPMN. In: ter Hofstede, A.H.M., Benatallah, B., Paik, H.-Y. (eds.) BPM Workshops 2007. LNCS, vol.\u00a04928, pp. 208\u2013219. Springer, Heidelberg (2008)"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Decker, G., Kopp, O., Leymann, F., Weske, M.: BPEL4Chor: Extending BPEL for modeling choreographies. In: ICWS, pp. 296\u2013303. IEEE Computer Society (2007)","DOI":"10.1109\/ICWS.2007.59"},{"key":"3_CR23","unstructured":"Decker, G., Overdick, H., Zaha, J.M.: On the suitability of ws-cdl for choreography modeling. In: Weske, M., N\u00fcttgens, M. (eds.) EMISA. LNI, vol.\u00a095, pp. 21\u201333, GI (2006)"},{"key":"3_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-540-75183-0_22","volume-title":"Business Process Management","author":"G. Decker","year":"2007","unstructured":"Decker, G., Weske, M.: Local enforceability in interaction petri nets. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol.\u00a04714, pp. 305\u2013319. Springer, Heidelberg (2007)"},{"key":"3_CR25","unstructured":"Erol, K., Hendler, J., Nau, D.S.: Semantics for HTN Planning. Technical Report CS-TR-3239, UM Computer Science Department (1994)"},{"key":"3_CR26","first-page":"249","volume-title":"AIPS\u2019 94: 2nd International Conference on AI Planning Systems","author":"K. Erol","year":"1994","unstructured":"Erol, K., Hendler, J.A., Nau, D.S.: UMCP: A Sound and Complete Procedure for Hierarchical Task-network Planning. In: AIPS\u2019 94: 2nd International Conference on AI Planning Systems, Chicago, IL, USA, pp. 249\u2013254. Morgan Kaufmann, San Francisco (1994)"},{"key":"3_CR27","unstructured":"Farrell, J., Lausen, H.: Semantic Annotations for WSDL and XML Schema. W3C Member Submission (2007)"},{"issue":"4","key":"3_CR28","doi-asserted-by":"publisher","first-page":"68","DOI":"10.4018\/jwsr.2005100104","volume":"2","author":"X. Fu","year":"2005","unstructured":"Fu, X., Bultan, T., Su, J.: Realizability of conversation protocols with message contents. Int. J. Web Service Res.\u00a02(4), 68\u201393 (2005)","journal-title":"Int. J. Web Service Res."},{"key":"3_CR29","volume-title":"Proceedings of the Genetic and Computation Conference (GECCO\u201905)","author":"G. Canfora","year":"2005","unstructured":"Canfora, G., Di Penta, M., Esposito, R., Villani, M.L.: An Approach for QoS-aware Service Composition based on Genetic Algorithms. In: Proceedings of the Genetic and Computation Conference (GECCO\u201905), Washington DC, USA, ACM Press, New York (2005)"},{"key":"3_CR30","unstructured":"Ghallab, M., Howe, A., Knoblock, C., McDermott, D., Ram, A., Veloso, M., Weld, D., Wilkins, D.: PDDL \u2013 The Planning Domain Definition Language. Technical Report CVC TR\u201398\u2013003\/DCS TR\u20131165, Yale Center for Computational Vision and Control, Version 1.2 (1998)"},{"key":"3_CR31","doi-asserted-by":"crossref","unstructured":"Gronmo, R., Jaeger, M.C.: Model-Driven Semantic Web Service Composition. In: APSEC \u201905: Proceedings of the 12th Asia-Pacific Software Engineering Conference, Washington, DC, USA, pp. 79\u201386. IEEE Computer Society (2005)","DOI":"10.1109\/APSEC.2005.81"},{"key":"3_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/978-3-540-30175-2_17","volume-title":"Generative Programming and Component Engineering","author":"R. Hauser","year":"2004","unstructured":"Hauser, R., Koehler, J.: Compiling Process Graphs into Executable Code. In: Karsai, G., Visser, E. (eds.) GPCE 2004. LNCS, vol.\u00a03286, pp. 317\u2013336. Springer, Heidelberg (2004)"},{"key":"3_CR33","doi-asserted-by":"crossref","unstructured":"Huang, Y., Wang, H.: A petri net semantics for web service choreography. In: SAC, pp. 1689\u20131690. ACM (2007)","DOI":"10.1145\/1244002.1244359"},{"issue":"1","key":"3_CR34","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1109\/MIC.2005.21","volume":"9","author":"M.N. Huhns","year":"2005","unstructured":"Huhns, M.N., Singh, M.P.: Service-Oriented Computing: Key Concepts and Principles. IEEE Internet Computing\u00a09(1), 75\u201381 (2005)","journal-title":"IEEE Internet Computing"},{"key":"3_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"646","DOI":"10.1007\/11575771_41","volume-title":"On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE","author":"M.C. Jaeger","year":"2005","unstructured":"Jaeger, M.C., M\u00fchl, G., Golze, S.: QoS-Aware Composition of Web Services: An Evaluation of Selection Algorithms. In: Meersman, R., Tari, Z. (eds.) OTM 2005. LNCS, vol.\u00a03760, pp. 646\u2013661. Springer, Heidelberg (2005)"},{"key":"3_CR36","first-page":"149","volume-title":"Proceedings of the 8th International Enterprise Distributed Object Computing Conference (EDOC\u201904)","author":"M.C. Jaeger","year":"2004","unstructured":"Jaeger, M.C., Rojec-Goldmann, G., M\u00fchl, G.: QoS Aggregation for Service Composition using Workflow Patterns. In: Proceedings of the 8th International Enterprise Distributed Object Computing Conference (EDOC\u201904), Monterey, California, USA, September 2004, pp. 149\u2013159. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"3_CR37","volume-title":"Proceedings of the IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE\u201905)","author":"M.C. Jaeger","year":"2005","unstructured":"Jaeger, M.C., Rojec-Goldmann, G., M\u00fchl, G.: QoS Aggregation in Web Service Compositions. In: Proceedings of the IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE\u201905), Hong Kong, China, March 2005, IEEE Press, Los Alamitos (2005)"},{"key":"3_CR38","doi-asserted-by":"crossref","unstructured":"Jianhong, Z., Shensheng, Z., Jian, C., Yujie, M.: Improved HTN Planning Approach for Service Composition. In: SCC \u201904: Proceedings of the 2004 IEEE International Conference on Services Computing, Shanghai, China, pp. 609\u2013612. IEEE Computer Society (2004)","DOI":"10.1109\/SCC.2004.1358075"},{"key":"3_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-39406-8_1","volume-title":"Technologies for E-Services","author":"R. Khalaf","year":"2003","unstructured":"Khalaf, R., Leymann, F.: On web services aggregation. In: Benatallah, B., Shan, M.-C. (eds.) TES 2003. LNCS, vol.\u00a02819, pp. 1\u201313. Springer, Heidelberg (2003)"},{"key":"3_CR40","doi-asserted-by":"crossref","unstructured":"Koehler, J., Hauser, R., Hauser, R., Kapoor, S., Wu, F.Y., Kumaran, S.: A Model-Driven Transformation Method. In: EDOC \u201903: Proceedings of the 7th International Conference on Enterprise Distributed Object Computing, Washington, DC, USA, p. 186. IEEE Computer Society (2003)","DOI":"10.1109\/EDOC.2003.1233848"},{"issue":"3","key":"3_CR41","first-page":"31","volume":"31","author":"O. Kopp","year":"2008","unstructured":"Kopp, O., Leymann, F.: Choreography design using WS-BPEL. IEEE Data Eng. Bull.\u00a031(3), 31\u201334 (2008)","journal-title":"IEEE Data Eng. Bull."},{"key":"3_CR42","doi-asserted-by":"crossref","unstructured":"Korhonen, J., Pajunen, L., Puustj\u00e4rvi, J.: Automatic Composition of Web Service Workflows Using a Semantic Agent. In: WI \u201903: Proceedings of the 2003 IEEE\/WIC International Conference on Web Intelligence, Halifax, Canada, p. 566. IEEE Computer Society,","DOI":"10.1109\/WI.2003.1241269"},{"key":"3_CR43","unstructured":"Lausen, H., Polleres, A., Roman, D.: Web Service Modelling Ontology (WSMO). W3C Member Submission (2005)"},{"key":"3_CR44","unstructured":"L\u00e9cu\u00e9, F., Silva, E., Pires, L.F.: A Framework for Dynamic Web Services Composition. In: Pautasso, C., Gschwind, T. (eds.) WEWST07: Proceedings of the 2nd ECOWS Workshop on Emerging Web Services Technology, Halle, Germany, vol.\u00a0313, CEUR (2007)"},{"key":"3_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/11926078_28","volume-title":"The Semantic Web - ISWC 2006","author":"F. L\u00e9cu\u00e9","year":"2006","unstructured":"L\u00e9cu\u00e9, F., L\u00e9ger, A.: A formal model for semantic web service composition. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol.\u00a04273, pp. 385\u2013398. Springer, Heidelberg (2006)"},{"key":"3_CR46","unstructured":"Leymann, F.: Web services flow language (wsfl 1.0). Technical report, IBM Corporation (May 2001)"},{"key":"3_CR47","doi-asserted-by":"crossref","unstructured":"Leymann, F., Pottinger, S.: Rethinking the Coordination Models of WS-Coordination and WS-CF. In: Third IEEE European Conference on Web Services (ECOWS 2005), November 2005, pp. 160\u2013169. IEEE Computer Society (2005)","DOI":"10.1109\/ECOWS.2005.20"},{"key":"3_CR48","doi-asserted-by":"crossref","unstructured":"Liu, Y., Ngu, A.H.H., Zeng, L.: QoS Computation and Policing in Dynamic Web Service Selection. In: Proceedings of the 13th International Conference on World Wide Web, WWW\u201904 (2004)","DOI":"10.1145\/1013367.1013379"},{"key":"3_CR49","doi-asserted-by":"crossref","unstructured":"Luo, N., Yan, J., Liu, M.: Towards efficient verification for process composition of semantic web services. In: Proceedings of the 2007 IEEE International Conference on Services Computing (SCC 2007), Salt Lake City, Utah, USA, 9-13 July 2007, pp. 220\u2013227 (2007)","DOI":"10.1109\/SCC.2007.120"},{"key":"3_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-540-25956-5_19","volume-title":"The Semantic Web: Research and Applications","author":"S. Majithia","year":"2004","unstructured":"Majithia, S., Walker, D.W., Gray, W.A.: A Framework for Automated Service Composition in Service-Oriented Architectures. In: Bussler, C.J., Davies, J., Fensel, D., Studer, R. (eds.) ESWS 2004. LNCS, vol.\u00a03053, pp. 269\u2013283. Springer, Heidelberg (2004)"},{"key":"3_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/978-3-540-89652-4_24","volume-title":"Service-Oriented Computing \u2013 ICSOC 2008","author":"M. Mancioppi","year":"2008","unstructured":"Mancioppi, M., Carro, M., van den Heuvel, W.-J., Papazoglou, M.P.: Sound multi-party business protocols for service networks. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol.\u00a05364, pp. 302\u2013316. Springer, Heidelberg (2008)"},{"key":"3_CR52","doi-asserted-by":"crossref","unstructured":"Martens, A., Moser, S., Gerhardt, A., Funk, K.: Analyzing compatibility of bpel processes. In: AICT\/ICIW, p. 147. IEEE Computer Society (2006)","DOI":"10.1109\/AICT-ICIW.2006.48"},{"key":"3_CR53","first-page":"482","volume-title":"KR","author":"S.A. McIlraith","year":"2002","unstructured":"McIlraith, S.A., Son, T.C.: Adapting Golog for Composition of Semantic Web Services. In: Fensel, D., Giunchiglia, F., McGuinness, D.L., Williams, M.-A. (eds.) KR, pp. 482\u2013496. Morgan Kaufmann, San Francisco (2002)"},{"key":"3_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"506","DOI":"10.1007\/11575863_70","volume-title":"On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops","author":"J. Mendling","year":"2005","unstructured":"Mendling, J., Hafner, M.: From inter-organizational workflows to process execution: Generating BPEL from WS-CDL. In: Meersman, R., Tari, Z., Herrero, P. (eds.) OTM-WS 2005. LNCS, vol.\u00a03762, pp. 506\u2013515. Springer, Heidelberg (2005)"},{"key":"3_CR55","unstructured":"Mitra, T.: Business-driven Development (2005), http:\/\/www-128.ibm.com\/developerworks\/webservices\/library\/ws-bdd\/index.html"},{"key":"3_CR56","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/11767954_12","volume-title":"Coordination Models and Languages","author":"C. Montangero","year":"2006","unstructured":"Montangero, C., Semini, L.: A logical view of choreography. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol.\u00a04038, pp. 179\u2013193. Springer, Heidelberg (2006)"},{"key":"3_CR57","doi-asserted-by":"crossref","unstructured":"Mukhija, A., Dingwall-Smith, A., Rosenblum, D.S.: QoS-Aware Service Composition in Dino. In: Proceedings of the Fifth European Conference on Web Services (ECOWS\u201905), Halle (Saale), November 2007, pp. 3\u201312 (2007)","DOI":"10.1109\/ECOWS.2007.24"},{"key":"3_CR58","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-540-75183-0_16","volume-title":"Business Process Management","author":"J. Nitzsche","year":"2007","unstructured":"Nitzsche, J., van Lessen, T., Karastoyanova, D., Leymann, F.: BPELlight. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol.\u00a04714, pp. 214\u2013229. Springer, Heidelberg (2007)"},{"key":"3_CR59","unstructured":"OMG: Business Process Modeling Notation Version 1.1. OMG Recommendation, OMG (February 2008), http:\/\/www.bpmn.org\/Documents\/BPMN%201-1%20Specification.pdf"},{"key":"3_CR60","unstructured":"Web Services Business Process Execution Language Version 2.0 \u2013 OASIS Standard. Technical report, Organization for the Advancement of Structured Information Standards (OASIS) (Mar. 2007)"},{"key":"3_CR61","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/978-3-540-24593-3_6","volume-title":"Service-Oriented Computing - ICSOC 2003","author":"B. Orri\u00ebns","year":"2003","unstructured":"Orri\u00ebns, B., Yang, J., Papazoglou, M.P.: Model Driven Service Composition. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol.\u00a02910, pp. 75\u201390. Springer, Heidelberg (2003)"},{"key":"3_CR62","unstructured":"Ouyang, C., van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M.: Translating BPMN to BPEL. Technical Report BPM-06-02, BPM Center Report (2006)"},{"issue":"11","key":"3_CR63","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/MC.2007.400","volume":"40","author":"M.P. Papazoglou","year":"2007","unstructured":"Papazoglou, M.P., Traverso, P., Dustdar, S., Leymann, F.: Service-Oriented Computing: State of the Art and Research Challenges. Computer\u00a040(11), 38\u201345 (2007)","journal-title":"Computer"},{"key":"3_CR64","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/j.jvlc.2004.08.004","volume":"16","author":"C. Pautasso","year":"2005","unstructured":"Pautasso, C., Alonso, G.: The jopera visual composition language. Journal of Visual Languages and Computing (JVLC)\u00a016, 119\u2013152 (2005)","journal-title":"Journal of Visual Languages and Computing (JVLC)"},{"key":"3_CR65","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-540-30122-6_11","volume-title":"Principles and Practice of Semantic Web Reasoning","author":"J. Peer","year":"2004","unstructured":"Peer, J.: A PDDL based tool for automatic web service composition. In: Ohlbach, H.J., Schaffert, S. (eds.) PPSWR 2004. LNCS, vol.\u00a03208, pp. 149\u2013163. Springer, Heidelberg (2004)"},{"key":"3_CR66","doi-asserted-by":"crossref","unstructured":"Pfadenhauer, K., Kittl, B., Dustdar, S.: Challenges and Solutions for Model Driven Web Service Composition. In: WETICE \u201905: Proceedings of the 14th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprise, Washington, DC, USA, pp. 126\u2013134. IEEE Computer Society (2005)","DOI":"10.1109\/WETICE.2005.24"},{"key":"3_CR67","unstructured":"Phan, M., Hattori, F.: Automatic Web Service Composition Using ConGolog. In: ICDCS Workshops, IEEE Computer Society (2006)"},{"key":"3_CR68","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-540-30106-6_11","volume-title":"Artificial Intelligence: Methodology, Systems, and Applications","author":"M. Pistore","year":"2004","unstructured":"Pistore, M., Barbon, F., Bertoli, P.G., Shaparau, D., Traverso, P.: Planning and monitoring web service composition. In: Bussler, C.J., Fensel, D. (eds.) AIMSA 2004. LNCS (LNAI), vol.\u00a03192, pp. 106\u2013115. Springer, Heidelberg (2004)"},{"key":"3_CR69","doi-asserted-by":"crossref","unstructured":"Qiu, Z., Zhao, X., Cai, C., Yang, H.: Towards the theoretical foundation of choreography. In: WWW, pp. 973\u2013982. ACM (2007)","DOI":"10.1145\/1242572.1242704"},{"key":"3_CR70","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-30581-1_5","volume-title":"Semantic Web Services and Web Process Composition","author":"J. Rao","year":"2005","unstructured":"Rao, J., Su, X.: A survey of automated web service composition methods. In: Cardoso, J., Sheth, A.P. (eds.) SWSWPC 2004. LNCS, vol.\u00a03387, pp. 43\u201354. Springer, Heidelberg (2005)"},{"key":"3_CR71","doi-asserted-by":"crossref","unstructured":"Rosenberg, F., Leitner, P., Michlmayr, A., Celikovic, P., Dustdar, S.: Towards composition as a service - a quality of service driven approach. In: Proceedings of the 25th International Conference on Data Engineering (ICDE2010), March 2009, pp. 1733\u20131740 (2009)","DOI":"10.1109\/ICDE.2009.153"},{"key":"3_CR72","doi-asserted-by":"crossref","unstructured":"Rosenberg, F., Platzer, C., Dustdar, S.: Bootstrapping Performance and Dependability Attributes of Web Services. In: Proceedings of the IEEE International Conference on Web Services (ICWS\u201906), Chicago, USA, IEEE Computer Society (2006)","DOI":"10.1109\/ICWS.2006.39"},{"key":"3_CR73","unstructured":"Thatte, S.: XLANG - Web Services for Business Process Design. Microsoft Corporation (2001)"},{"key":"3_CR74","doi-asserted-by":"crossref","unstructured":"Skogan, D., Gronmo, R., Solheim, I.: Web Service Composition in UML. In: EDOC \u201904: Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International, pp. 47\u201357. IEEE Computer Society (2004)","DOI":"10.1109\/EDOC.2004.1342504"},{"key":"3_CR75","doi-asserted-by":"crossref","unstructured":"Song, X., Dou, W., Song, W.: A workflow framework for intelligent service composition. In: Workshops at the Grid and Pervasive Computing Conference, 0:11\u201318 (2009)","DOI":"10.1109\/GPC.2009.28"},{"key":"3_CR76","doi-asserted-by":"crossref","unstructured":"Su, J., Bultan, T., Fu, X., Zhao, X.: Towards a theory of web service choreographies. In: WS-FM, pp. 1\u201316 (2007)","DOI":"10.1007\/978-3-540-79230-7_1"},{"key":"3_CR77","unstructured":"Sycara, K., et al.: OWL-S 1.0 Release. OWL-S Coalition (2003), http:\/\/www.daml.org\/services\/owl-s\/1.0\/"},{"key":"3_CR78","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/978-3-642-01918-0_2","volume-title":"SFM","author":"W.M.P. Aalst van der","year":"2009","unstructured":"van der Aalst, W.M.P., Mooij, A.J., Stahl, C., Wolf, K.: Service interaction: Patterns, formalization, and analysis. In: Bernardo, M., Padovani, L., Zavattaro, G. (eds.) SFM. LNCS, vol.\u00a05569, pp. 42\u201388. Springer, Heidelberg (2009)"},{"issue":"3","key":"3_CR79","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W.M.P. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow Patterns. Distributed and Parallel Databases\u00a014(3), 5\u201351 (2003)","journal-title":"Distributed and Parallel Databases"},{"key":"3_CR80","unstructured":"W3C. Web Services Choreography Description Language Version 1.0. Candidate Recommendation, W3C (November 2005), http:\/\/www.w3.org\/TR\/2005\/CR-ws-cdl-10-20051109\/"},{"key":"3_CR81","doi-asserted-by":"crossref","unstructured":"Wiesemann, W., Hochreiter, R., Kuhn, D.: A Stochastic Programming Approach for QoS-Aware Service Composition. In: Proceedings of the 8th IEEE International Symposium on Cluster Computing and the Grid (CCGrid\u201908), Lyon, France (May 2008)","DOI":"10.1109\/CCGRID.2008.40"},{"key":"3_CR82","unstructured":"WS-AtomicTransaction Working Committee. Web Services Atomic Transaction (WS-AtomicTransaction). Version 1.1. OASIS Specification (April 2007)"},{"key":"3_CR83","unstructured":"WS-CF Working Comittee. Web Services Coordination Framework Specification (WS-CF) Version 1.0. OASIS Specification (December 2004)"},{"key":"3_CR84","doi-asserted-by":"crossref","unstructured":"Yang, H., Zhao, X., Qiu, Z., Pu, G., Wang, S.: A formal model for web service choreography description language. In: ICWS, pp. 893\u2013894. IEEE Computer Society (2006)","DOI":"10.1109\/ICWS.2006.3"},{"issue":"1","key":"3_CR85","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1145\/1232722.1232728","volume":"1","author":"T. Yu","year":"2007","unstructured":"Yu, T., Zhang, Y., Lin, K.-J.: Efficient Algorithms for Web Services Selection with End-to-End QoS Constraints. ACM Trans. Web\u00a01(1), 6 (2007)","journal-title":"ACM Trans. Web"},{"key":"3_CR86","series-title":"Lecture Notes in Computer Science","first-page":"145","volume-title":"On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE","author":"R. Meersman","year":"2006","unstructured":"Meersman, R., Tari, Z.: Let\u2019s dance: A language for service behavior modeling. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol.\u00a04275, pp. 145\u2013162. Springer, Heidelberg (2006)"},{"key":"3_CR87","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1145\/775152.775211","volume-title":"Proceedings of the 12th International Conference on World Wide Web (WWW\u201903)","author":"L. Zeng","year":"2003","unstructured":"Zeng, L., Benatallah, B., Dumas, M., Kalagnanam, J., Sheng, Q.Z.: Quality Driven Web Services Composition. In: Proceedings of the 12th International Conference on World Wide Web (WWW\u201903), New York, NY, USA, pp. 411\u2013421. ACM Press, New York (2003)"},{"issue":"5","key":"3_CR88","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1109\/TSE.2004.11","volume":"30","author":"L. Zeng","year":"2004","unstructured":"Zeng, L., Benatallah, B., Ngu, A.H.H., Dumas, M., Kalagnanam, J., Chang, H.: QoS-Aware Middleware for Web Services Composition. IEEE Transactions on Software Engineering\u00a030(5), 311\u2013327 (2004)","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Service Research Challenges and Solutions for the Future Internet"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17599-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T20:41:21Z","timestamp":1740775281000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17599-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642175985","9783642175992"],"references-count":88,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17599-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}