{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T08:26:17Z","timestamp":1759134377381},"reference-count":53,"publisher":"Springer Science and Business Media LLC","issue":"7","license":[{"start":{"date-parts":[[2012,3,29]],"date-time":"2012-03-29T00:00:00Z","timestamp":1332979200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[2012,7]]},"DOI":"10.1007\/s00607-012-0194-z","type":"journal-article","created":{"date-parts":[[2012,3,28]],"date-time":"2012-03-28T04:05:50Z","timestamp":1332907550000},"page":"579-617","source":"Crossref","is-referenced-by-count":17,"title":["DSOL: a declarative approach to self-adaptive service orchestrations"],"prefix":"10.1007","volume":"94","author":[{"given":"Gianpaolo","family":"Cugola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlo","family":"Ghezzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leandro Sales","family":"Pinto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,3,29]]},"reference":[{"key":"194_CR1","volume-title":"Service-oriented architecture: concepts, technology, and design","author":"T Erl","year":"2005","unstructured":"Erl T (2005) Service-oriented architecture: concepts, technology, and design. Prentice Hall PTR, Upper Saddle River"},{"key":"194_CR2","unstructured":"Alves A, Arkin A, Askary S, Bloch B, Curbera F, Goland Y, Kartha N, Liu CK, Konig D, Mehta V, Thatte S, van der Rijn D, Yendluri P, Yiu A (eds) (2006) Web Services Business Process Execution Language Version 2.0. Technical report, OASIS. http:\/\/www.oasis-open.org\/apps\/org\/workgroup\/wsbpel\/"},{"key":"194_CR3","unstructured":"White SA (2008) Business Process Modeling Notation, V1.1. Technical report, OMG. http:\/\/www.bpmn.org\/Documents\/BPMN_1-1_Specification.pdf"},{"key":"194_CR4","doi-asserted-by":"crossref","unstructured":"Maigre R (2010) Survey of the tools for automating service composition. In: 2010 IEEE international conference on web services (ICWS), 2010, pp 628\u2013629. doi: 10.1109\/ICWS.2010.72","DOI":"10.1109\/ICWS.2010.72"},{"key":"194_CR5","doi-asserted-by":"crossref","unstructured":"Rao J, Su X (2005) A survey of automated web service composition methods. In: LNCS, vol 3387. Springer, Berlin, pp 43\u201354","DOI":"10.1007\/978-3-540-30581-1_5"},{"key":"194_CR6","unstructured":"Java API for XML-based web services (JAX-WS) 2.0. http:\/\/jcp.org\/en\/jsr\/detail?id=224 . Accessed Nov 2011"},{"key":"194_CR7","unstructured":"Apache CXF: an open-source services framework. http:\/\/cxf.apache.org\/ . Accessed Nov 2011"},{"key":"194_CR8","unstructured":"Apache HttpComponents. http:\/\/hc.apache.org\/ . Accessed Nov 2011"},{"key":"194_CR9","unstructured":"Code Generation Library. http:\/\/cglib.sourceforge.net\/ . Accessed Nov 2011"},{"key":"194_CR10","unstructured":"Meneguzzi F, Luck M (2008) Leveraging new plans in AgentSpeak(PL). In: Baldoni M, Son TC, van Riemsdijk MB, Winikoff M (eds) Proceedings of the sixth workshop on declarative agent languages, pp 63\u201378"},{"key":"194_CR11","unstructured":"JavaGP-Java GraphPlan. http:\/\/emplan.sourceforge.net . Accessed Nov 2011"},{"issue":"1","key":"194_CR12","first-page":"1636","volume":"90","author":"AL Blum","year":"1995","unstructured":"Blum AL, Furst ML (1995) Fast planning through planning graph analysis. Artif Intell 90(1): 1636\u20131642","journal-title":"Artif Intell"},{"key":"194_CR13","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/s11280-006-0016-3","volume":"10","author":"A Charfi","year":"2007","unstructured":"Charfi A, Mezini M (2007) AO4BPEL: an aspect-oriented extension to BPEL. World Wide Web 10: 309\u2013344. doi: 10.1007\/s11280-006-0016-3","journal-title":"World Wide Web"},{"key":"194_CR14","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1080\/10864415.2005.11044328","volume":"9","author":"C Pautasso","year":"2005","unstructured":"Pautasso C, Alonso G (2005) Jopera: a toolkit for efficient visual composition of web services. Int J Electron Commer 9: 107\u2013141","journal-title":"Int J Electron Commer"},{"key":"194_CR15","doi-asserted-by":"crossref","unstructured":"Pautasso C (2009) Composing restful services with jopera. In: International conference on software composition, vol 5634. Springer, Zurich, pp 142\u2013159","DOI":"10.1007\/978-3-642-02655-3_11"},{"key":"194_CR16","unstructured":"Yahoo! Local Search Web Services. http:\/\/developer.yahoo.com\/search\/local\/V3\/localSearch.html . Accessed Nov 2011"},{"key":"194_CR17","unstructured":"Doodle APIs. http:\/\/doodle.com\/about\/APIs.html . Accessed Nov 2011"},{"key":"194_CR18","unstructured":"Google Static Maps API. http:\/\/code.google.com\/apis\/maps\/documentation\/staticmaps\/ . Accessed Nov 2011"},{"key":"194_CR19","unstructured":"The Google Places API. http:\/\/code.google.com\/apis\/maps\/documentation\/places\/ . Accessed Nov 2011"},{"key":"194_CR20","unstructured":"Yahoo! Place Finder. http:\/\/developer.yahoo.com\/geo\/placefinder\/ . Accessed Nov 2011"},{"key":"194_CR21","unstructured":"The Google Geocoding API. http:\/\/code.google.com\/apis\/maps\/documentation\/geocoding\/ . Accessed Nov 2011"},{"key":"194_CR22","unstructured":"Bing Maps APIs. http:\/\/msdn.microsoft.com\/en-us\/library\/dd877180.aspx . Accessed Nov 2011"},{"key":"194_CR23","unstructured":"Ghezzi C, Jazayeri M, Mandrioli D (2003) Fundamental of software engineering, 2nd edn. Prentice Hall PTR, Upper Saddle River"},{"key":"194_CR24","unstructured":"JBOSS jBPM. http:\/\/www.jboss.org\/jbpm . Accessed Nov 2011"},{"key":"194_CR25","doi-asserted-by":"crossref","unstructured":"Karastoyanova D, Leymann F (2009) Bpel\u2019n\u2019aspects: adapting service orchestration logic. In: IEEE international conference on web services, 2009. ICWS 2009, pp 222\u2013229. doi: 10.1109\/ICWS.2009.75","DOI":"10.1109\/ICWS.2009.75"},{"key":"194_CR26","unstructured":"Core J2EE Patterns\u2014Data Access Object. http:\/\/java.sun.com\/blueprints\/corej2eepatterns\/Patterns\/DataAccessObject.html . Accessed Nov 2011"},{"key":"194_CR27","doi-asserted-by":"crossref","unstructured":"Charfi A, Mezini M (2004) Hybrid web service composition: business processes meet business rules. In: Proceedings of the 2nd international conference on service oriented computing, ICSOC\u201904. ACM, New York, pp 30\u201338","DOI":"10.1145\/1035167.1035173"},{"key":"194_CR28","unstructured":"The AspectJ Project. http:\/\/www.eclipse.org\/aspectj\/ . Accessed Nov 2011"},{"key":"194_CR29","doi-asserted-by":"crossref","unstructured":"Sales Pinto L, Cugola G, Ghezzi C (2012) Dealing with changes in service orchestrations. In: Proceedings of the 2012 ACM symposium on applied computing, SAC\u201912 (to appear)","DOI":"10.1145\/2245276.2232100"},{"key":"194_CR30","volume-title":"The art of computer systems performance analysis: techniques for experimental design, measurement, simulation, and modeling","author":"R Jain","year":"1991","unstructured":"Jain R (1991) The art of computer systems performance analysis: techniques for experimental design, measurement, simulation, and modeling. Wiley, New York"},{"key":"194_CR31","unstructured":"Amazon EC2 Instance Types. http:\/\/aws.amazon.com\/ec2\/instance-types\/ . Accessed Nov 2011"},{"key":"194_CR32","unstructured":"ActiveBPEL. http:\/\/www.activebpel.com . Accessed Nov 2011"},{"key":"194_CR33","doi-asserted-by":"crossref","unstructured":"Montesi F, Guidi C, Lucchi R, Zavattaro G (2007) Jolie: a java orchestration language interpreter engine. Electron Notes Theor Comput Sci 181:19\u201333. doi: 10.1016\/j.entcs.2007.01.051","DOI":"10.1016\/j.entcs.2007.01.051"},{"key":"194_CR34","doi-asserted-by":"crossref","unstructured":"Kitchin D, Quark A, Cook W, Misra J (2009) The orc programming language. In: Proceedings of the joint 11th IFIP WG 6.1 international conference FMOODS\u201909 and 29th IFIP WG 6.1 international conference FORTE\u201909 on formal techniques for distributed systems, FMOODS\u201909\/FORTE\u201909. Springer, Berlin, pp 1\u201325","DOI":"10.1007\/978-3-642-02138-1_1"},{"key":"194_CR35","doi-asserted-by":"crossref","first-page":"3:1","DOI":"10.1145\/1658373.1658376","volume":"4","author":"M Montali","year":"2010","unstructured":"Montali M, Pesic M, Aalst WMP vd, Chesani F, Mello P, Storari S (2010) Declarative specification and verification of service choreographies. ACM Trans Web 4: 3:1\u20133:62","journal-title":"ACM Trans Web"},{"key":"194_CR36","doi-asserted-by":"crossref","unstructured":"van der Aalst W, Pesic M (2006) Decserflow: towards a truly declarative service flow language. In: Bravetti M, Nunez M, Zavattaro G (eds) Web services and formal methods. Lecture notes in computer science, vol 4184. Springer, Berlin, pp 1\u201323","DOI":"10.1007\/11841197_1"},{"key":"194_CR37","doi-asserted-by":"crossref","unstructured":"Greenwood D, Rimassa G (2007) Autonomic goal-oriented business process management. In: Third international conference on autonomic and autonomous systems, 2007. ICAS07, pp 43\u201348. doi: 10.1109\/CONIELECOMP.2007.61","DOI":"10.1109\/CONIELECOMP.2007.61"},{"key":"194_CR38","unstructured":"Burmeister B, Arnold M, Copaciu F, Rimassa G (2008) Bdi-agents for agile goal-oriented business processes. In: AAMAS\u201908: proceedings of the 7th international joint conference on autonomous agents and multiagent systems. International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, pp 37\u201344"},{"key":"194_CR39","doi-asserted-by":"crossref","unstructured":"Calisti M, Greenwood D (2008) Goal-oriented autonomic process modeling and execution for next generation networks. In: MACE\u201908: proceedings of the 3rd IEEE international workshop on modelling autonomic communications environments. Springer, Berlin, pp 38\u201349","DOI":"10.1007\/978-3-540-87355-6_4"},{"key":"194_CR40","doi-asserted-by":"crossref","unstructured":"Van Riemsdijk MB, Wirsing M (2007) Using goals for flexible service orchestration: a first step. In: AAMAS\u201907\/SOCASE\u201907: proceedings of the 2007 AAMAS international workshop and SOCASE 2007 conference on service-oriented computing. Springer, Berlin, pp 31\u201348","DOI":"10.1007\/978-3-540-72619-7_3"},{"key":"194_CR41","doi-asserted-by":"crossref","unstructured":"Rao AS (1996) AgentSpeak(L): BDI agents speak out in a logical computable language. In: MAAMAW\u201996: proceedings of the 7th European workshop on modelling autonomous agents in a multi-agent world: agents breaking away. Springer, New York, pp 42\u201355","DOI":"10.1007\/BFb0031845"},{"key":"194_CR42","doi-asserted-by":"crossref","unstructured":"Rao J, K\u00fcngas P, Matskin M (2006) Composition of semantic web services using linear logic theorem proving. Inf Syst 31:340\u2013360. doi: 10.1016\/j.is.2005.02.005","DOI":"10.1016\/j.is.2005.02.005"},{"key":"194_CR43","unstructured":"Burstein MH, Hobbs JR, Lassila O, Martin D, McDermott DV, McIlraith SA, Narayanan S, Paolucci M, Payne TR, Sycara KP (2002) Daml-s: web service description for the semantic web. In: Proceedings of the first international semantic web conference on the semantic web. Springer, London, pp 348\u2013363"},{"key":"194_CR44","unstructured":"McIlraith SA, Son TC (2002) Adapting golog for composition of semantic web services. In: Proceedings of the 8th international conference on principles and knowledge representation and reasoning (KR-02), pp 482\u2013496"},{"key":"194_CR45","doi-asserted-by":"crossref","unstructured":"Wu D, Parsia B, Sirin E, Hendler J, Nau D, Nau D (2003) Automating daml-s web services composition using shop2. In: Proceedings of 2nd international semantic web conference (ISWC2003), pp 195\u2013210","DOI":"10.1007\/978-3-540-39718-2_13"},{"issue":"3\u20134","key":"194_CR46","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1016\/j.artint.2009.12.002","volume":"174","author":"P Bertoli","year":"2010","unstructured":"Bertoli P, Pistore M, Traverso P (2010) Automated composition of web services via planning in asynchronous domains. Artif Intell 174(3\u20134): 316\u2013361","journal-title":"Artif Intell"},{"key":"194_CR47","unstructured":"Ponnekanti SR, Fox A (2002) SWORD: a developer toolkit for web service composition. In: Proceedings of the 11th international WWW Conference (WWW2002), Honolulu, HI, USA"},{"key":"194_CR48","doi-asserted-by":"crossref","unstructured":"Lazovik A, Aiello M, Papazoglou M (2006) Planning and monitoring the execution of web service requests. Int J Digit Libr 6:235\u2013246. doi: 10.1007\/s00799-006-0002-5","DOI":"10.1007\/s00799-006-0002-5"},{"key":"194_CR49","doi-asserted-by":"crossref","unstructured":"Ardagna D, Pernici B (2007) Adaptive service composition in flexible processes. IEEE Trans Softw Eng 33(6):369\u2013384. doi: 10.1109\/TSE.2007.1011","DOI":"10.1109\/TSE.2007.1011"},{"key":"194_CR50","doi-asserted-by":"crossref","unstructured":"Aggarwal R, Verma K, Miller J, Milnor W (2004) Constraint driven web service composition in meteor-s. In: Proceedings of the 2004 IEEE international conference on services computing. IEEE Computer Society, Washington, DC, USA, pp 23\u201330","DOI":"10.1109\/SCC.2004.1357986"},{"key":"194_CR51","doi-asserted-by":"crossref","unstructured":"Zeng L, Benatallah B, Ngu AHH, Dumas M, Kalagnanam J, Chang H (2004) Qos-aware middleware for web services composition. IEEE Trans Softw Eng 30:311\u2013327. doi: 10.1109\/TSE.2004.11","DOI":"10.1109\/TSE.2004.11"},{"key":"194_CR52","doi-asserted-by":"crossref","unstructured":"Kramer J, Magee J (2007) Self-managed systems: an architectural challenge. In: FOSE\u201907: 2007 future of software engineering. IEEE Computer Society, Washington, DC, USA, pp 259\u2013268. doi: 10.1109\/FOSE.2007.19","DOI":"10.1109\/FOSE.2007.19"},{"key":"194_CR53","doi-asserted-by":"crossref","unstructured":"Sykes D, Heaven W, Magee J, Kramer J (2008) From goals to components: a combined approach to self-management. In: SEAMS\u201908: proceedings of the 2008 international workshop on software engineering for adaptive and self-managing systems. ACM, New York, NY, USA, pp 1\u20138. doi: 10.1145\/1370018.1370020","DOI":"10.1145\/1370018.1370020"}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-012-0194-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00607-012-0194-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-012-0194-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,4]],"date-time":"2020-07-04T23:34:59Z","timestamp":1593905699000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00607-012-0194-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3,29]]},"references-count":53,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2012,7]]}},"alternative-id":["194"],"URL":"https:\/\/doi.org\/10.1007\/s00607-012-0194-z","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,3,29]]}}}