{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:22:12Z","timestamp":1761488532749},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642151132"},{"type":"electronic","value":"9783642151149"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","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-15114-9_8","type":"book-chapter","created":{"date-parts":[[2010,8,27]],"date-time":"2010-08-27T04:47:53Z","timestamp":1282884473000},"page":"70-85","source":"Crossref","is-referenced-by-count":13,"title":["A Model for Dynamic Reconfiguration in Service-Oriented Architectures"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 Luiz","family":"Fiadeiro","sequence":"first","affiliation":[]},{"given":"Ant\u00f3nia","family":"Lopes","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1007\/978-3-540-73196-2_23","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2007","author":"J. Abreu","year":"2007","unstructured":"Abreu, J., Bocchi, L., Fiadeiro, J., Lopes, A.: Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. In: Derrick, J., Vain, J. (eds.) FORTE 2007. LNCS, vol.\u00a04574, pp. 358\u2013373. Springer, Heidelberg (2007)"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-642-02138-1_15","volume-title":"Formal Techniques for Distributed Systems","author":"J. Abreu","year":"2009","unstructured":"Abreu, J., Mazzanti, F., Fiadeiro, J., Gnesi, S.: A Model-Checking Approach for Service Component Architectures. In: Lee, D., Lopes, A., Poetzsch-Heffter, A. (eds.) FMOODS 2009. LNCS, vol.\u00a05522, pp. 219\u2013224. Springer, Heidelberg (2009)"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/BFb0053581","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Allen","year":"1998","unstructured":"Allen, R., Douence, R., Garlan, D.: Specifying and analyzing dynamic software architectures. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol.\u00a01382, pp. 21\u201337. Springer, Heidelberg (1998)"},{"issue":"3","key":"8_CR4","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R. Allen","year":"1997","unstructured":"Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Trans. Softw. Eng. Methodol.\u00a06(3), 213\u2013249 (1997)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11494713_1","volume-title":"Software Architecture","author":"T. Batista","year":"2005","unstructured":"Batista, T., Joolia, A., Coulson, G.: Managing dynamic reconfiguration in component-based systems. In: Morrison, R., Oquendo, F. (eds.) EWSA 2005. LNCS, vol.\u00a03527, pp. 1\u201317. Springer, Heidelberg (2005)"},{"issue":"2","key":"8_CR6","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/256303.256306","volume":"44","author":"S. Bistarelli","year":"1997","unstructured":"Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. Journal ACM\u00a044(2), 201\u2013236 (1997)","journal-title":"Journal ACM"},{"key":"8_CR7","first-page":"147","volume":"236","author":"S. Bistarelli","year":"2009","unstructured":"Bistarelli, S., Santini, F.: A nonmonotonic soft concurrent constraint language for sla negotiation. ENTCS\u00a0236, 147\u2013162 (2009)","journal-title":"ENTCS"},{"key":"8_CR8","unstructured":"Bocchi, L., Fiadeiro, J., Gilmore, S., Abreu, J., Solanki, M., Vankayala, V.: A formal approach to modelling time properties of service oriented systems (submitted, 2009)"},{"key":"8_CR9","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-540-88479-8_12","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"L. Bocchi","year":"2008","unstructured":"Bocchi, L., Fiadeiro, J., Lopes, A.: A Use-Case Driven Approach to Formal Service-Oriented Modelling. In: Leveraging Applications of Formal Methods, Verification and Validation. CCIS, vol.\u00a017, pp. 155\u2013169. Springer, Heidelberg (2008)"},{"key":"8_CR10","first-page":"1059","volume-title":"The 32nd Annual IEEE International on Computer Software and Applications, COMPSAC 2008","author":"L. Bocchi","year":"2008","unstructured":"Bocchi, L., Fiadeiro, J., Lopes, A.: Service-oriented modelling of automotive systems. In: The 32nd Annual IEEE International on Computer Software and Applications, COMPSAC 2008, pp. 1059\u20131064. IEEE, Los Alamitos (2008)"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-79230-7_7","volume-title":"Web Services and Formal Methods","author":"L. Bocchi","year":"2008","unstructured":"Bocchi, L., Hong, Y., Lopes, A., Fiadeiro, J.: From bpel to srml: a formal transformational approach. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol.\u00a04937, pp. 92\u2013107. Springer, Heidelberg (2008)"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-540-68679-8_4","volume-title":"Concurrency, Graphs and Models","author":"R. Bruni","year":"2008","unstructured":"Bruni, R., Bucchiarone, A., Gnesi, S., Hirsch, D., Lluch Lafuente, A.: Graph-based design and analysis of dynamic software architectures. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol.\u00a05065, pp. 37\u201356. Springer, Heidelberg (2008)"},{"issue":"3","key":"8_CR13","first-page":"127","volume":"171","author":"M. Carbone","year":"2007","unstructured":"Carbone, M., Honda, K., Yoshida, N.: A calculus of global interaction based on session types. ENTCS\u00a0171(3), 127\u2013151 (2007)","journal-title":"ENTCS"},{"issue":"1","key":"8_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1328671.1328672","volume":"26","author":"G. Coulson","year":"2008","unstructured":"Coulson, G., Blair, G., Grace, P., Taiani, F., Joolia, A., Lee, K., Ueyama, J., Sivaharan, T.: A generic component model for building systems software. ACM Trans. Comput. Syst.\u00a026(1), 1\u201342 (2008)","journal-title":"ACM Trans. Comput. Syst."},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/11841197_3","volume-title":"Web Services and Formal Methods","author":"M. Boreale","year":"2006","unstructured":"Boreale, M., et al.: Scc: A service centered calculus. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 38\u201357. Springer, Heidelberg (2006)"},{"key":"8_CR16","unstructured":"Fargier, H., Lang, J., Martin-Clouaire, R., Schiex, T.: A constraint satisfaction framework for decision under uncertainty. In: Proc. of the 11th Int. Conf. on Uncertainty in Artificial Intelligence, pp. 175\u2013180 (1996)"},{"key":"8_CR17","unstructured":"Fiadeiro, J., Lopes, A., Bocchi, L.: An abstract model of service discovery and binding, \n                    \n                      http:\/\/www.cs.le.ac.uk\/people\/jfiadeiro"},{"key":"8_CR18","unstructured":"Fiadeiro, J., Lopes, A., Bocchi, L., Abreu, J.: The Sensoria reference modelling language, \n                    \n                      http:\/\/www.cs.le.ac.uk\/people\/jfiadeiro"},{"issue":"10","key":"8_CR19","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/MC.2004.175","volume":"37","author":"D. Garlan","year":"2004","unstructured":"Garlan, D., Cheng, S.-W., Huang, A.-C., Schmerl, B., Steenkiste, P.: Rainbow: Architecture-based self-adaptation with reusable infrastructure. Computer\u00a037(10), 46\u201354 (2004)","journal-title":"Computer"},{"key":"8_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/3-540-58021-2_20","volume-title":"Computer Performance Evaluation","author":"S. Gilmore","year":"1994","unstructured":"Gilmore, S., Hillston, J.: The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling. In: Haring, G., Kotsis, G. (eds.) TOOLS 1994. LNCS, vol.\u00a0794, pp. 353\u2013368. Springer, Heidelberg (1994)"},{"issue":"6","key":"8_CR21","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/508448.508470","volume":"45","author":"F. Kon","year":"2002","unstructured":"Kon, F., Costa, F., Blair, G., Campbell, R.H.: The case for reflective middleware. Communications ACM\u00a045(6), 33\u201338 (2002)","journal-title":"Communications ACM"},{"key":"8_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-540-71316-6_4","volume-title":"Programming Languages and Systems","author":"A. Lapadula","year":"2007","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: A Calculus for Orchestration of Web Services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 33\u201347. Springer, Heidelberg (2007)"},{"key":"8_CR23","unstructured":"Lucchi, R., Mazzara, M.: A pi-calculus based semantics for ws-bpel. Journal of Logic and Algebraic Programming (2005)"},{"issue":"6","key":"8_CR24","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/250707.239104","volume":"21","author":"J. Magee","year":"1996","unstructured":"Magee, J., Kramer, J.: Dynamic structure in software architectures. SIGSOFT Softw. Eng. Notes\u00a021(6), 3\u201314 (1996)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"8_CR25","unstructured":"Beisiegel, M., et al.: Service Component Architecture Specifications (2007)"},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"Morrison, R., Kirby, G., Balasubramaniam, D., Mickan, K., Oquendo, F., Cmpan, S., Warboys, B., Snowdon, B., Greenwood, R.: Support for evolving software architectures in the ArchWare ADL. In: 4th Working IEEE\/IFIP Conference on Software Architecture (2004)","DOI":"10.1109\/WICSA.2004.1310691"},{"issue":"3","key":"8_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/986710.986728","volume":"29","author":"F. Oquendo","year":"2004","unstructured":"Oquendo, F.: \u03c0-adl: an architecture description language based on the higher-order typed \u03c0-calculus for specifying dynamic and mobile software architectures. SIGSOFT Softw. Eng. Notes\u00a029(3), 1\u201314 (2004)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"8_CR28","doi-asserted-by":"crossref","unstructured":"Oquendo, F.: Formal approach for the development of business processes in terms of service-oriented architectures using pi-adl. In: SOSE, pp. 154\u2013159 (2008)","DOI":"10.1109\/SOSE.2008.38"},{"issue":"5","key":"8_CR29","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1049\/ip-sen:19982296","volume":"145","author":"P. Oreizy","year":"1998","unstructured":"Oreizy, P., Taylor, R.: On the role of software architectures in runtime system reconfiguration. IEEE Proceedings- Software Engineering\u00a0145(5), 137\u2013145 (1998)","journal-title":"IEEE Proceedings- Software Engineering"},{"issue":"4","key":"8_CR30","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/141874.141884","volume":"17","author":"D. Perry","year":"1992","unstructured":"Perry, D., Wolf, L.: Foundations for the study of software architecture. SIGSOFT Softw. Eng. Notes\u00a017(4), 40\u201352 (1992)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"8_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/978-3-540-88030-1_21","volume-title":"Software Architecture","author":"M. L\u00f3pez-Sanz","year":"2008","unstructured":"L\u00f3pez-Sanz, M., Qayyum, Z., Cuesta, C.E., Marcos, E., Oquendo, F.: Representing service-oriented architectural models using pi-adl. In: Morrison, R., Balasubramaniam, D., Falkner, K. (eds.) ECSA 2008. LNCS, vol.\u00a05292, pp. 273\u2013280. Springer, Heidelberg (2008)"},{"issue":"2","key":"8_CR32","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/S0167-6423(02)00036-9","volume":"44","author":"M. Wermelinger","year":"2002","unstructured":"Wermelinger, M., Fiadeiro, J.: A graph transformation approach to software architecture reconfiguration. Sci. Comput. Program.\u00a044(2), 133\u2013155 (2002)","journal-title":"Sci. Comput. Program."},{"key":"8_CR33","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/503209.503213","volume-title":"ESEC\/FSE-9","author":"M. Wermelinger","year":"2001","unstructured":"Wermelinger, M., Lopes, A., Fiadeiro, J.: A graph based architectural (re)configuration language. In: ESEC\/FSE-9, pp. 21\u201332. ACM, New York (2001)"}],"container-title":["Lecture Notes in Computer Science","Software Architecture"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15114-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,18]],"date-time":"2019-03-18T21:53:01Z","timestamp":1552945981000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15114-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642151132","9783642151149"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15114-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}