{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:08:34Z","timestamp":1771697314397,"version":"3.50.1"},"reference-count":80,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2008,9,5]],"date-time":"2008-09-05T00:00:00Z","timestamp":1220572800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Autom Softw Eng"],"published-print":{"date-parts":[[2008,12]]},"DOI":"10.1007\/s10515-008-0032-x","type":"journal-article","created":{"date-parts":[[2008,9,4]],"date-time":"2008-09-04T15:06:46Z","timestamp":1220540806000},"page":"313-341","source":"Crossref","is-referenced-by-count":185,"title":["A journey to highly dynamic, self-adaptive service-based applications"],"prefix":"10.1007","volume":"15","author":[{"given":"Elisabetta","family":"Di Nitto","sequence":"first","affiliation":[]},{"given":"Carlo","family":"Ghezzi","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Metzger","sequence":"additional","affiliation":[]},{"given":"Mike","family":"Papazoglou","sequence":"additional","affiliation":[]},{"given":"Klaus","family":"Pohl","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,9,5]]},"reference":[{"issue":"3","key":"32_CR1","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1109\/MPRV.2002.1037718","volume":"01","author":"G.D. Abowd","year":"2002","unstructured":"Abowd, G.D., Ebling, M., Gellersen, H.W., Hunt, G., Lei, H.: Guest editors\u2019 introduction: Context-aware computing. IEEE Pervasive Comput. 01(3), 22\u201323 (2002)","journal-title":"IEEE Pervasive Comput."},{"key":"32_CR2","unstructured":"Andrews, T. et\u00a0al.: Business process execution language for Web services. Tech. rep., IBM (2003) http:\/\/www.ibm.com\/developerworks\/library\/ws-bpel"},{"key":"32_CR3","doi-asserted-by":"crossref","unstructured":"Ant\u00f3n, A.: Goal-based requirements analysis. In: Proceedings of the 2nd International Conference on Requirements Engineering (ICRE\u00a0\u201996), April 15\u201318, 1996, Colorado Springs, Colorado, USA, pp.\u00a0136\u2013144. IEEE Computer Society","DOI":"10.1109\/ICRE.1996.491438"},{"key":"32_CR4","unstructured":"Arsanjani, A.: Service-oriented modeling and architecture. IBM developerWorks article (November 2004) http:\/\/www.ibm.com\/developerworks\/library\/ws-soa-design1"},{"issue":"1","key":"32_CR5","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1145\/1152934.1152937","volume":"1","author":"O. Babaoglu","year":"2006","unstructured":"Babaoglu, O., Canright, G., Deutsch, A., Di\u00a0Caro,\u00a0G., Ducatelle, F., Gambardella, L., Ganguly, N., Jelasity, M., Montemanni, R., Montresor, A., Urnes, T.: Design patterns from biology for distributed computing. ACM Trans. Auton. Adapt. Syst. 1(1), 26\u201366 (2006). http:\/\/doi.acm.org\/10.1145\/1152934.1152937","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"32_CR6","doi-asserted-by":"crossref","unstructured":"Bai, X., Chen, Y., Shao, Z.: Adaptive web services testing. In: 31st Annual International Computer Software and Applications Conference (COMPSAC 2007), pp. 233\u2013236 (2007a)","DOI":"10.1109\/COMPSAC.2007.53"},{"key":"32_CR7","doi-asserted-by":"crossref","unstructured":"Bai, X., Xu, D., Dai, G., Tsai, W., Chen, Y.: Dynamic reconfigurable testing of service-oriented architecture. In: 31st Annual International Computer Software and Applications Conference (COMPSAC 2007), vol.\u00a01, pp. 368\u2013375 (2007b)","DOI":"10.1109\/COMPSAC.2007.106"},{"key":"32_CR8","doi-asserted-by":"crossref","unstructured":"Baresi, L., Guinea, S.: Towards dynamic monitoring of ws-bpel processes. In: 3rd International Conference on Service-Oriented Computing (ICSOC 2005), pp. 269\u2013282 (2005)","DOI":"10.1007\/11596141_21"},{"key":"32_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-72912-9","volume-title":"Test and Analysis of Web Services","author":"L. Baresi","year":"2007","unstructured":"Baresi, L., Di\u00a0Nitto,\u00a0E.: Test and Analysis of Web Services. Springer, Berlin (2007)"},{"issue":"10","key":"32_CR10","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1109\/MC.2006.362","volume":"39","author":"L. Baresi","year":"2006","unstructured":"Baresi, L., Di\u00a0Nitto,\u00a0E., Ghezzi, C.: Toward open-world software: Issue and challenges. Comput. 39(10), 36\u201343 (2006)","journal-title":"Comput."},{"issue":"6","key":"32_CR11","first-page":"219","volume":"1","author":"L. Baresi","year":"2007","unstructured":"Baresi, L., Bianculli, D., Ghezzi, C., Guinea, S., Spoletini, P.: Validation of web service compositions. IET\u00a0Softw. 1(6), 219\u2013232 (2007)","journal-title":"IET\u00a0Softw."},{"issue":"4","key":"32_CR12","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/s11280-007-0025-x","volume":"10","author":"C. Batini","year":"2007","unstructured":"Batini, C., Bolchini, D., Ceri, S., Matera, M., Maurino, A., Paolini, P.: The UM-MAIS methodology for multi-channel adaptive Web information systems. World Wide Web 10(4), 349\u2013385 (2007)","journal-title":"World Wide Web"},{"key":"32_CR13","doi-asserted-by":"crossref","unstructured":"Benbernou, S., Meziane, H., Hacid, M.S.: Run-time monitoring for privacy-agreement compliance. In: 5th International Conference on Service-Oriented Computing (ICSOC 2007), pp. 353\u2013364 (2007)","DOI":"10.1007\/978-3-540-74974-5_29"},{"key":"32_CR14","first-page":"134","volume-title":"EUROMICRO-SEAA","author":"A. Bertolino","year":"2005","unstructured":"Bertolino, A., Polini, A.: The audition framework for testing web services interoperability. In: EUROMICRO-SEAA, pp. 134\u2013142. IEEE Computer Society, New York (2005)"},{"key":"32_CR15","doi-asserted-by":"crossref","unstructured":"Bianculli, D., Ghezzi, C., Spoletini, P.: A model checking approach to verify BPEL4WS workflows. In: IEEE International Conference on Service-Oriented Computing and Applications (SOCA 2007), pp.\u00a013\u201320 (2007)","DOI":"10.1109\/SOCA.2007.5"},{"key":"32_CR16","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/978-3-540-72912-9_3","volume-title":"Test and Analysis of Web Services","author":"T. Bultan","year":"2007","unstructured":"Bultan, T., Fu, X., Su, J.: Run-time monitoring in service-oriented architectures. In: Baresi, L., Di\u00a0Nitto,\u00a0E. (eds.) Test and Analysis of Web Services, pp. 57\u201385. Springer, Berlin (2007)"},{"key":"32_CR17","volume-title":"Business Process Management: Profiting from Process","author":"R. Burlton","year":"2001","unstructured":"Burlton, R.: Business Process Management: Profiting from Process. SAMS publishing, Indianapolis (2001)"},{"key":"32_CR18","unstructured":"Canfora, G., Di\u00a0Penta,\u00a0M.: SOA: Testing and self-checking. In: International Workshop on Web Services\u2014Modeling and Testing (WS-MaTE), pp. 3\u201312 (2006a)"},{"issue":"2","key":"32_CR19","first-page":"10","volume":"8","author":"G. Canfora","year":"2006","unstructured":"Canfora, G., Di\u00a0Penta,\u00a0M.: Testing services and service-centric systems: Challenges and opportunities. IT\u00a0Prof. 8(2), 10\u201317 (2006b)","journal-title":"IT\u00a0Prof."},{"key":"32_CR20","doi-asserted-by":"crossref","unstructured":"Charfi, A., Mezini, M.: Hybrid web service composition: Business processes meet business rules. In: 4th\u00a0International Conference on Service Oriented Computing (ICSOC 2004)","DOI":"10.1145\/1035167.1035173"},{"key":"32_CR21","doi-asserted-by":"crossref","unstructured":"Chhetri, M., Lin, J., Goh, S., Zhang, J., Kowalczyk, R., Yan, J.: A coordinated architecture for the agent-based service level agreement negotiation of Web service composition. In: Australian Software Engineering Conference (ASWEC\u201906), pp. 90\u201399 (2006)","DOI":"10.1109\/ASWEC.2006.1"},{"key":"32_CR22","doi-asserted-by":"crossref","unstructured":"Colombo, E., Mylopoulos, J., Spoletini, P.: Modeling and analyzing context-aware composition of services. In: 3rd International Conference on Service Oriented Computing (ICSOC 2005)","DOI":"10.1007\/11596141_16"},{"key":"32_CR23","doi-asserted-by":"crossref","unstructured":"Colombo, M., Di Nitto, E., Mauri, M.: Scene: A\u00a0service composition execution environment supporting dynamic changes disciplined through rules. In: ICSOC, pp.\u00a0191\u2013202 (2006)","DOI":"10.1007\/11948148_16"},{"key":"32_CR24","doi-asserted-by":"crossref","unstructured":"Comuzzi, M., Pernici, B.: An architecture for flexible Web service QoS negotiation. In: 9th IEEE International Enterprise Distributed Object Computing Conference (EDOC\u201905), pp. 70\u201382 (2005)","DOI":"10.1109\/EDOC.2005.4"},{"issue":"9","key":"32_CR25","doi-asserted-by":"crossref","first-page":"827","DOI":"10.1109\/32.950318","volume":"27","author":"G. Cugola","year":"2001","unstructured":"Cugola, G., Di\u00a0Nitto,\u00a0E., Fuggetta, A.: The JEDI event-based infrastructure and its application to the development of the OPSS WFMS. IEEE Trans. Softw. Eng. 27(9), 827\u2013850 (2001)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"32_CR26","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1109\/MC.2007.376","volume":"11","author":"F. Curbera","year":"2007","unstructured":"Curbera, F.: Components contracts in service-oriented architectures. IEEE Comput. 11, 74\u201380 (2007)","journal-title":"IEEE Comput."},{"key":"32_CR27","doi-asserted-by":"crossref","unstructured":"Dai, G., Bai, X., Wang, Y., Dai, F.: Contract-based testing for Web services. In: 31st Annual International Computer Software and Applications Conference (COMPSAC 2007), vol. 1, pp. 517\u2013524 (2007)","DOI":"10.1109\/COMPSAC.2007.100"},{"key":"32_CR28","doi-asserted-by":"crossref","unstructured":"de Almeida, L.F.J., Vergilio, S.R.: Exploring perturbation based testing for web services. In: IEEE International Conference on Web Services (ICWS 2006), pp. 717\u2013726 (2006)","DOI":"10.1109\/ICWS.2006.60"},{"key":"32_CR29","doi-asserted-by":"crossref","unstructured":"Deussen, P., Din, G., Schieferdecker, I.: A TTCN-3 based online test and validation platform for Internet services. In: 6th International Symposium on Autonomous Decentralized Systems (ISADS), pp. 177\u2013184 (2003)","DOI":"10.1109\/ISADS.2003.1193946"},{"key":"32_CR30","doi-asserted-by":"crossref","unstructured":"Devescovi, D., Di\u00a0Nitto,\u00a0E., Dubois, D., Mirandola, R.: Self-organization algorithms for autonomic systems in the selflet approach. In: 1st International Conference on Autonomic Computing and Communication Systems (Autonomics \u201907), pp. 1\u201310 (2007)","DOI":"10.4108\/ICST.AUTONOMICS2007.2176"},{"issue":"1","key":"32_CR31","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/s007790170019","volume":"5","author":"A. Dey","year":"2001","unstructured":"Dey, A.: Understanding and using context. Pers. Ubiquitous Comput. 5(1), 4\u20137 (2001)","journal-title":"Pers. Ubiquitous Comput."},{"key":"32_CR32","doi-asserted-by":"crossref","unstructured":"Di\u00a0Nitto,\u00a0E., Di\u00a0Penta,\u00a0M., Gambi, A., Ripa, G., Villani, M.: Negotiation of service level agreements: An architecture and a search-based approach. In: 5th International Conference on Service-Oriented Computing (ICSOC 2007), pp. 295\u2013306 (2007)","DOI":"10.1007\/978-3-540-74974-5_24"},{"key":"32_CR33","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/978-3-540-72912-9_8","volume-title":"Test and Analysis of Web Services","author":"M. Penta Di","year":"2007","unstructured":"Di\u00a0Penta,\u00a0M., Bruno, M., Esposito, G., Mazza, V., Canfora, G.: Web services regression testing. In: Baresi,\u00a0L., Di\u00a0Nitto,\u00a0E. (eds.) Test and Analysis of Web Services, pp. 205\u2013234. Springer, New York (2007)"},{"key":"32_CR34","doi-asserted-by":"crossref","unstructured":"Emmerich, W., Sventek, J., Aoyama, M.: The impact of research on the development of middleware technology. ACM Trans. Softw. Eng. Methodol. 17(4) (2008)","DOI":"10.1145\/13487689.13487692"},{"key":"32_CR35","volume-title":"Service-Oriented Architecture","author":"T. Erl","year":"2004","unstructured":"Erl, T.: Service-Oriented Architecture. Prentice-Hall, Englewood Cliffs (2004)"},{"key":"32_CR36","volume-title":"The Grid: Blueprint for a New Computing Infrastructure","author":"I. Foster","year":"2004","unstructured":"Foster, I., Kesselman, C.: The Grid: Blueprint for a New Computing Infrastructure. Morgan Kaufmann, Los Altos (2004)"},{"key":"32_CR37","unstructured":"Foster, I., Kesselman, C., Nick, J., Tuecke, S.: The physiology of the grid: An open grid services architecture for distributed systems integration (2002). citeseer.ist.psu.edu\/foster02physiology.html"},{"key":"32_CR38","doi-asserted-by":"crossref","unstructured":"Foster, H., Uchitel, S., Magee, J., Kramer, J.: LTSA-WS: A tool for model-based verification of web service compositions and choreography. In: 28th International Conference on Software Engineering (ICSE\u00a0\u201906), pp. 771\u2013774 (2006)","DOI":"10.1145\/1134285.1134408"},{"key":"32_CR39","doi-asserted-by":"crossref","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL Web services. In: 13th International Conference on World Wide Web (WWW 2004), pp. 621\u2013630 (2004)","DOI":"10.1145\/988672.988756"},{"issue":"12","key":"32_CR40","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/2.247645","volume":"26","author":"A. Fuggetta","year":"1993","unstructured":"Fuggetta, A.: A classification of case technology. Computer 26(12), 25\u201338 (1993). http:\/\/dx.doi.org\/10.1109\/2.247645","journal-title":"Computer"},{"key":"32_CR41","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/978-3-540-72912-9_9","volume-title":"Test and Analysis of Web Services","author":"C. Ghezzi","year":"2007","unstructured":"Ghezzi, C., Guinea, S.: Run-time monitoring in service-oriented architectures. In: Baresi, L., Di\u00a0Nitto,\u00a0E. (eds.) Test and Analysis of Web Services, pp. 237\u2013264. Springer, New York (2007)"},{"issue":"4","key":"32_CR42","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1109\/32.54292","volume":"16","author":"D. Harel","year":"1990","unstructured":"Harel, D., Lachover, H., Naamad, A., Pnueli, A., Politi, M., Sherman, R., Shtull-Trauring, A., Trakhtenbrot,\u00a0M.: STATEMATE: A working environment for the development of complex reactive systems. IEEE Trans. Softw. Eng. 16(4), 403\u2013414 (1990)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"32_CR43","doi-asserted-by":"crossref","unstructured":"Heckel, R., Mariani, L.: Automatic conformance testing of web services. In: Fundamental Approaches to Software Engineering (FASE 05). LNCS, pp. 34\u201348 (2005)","DOI":"10.1007\/978-3-540-31984-9_4"},{"key":"32_CR44","unstructured":"IBM-MB, IBM websphere message broker (2008). http:\/\/www-306.ibm.com\/software\/integration\/wbimessagebroker\/"},{"key":"32_CR45","volume-title":"Problem Frames: Analyzing and Structuring Software Development Problems","author":"M. Jackson","year":"2000","unstructured":"Jackson, M.: Problem Frames: Analyzing and Structuring Software Development Problems. Addison-Wesley Longman, Reading (2000)"},{"key":"32_CR46","unstructured":"Jaeger, M., Rojec-Goldmann, G., Muhl, G.: QoS aggregation for web service composition using workflow patterns. In: 8th IEEE International Enterprise Distributed Object Computing Conference (EDOC\u00a0\u201904), pp. 149\u2013159 (2004). http:\/\/dx.doi.org\/10.1109\/EDOC.2004.19"},{"key":"32_CR47","unstructured":"Jarke, M., Pohl, K.: Establishing visions in context: Toward a model of requirements processes. In: 14th International Conference on Information Systems (ICIS\u201993), pp. 23\u201334 (1993)"},{"key":"32_CR48","volume-title":"SOA in Practice: The Art of Distributed System Design","author":"N. Josuttis","year":"2007","unstructured":"Josuttis, N.: SOA in Practice: The Art of Distributed System Design. O\u2019Reilly Media, Sebastopol (2007)"},{"key":"32_CR49","unstructured":"Kavantzas, N.: Web services choreography description language 1.0. Tech. rep., W3C (2004)"},{"key":"32_CR50","unstructured":"Kaye, D.: Loosely Coupled: The Missing Pieces of Web Services. RDS Press (2003)"},{"key":"32_CR51","doi-asserted-by":"crossref","unstructured":"Kazhamiakin, R., Pistore, M.: A parametric communication model for the verification of BPEL4WS compositions. In: 15th International Conference on World Wide Web (WWW 2006)","DOI":"10.1007\/11549970_23"},{"issue":"1","key":"32_CR52","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"J. Kephart","year":"2003","unstructured":"Kephart, J., Chess, D.: The vision of autonomic computing. IEEE Comput. 36(1), 41\u201350 (2003)","journal-title":"IEEE Comput."},{"key":"32_CR53","unstructured":"Kreger, H. et\u00a0al.: Management using web services: A proposed architecture and roadmap. Tech. rep., IBM, HP and Computer Associates (2005). http:\/\/www-128.ibm.com\/developerworks\/library\/specification\/ws-mroadmap"},{"issue":"3","key":"32_CR54","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/s00799-006-0002-5","volume":"6","author":"A. Lazovik","year":"2006","unstructured":"Lazovik, A., Aiello, M., Papazoglou, M.: Planning and monitoring the execution of web service requests. Int. J. Digit. Libr. 6(3), 235\u2013246 (2006)","journal-title":"Int. J. Digit. Libr."},{"issue":"10","key":"32_CR55","doi-asserted-by":"crossref","first-page":"1201","DOI":"10.1002\/cpe.996","volume":"18","author":"F. Leymann","year":"2006","unstructured":"Leymann, F.: Choreography for the grid: Towards fitting BPEL to the resource framework. Concurr. Comput. Pract. Exp. 18(10), 1201\u20131217 (2006)","journal-title":"Concurr. Comput. Pract. Exp."},{"key":"32_CR56","series-title":"LNCS","first-page":"127","volume-title":"Third International Conference on Quality of Software Architectures (QoSA 2007)","author":"M. Marzolla","year":"2007","unstructured":"Marzolla, M., Mirandola, R.: Performance prediction of Web service workflows. In: Third International Conference on Quality of Software Architectures (QoSA 2007). LNCS, vol. 4880, p. 127. Springer, New York (2007)"},{"key":"32_CR57","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice-Hall, Englewood Cliffs (1997)","edition":"2"},{"key":"32_CR58","unstructured":"Miller, J., Mukerji, J.: Mda guide version 1.0.1. OMG report (2003)"},{"issue":"4","key":"32_CR59","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1145\/102675.102676","volume":"8","author":"J. Mylopoulos","year":"1990","unstructured":"Mylopoulos, J., Borgida, A., Jarke, M., Koubarakis, M.: Telos: Representing knowledge about information systems. ACM Trans. Inf. Syst. 8(4), 325\u2013362 (1990)","journal-title":"ACM Trans. Inf. Syst."},{"key":"32_CR60","unstructured":"Naur, P., Randell, B. (eds.): Software engineering: Report of a Conference Sponsored by the NATO Science Committee, Scientific Affairs Division, NATO (1968)"},{"key":"32_CR61","volume-title":"Web Services: Principles and Technology","author":"M. Papazoglou","year":"2007","unstructured":"Papazoglou, M.: Web Services: Principles and Technology. Addison-Wesley, Reading (2007)"},{"key":"32_CR62","volume-title":"Advanced Information Systems Engineering Conference (CAISE 2008)","author":"M. Papazoglou","year":"2008","unstructured":"Papazoglou, M.: The challenges of service evolution. In: Advanced Information Systems Engineering Conference (CAISE 2008). Springer, New York (2008a)"},{"key":"32_CR63","volume-title":"IFIP World Computer Congress Conference (WCC 2008)","author":"M. Papazoglou","year":"2008","unstructured":"Papazoglou, M.: Compliance requirements for business-process driven SOAs. In: IFIP World Computer Congress Conference (WCC 2008). Springer, New York (2008b)"},{"issue":"10","key":"32_CR64","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1145\/944217.944233","volume":"46","author":"M. Papazoglou","year":"2003","unstructured":"Papazoglou, M., Georgakopoulos, D.: Special issue: Service-oriented computing\u2014Introduction. Commun. ACM 46(10), 24\u201328 (2003)","journal-title":"Commun. ACM"},{"issue":"1","key":"32_CR65","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/s11761-007-0002-3","volume":"1","author":"M. Papazoglou","year":"2007","unstructured":"Papazoglou, M., Kratz, B.: Web services technology in support of business transactions. Service Oriented Comput. Appl. 1(1), 51\u201363 (2007)","journal-title":"Service Oriented Comput. Appl."},{"key":"32_CR66","unstructured":"Papazoglou, M., Pohl, K.: Report on longer term research challenges in software and services. Results from two workshops held at the European Commission premises at 8th of November 2007 and 28th and 29th of January 2008, European Commission, http:\/\/www.cordis.lu , with contributions from Boniface, M., Ceri, S., Hermenegildo, M., Inverardi, P., Leymann, F., Maiden, N., Metzger, A., Priol, T. (2008)"},{"issue":"12","key":"32_CR67","doi-asserted-by":"crossref","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"D. Parnas","year":"1972","unstructured":"Parnas, D.: On the criteria to be used in decomposing systems into modules. Commun. ACM 15(12), 1053\u20131058 (1972)","journal-title":"Commun. ACM"},{"key":"32_CR68","volume-title":"Mobile Information Systems: Infrastructure and Design for Adaptivity and Flexibility","year":"2006","unstructured":"Pernici, B. (ed.): Mobile Information Systems: Infrastructure and Design for Adaptivity and Flexibility. Springer, New York (2006)"},{"key":"32_CR69","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/978-3-540-72912-9_11","volume-title":"Test and Analysis of Web Services","author":"M. Pistore","year":"2007","unstructured":"Pistore, M., Traverso, P.: Assumption-based composition and monitoring of web services. In: Baresi, L., Di\u00a0Nitto,\u00a0E. (eds.) Test and Analysis of Web Services, pp. 307\u2013335. Springer, New York (2007)"},{"key":"32_CR70","doi-asserted-by":"crossref","unstructured":"Pistore, M., Traverso, P., Bertoli, P., Marconi, A.: Automated synthesis of executable Web service compositions from BPEL4WS processes. In: Special Track, 14th International Conference on World Wide Web (WWW 2005)","DOI":"10.1145\/1062745.1062931"},{"key":"32_CR71","unstructured":"Rolli, D., Luckner, S., Momm, C., Weinhardt, C.: A framework for composing electronic marketplaces\u2014From market structure to service implementation. In: 3rd Workshop on e-Business (WeB 2004), Washington, DC, USA (2004)"},{"key":"32_CR72","unstructured":"Royce, W.: Managing the development of large software systems. In: IEEE WESCON, San Francisco, CA, USA, pp. 1\u20139 (1970)"},{"issue":"1","key":"32_CR73","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1016\/j.is.2007.07.001","volume":"33","author":"A. Rozinat","year":"2008","unstructured":"Rozinat, A., van der Aalst, W.M.P.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64\u201395 (2008)","journal-title":"Inf. Syst."},{"key":"32_CR74","doi-asserted-by":"crossref","unstructured":"Ruth, M.E., Tu, S.: Towards automating regression test selection for web services. In: 16th International Conference on World Wide Web (WWW 2007), pp. 1265\u20131266 (2007)","DOI":"10.1145\/1242572.1242799"},{"key":"32_CR75","doi-asserted-by":"crossref","unstructured":"Solanki, M., Cau, A., Zedan, H.: Augmenting semantic Web service descriptions with compositional specification. In: 13th International Conference on World Wide Web (WWW 2004)","DOI":"10.1145\/988672.988746"},{"key":"32_CR76","doi-asserted-by":"crossref","unstructured":"Spanoudakis, G., Mahbub, K., Zisman, A.: A platform for context aware runtime web service discovery. In: 2007 IEEE International Conference on Web Services (ICWS 2007), pp. 233\u2013240 (2007)","DOI":"10.1109\/ICWS.2007.9"},{"key":"32_CR77","doi-asserted-by":"crossref","unstructured":"Traverso, P., Pistore, M.: Automatic composition of semantic Web services into executable processes. In: 3rd International Semantic Web Conference (ISWC 2004)","DOI":"10.1007\/978-3-540-30475-3_27"},{"issue":"3","key":"32_CR78","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1007\/s00766-005-0001-x","volume":"10","author":"W.M.P. Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P.: Business alignment: Using process mining as a tool for delta analysis and conformance testing. Requir. Eng. 10(3), 198\u2013211 (2005)","journal-title":"Requir. Eng."},{"key":"32_CR79","doi-asserted-by":"crossref","unstructured":"Yang, J., Papazoglou, M.: Service components for managing the life-cycle of service compositions. Inf. Syst. 28(1) (2004)","DOI":"10.1016\/S0306-4379(03)00051-6"},{"key":"32_CR80","doi-asserted-by":"crossref","unstructured":"Zachos, K., Maiden, N., Zhu, X., Jones, S.: Discovering web services to specify more complete system requirements. In: 19th International Conference on Advanced Information Systems Engineering (CAiSE 2007), pp. 142\u2013157 (2007)","DOI":"10.1007\/978-3-540-72988-4_11"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-008-0032-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10515-008-0032-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-008-0032-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,16]],"date-time":"2021-09-16T01:02:41Z","timestamp":1631754161000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10515-008-0032-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9,5]]},"references-count":80,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2008,12]]}},"alternative-id":["32"],"URL":"https:\/\/doi.org\/10.1007\/s10515-008-0032-x","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"value":"0928-8910","type":"print"},{"value":"1573-7535","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,9,5]]}}}