{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T04:40:21Z","timestamp":1742532021258,"version":"3.40.1"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2012,2,19]],"date-time":"2012-02-19T00:00:00Z","timestamp":1329609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1007\/s10270-012-0236-1","type":"journal-article","created":{"date-parts":[[2012,2,18]],"date-time":"2012-02-18T09:22:10Z","timestamp":1329556930000},"page":"349-367","source":"Crossref","is-referenced-by-count":19,"title":["A model for dynamic reconfiguration in service-oriented architectures"],"prefix":"10.1007","volume":"12","author":[{"given":"Jos\u00e9 Luiz","family":"Fiadeiro","sequence":"first","affiliation":[]},{"given":"Ant\u00f3nia","family":"Lopes","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,2,19]]},"reference":[{"key":"236_CR1","first-page":"358","volume-title":"FORTE. LNCS, vol. 4574","author":"J. Abreu","year":"2007","unstructured":"Abreu J., Bocchi L., Fiadeiro J.L., Lopes A.: Specifying and composing interaction protocols for service-oriented system modelling. In: Derrick, J., Vain, J. (eds) FORTE. LNCS, vol. 4574, pp. 358\u2013373. Springer, Berlin (2007)"},{"key":"236_CR2","first-page":"219","volume-title":"FMOODS\/FORTE. LNCS, vol. 5522","author":"J. Abreu","year":"2009","unstructured":"Abreu J., Mazzanti F., Fiadeiro J.L., Gnesi S.: A model-checking approach for service component architectures. In: Lee, D., Lopes, A., Poetzsch-Heffter, A. (eds) FMOODS\/FORTE. LNCS, vol. 5522, pp. 219\u2013224. Springer, Berlin (2009)"},{"key":"236_CR3","doi-asserted-by":"crossref","unstructured":"Allen, R., Douence, R., Garlan, D.: Specifying and analyzing dynamic software architectures. In: FASE, pp. 21\u201337 (1998)","DOI":"10.1007\/BFb0053581"},{"key":"236_CR4","first-page":"1","volume-title":"EWSA. LNCS, vol. 3527","author":"T.V. Batista","year":"2005","unstructured":"Batista T.V., Joolia A., Coulson G.: Managing dynamic reconfiguration in component-based systems. In: Morrison, R., Oquendo, F. (eds) EWSA. LNCS, vol. 3527, pp. 1\u201317. Springer, Berlin (2005)"},{"issue":"2","key":"236_CR5","doi-asserted-by":"crossref","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. J. ACM 44(2), 201\u2013236 (1997)","journal-title":"J. ACM"},{"key":"236_CR6","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/j.entcs.2009.03.020","volume":"236","author":"S. Bistarelli","year":"2009","unstructured":"Bistarelli S., Santini F.: A nonmonotonic soft concurrent constraint language for SLA negotiation. Electron. Notes Theor. Comput. Sci 236, 147\u2013162 (2009)","journal-title":"Electron. Notes Theor. Comput. Sci"},{"key":"236_CR7","doi-asserted-by":"crossref","unstructured":"Bocchi, L., Fiadeiro, J.L., Gilmore, S., Abreu, J., Solanki, M., Vankayala, V.: A formal approach to modelling time properties of service oriented systems. In: Handbook of Research on Non-Functional Properties for Service-Oriented Systems: Future Directions. Advances in Knowledge Management Book Series. IGI Global (2012, in press)","DOI":"10.4018\/978-1-61350-432-1.ch003"},{"issue":"1","key":"236_CR8","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.entcs.2009.09.025","volume":"253","author":"L. Bocchi","year":"2009","unstructured":"Bocchi L., Fiadeiro J.L., Lapadula A., Pugliese R., Tiezzi F.: From architectural to behavioural specification of services. Electron. Notes Theor. Comput. Sci 253(1), 3\u201321 (2009)","journal-title":"Electron. Notes Theor. Comput. Sci"},{"key":"236_CR9","doi-asserted-by":"crossref","unstructured":"Bocchi L., Fiadeiro J.L., Lopes A.: Service-oriented modelling of automotive systems. In: COMPSAC. IEEE Computer Society, pp. 1059\u20131064 (2008)","DOI":"10.1109\/COMPSAC.2008.228"},{"key":"236_CR10","first-page":"155","volume-title":"ISoLA. Communications in Computer and Information Science, vol. 17","author":"L. Bocchi","year":"2008","unstructured":"Bocchi L., Fiadeiro J.L., Lopes A.: A use-case driven approach to formal service-oriented modelling. In: Margaria, T., Steffen, B. (eds) ISoLA. Communications in Computer and Information Science, vol. 17, pp. 155\u2013169. Springer, Berlin (2008)"},{"key":"236_CR11","first-page":"92","volume-title":"WS-FM. LNCS, vol. 4937","author":"L. Bocchi","year":"2007","unstructured":"Bocchi L., Hong Y., Lopes A., Fiadeiro J.L.: From BPEL to SRML: A formal transformational approach. In: Dumas, M., Heckel, R. (eds) WS-FM. LNCS, vol. 4937, pp. 92\u2013107. Springer, Berlin (2007)"},{"key":"236_CR12","first-page":"38","volume-title":"WS-FM. LNCS, vol. 4184","author":"M. Boreale","year":"2006","unstructured":"Boreale M. et\u00a0al.: SCC: a service centered calculus. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds) WS-FM. LNCS, vol. 4184, pp. 38\u201357. Springer, Berlin (2006)"},{"key":"236_CR13","doi-asserted-by":"crossref","unstructured":"Broy, M.: From \u201cformal methods\u201d to system modeling. In: Jones, C.B., Liu, C.B., Woodcock, J. (eds.) Formal Methods and Hybrid Real-Time Systems. Lecture Notes in Computer Science, vol. 4700, pp. 24\u201344. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-75221-9_2"},{"key":"236_CR14","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/978-3-540-68679-8_4","volume-title":"Concurrency Graphs and Models. LNCS, vol. 5065","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., Nicola, R.D., Meseguer, J. (eds) Concurrency Graphs and Models. LNCS, vol. 5065, pp. 37\u201356. Springer, Berlin (2008)"},{"key":"236_CR15","doi-asserted-by":"crossref","unstructured":"Bruni, R., Lluch-Lafuente, A., Montanari, U., Tuosto, E.: Service oriented architectural design. In: Barthe,G., Fournet, G. (ed.) TGC. Lecture Notes in Computer Science, vol. 4912, pp. 186\u2013203. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-78663-4_14"},{"key":"236_CR16","doi-asserted-by":"crossref","unstructured":"Carbone, M., Honda, K., Yoshida, N.: Structured communication-centred programming for web services. In: De Nicola [18], pp. 2\u201317","DOI":"10.1007\/978-3-540-71316-6_2"},{"key":"236_CR17","doi-asserted-by":"crossref","unstructured":"Coulson, G., Blair, G.S., Grace, P., Ta\u00efani, F., Joolia, A., Lee, K., Ueyama, J., Sivaharan, T.: A generic component model for building systems software. ACM Trans. Comput. Syst. 26(1), (2008)","DOI":"10.1145\/1328671.1328672"},{"volume-title":"Programming Languages and Systems. LNCS, vol. 4421","year":"2007","key":"236_CR18","unstructured":"De Nicola, R. (ed): Programming Languages and Systems. LNCS, vol. 4421. Springer, Berlin (2007)"},{"issue":"8","key":"236_CR19","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/1278201.1278203","volume":"50","author":"A. Elfatatry","year":"2007","unstructured":"Elfatatry A.: Dealing with change: components versus services. Commun. ACM 50(8), 35\u201339 (2007)","journal-title":"Commun. ACM"},{"key":"236_CR20","unstructured":"Fargier, H., Lang, J., Schiex, T.: Mixed constraint satisfaction: a framework for decision problems under incomplete knowledge. In: AAAI\/IAAI, vol. 1, pp. 175\u2013180 (1996)"},{"key":"236_CR21","volume-title":"Categories for Software Engineering","author":"J.L. Fiadeiro","year":"2004","unstructured":"Fiadeiro J.L.: Categories for Software Engineering. Springer, Berlin (2004)"},{"key":"236_CR22","first-page":"70","volume-title":"ECSA. LNCS, vol. 6285","author":"J.L. Fiadeiro","year":"2010","unstructured":"Fiadeiro J.L., Lopes A.: A model for dynamic reconfiguration in service-oriented architectures. In: Babar, M.A., Gorton, I. (eds) ECSA. LNCS, vol. 6285, pp. 70\u201385. Springer, Berlin (2010)"},{"key":"236_CR23","unstructured":"Fiadeiro, J.L., Lopes, A., Abreu, J.: A formal model for service-oriented interactions. Sci. Comput. Program (2011, in print)"},{"issue":"4","key":"236_CR24","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1007\/s00165-010-0166-z","volume":"23","author":"J.L. Fiadeiro","year":"2011","unstructured":"Fiadeiro J.L., Lopes A., Bocchi L.: An abstract model of service discovery and binding. Formal Asp. Comput. 23(4), 433\u2013463 (2011)","journal-title":"Formal Asp. Comput."},{"key":"236_CR25","doi-asserted-by":"crossref","unstructured":"Fiadeiro, J.L., Lopes, A., Bocchi, L., Abreu, J.: The Sensoria reference modelling language. In: Wirsing and H\u00f6lzl [45], pp. 61\u2013114","DOI":"10.1007\/978-3-642-20401-2_5"},{"issue":"10","key":"236_CR26","doi-asserted-by":"crossref","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.R., Steenkiste P.: Rainbow: architecture-based self-adaptation with reusable infrastructure. IEEE Comput. 37(10), 46\u201354 (2004)","journal-title":"IEEE Comput."},{"key":"236_CR27","first-page":"353","volume-title":"Computer Performance Evaluation. LNCS, vol. 794","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) Computer Performance Evaluation. LNCS, vol. 794, pp. 353\u2013368. Springer, Berlin (1994)"},{"issue":"6","key":"236_CR28","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/508448.508470","volume":"45","author":"F. Kon","year":"2002","unstructured":"Kon F., Costa F.M., Blair G.S., Campbell R.H.: The case for reflective middleware. Commun. ACM 45(6), 33\u201338 (2002)","journal-title":"Commun. ACM"},{"key":"236_CR29","doi-asserted-by":"crossref","unstructured":"Lapadula, A., Pugliese, R., Tiezzi F.: A calculus for orchestration of web services. In: De Nicola [18], pp. 33\u201347","DOI":"10.1007\/978-3-540-71316-6_4"},{"key":"236_CR30","first-page":"74","volume-title":"CBSE. LNCS, vol. 6092","author":"M. L\u00e9ger","year":"2010","unstructured":"L\u00e9ger M., Ledoux T., Coupaye T.: Reliable dynamic reconfigurations in a reflective component model. In: Grunske, L., Reussner, R., Plasil, F. (eds) CBSE. LNCS, vol. 6092, pp. 74\u201392. Springer, Berlin (2010)"},{"issue":"1","key":"236_CR31","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1016\/j.jlap.2006.05.007","volume":"70","author":"R. Lucchi","year":"2007","unstructured":"Lucchi R., Mazzara M.: A \u03c0-calculus based semantics for WS-BPEL. J. Log. Algebr. Program. 70(1), 96\u2013118 (2007)","journal-title":"J. Log. Algebr. Program."},{"key":"236_CR32","doi-asserted-by":"crossref","unstructured":"Magee, J., Kramer J.: Dynamic structure in software architectures. In: SIGSOFT FSE, pp. 3\u201314 (1996)","DOI":"10.1145\/250707.239104"},{"key":"236_CR33","doi-asserted-by":"crossref","unstructured":"Morrison, R., Kirby, G.N.C., Balasubramaniam, D., Mickan, K., Oquendo, F., C\u00eempan, S., Warboys, B., Snowdon, B., Greenwood, R.M.: Support for evolving software architectures in the archware ADL. In: WICSA, pp. 69\u201378. IEEE Computer Society (2004)","DOI":"10.1109\/WICSA.2004.1310691"},{"issue":"3","key":"236_CR34","doi-asserted-by":"crossref","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 pi-calculus for specifying dynamic and mobile software architectures. ACM SIGSOFT Softw. Eng. Notes 29(3), 1\u201314 (2004)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"key":"236_CR35","first-page":"154","volume-title":"SOSE","author":"F. Oquendo","year":"2008","unstructured":"Oquendo F.: Formal approach for the development of business processes in terms of service-oriented architectures using \u03c0-ADL. In: Lee, J., Liang, D., Cheng, Y.C. (eds) SOSE, pp. 154\u2013159. IEEE Computer Society, Berlin (2008)"},{"issue":"5","key":"236_CR36","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1049\/ip-sen:19982296","volume":"145","author":"P. Oreizy","year":"1998","unstructured":"Oreizy P., Taylor R.N.: On the role of software architectures in runtime system reconfiguration. IEE Proc. Softw. 145(5), 137\u2013145 (1998)","journal-title":"IEE Proc. Softw."},{"key":"236_CR37","unstructured":"OSOA. Service component architecture: Building systems using a service oriented architecture, 2005. White paper available from http:\/\/www.osoa.org"},{"issue":"4","key":"236_CR38","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1145\/141874.141884","volume":"17","author":"D.E. Perry","year":"1992","unstructured":"Perry D.E., Wolf A.L.: Foundations for the study of software architecture. SIGSOFT Softw. Eng. Notes 17(4), 40\u201352 (1992)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"236_CR39","doi-asserted-by":"crossref","DOI":"10.1515\/9783112573426","volume-title":"Initial Computability, Algebraic Specifications, and Partial Algebras","author":"H. Reichel","year":"1987","unstructured":"Reichel H.: Initial Computability, Algebraic Specifications, and Partial Algebras. Oxford University Press Inc., New York (1987)"},{"key":"236_CR40","first-page":"273","volume-title":"ECSA. LNCS, vol. 5292","author":"M.L. Sanz","year":"2008","unstructured":"Sanz M.L., Qayyum Z., Cuesta C.E., Marcos E., Oquendo F.: Representing service-oriented architectural models using \u03c0-ADL. In: Morrison, R., Balasubramaniam, D., Falkner, K.E. (eds) ECSA. LNCS, vol. 5292, pp. 273\u2013280. Springer, Berlin (2008)"},{"key":"236_CR41","unstructured":"Simonot, M., Aponte V.: A declarative formal approach to dynamic reconfiguration. In: Proceedings of the 1st international workshop on Open component ecosystems, IWOCE\u201909, pp. 1\u201310. ACM, New York, 2009"},{"key":"236_CR42","first-page":"91","volume-title":"ASM. LNCS, vol. 5977","author":"A. Tiberghien","year":"2010","unstructured":"Tiberghien A., Merle P., Seinturier L.: Specifying self-configurable component-based systems with fractoy. In: Frappier, M., Gl\u00e4sser, U., Khurshid, S., Laleau, R., Reeves, S. (eds) ASM. LNCS, vol. 5977, pp. 91\u2013104. Springer, Berlin (2010)"},{"issue":"2","key":"236_CR43","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/S0167-6423(02)00036-9","volume":"44","author":"M. Wermelinger","year":"2002","unstructured":"Wermelinger M., Fiadeiro J.L.: A graph transformation approach to software architecture reconfiguration. Sci. Comput. Program. 44(2), 133\u2013155 (2002)","journal-title":"Sci. Comput. Program."},{"key":"236_CR44","doi-asserted-by":"crossref","unstructured":"Wermelinger, M., Lopes, A., Fiadeiro, J.L.: A graph based architectural (re)configuration language. In: ESEC \/ SIGSOFT FSE, pp. 21\u201332 (2001)","DOI":"10.1145\/503271.503213"},{"volume-title":"Rigorous Software Engineering for Service-Oriented Systems. LNCS, vol. 6582","year":"2011","key":"236_CR45","unstructured":"Wirsing, M., H\u00f6lzl, M. (eds): Rigorous Software Engineering for Service-Oriented Systems. LNCS, vol. 6582. Springer, Berlin (2011)"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0236-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-012-0236-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0236-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T04:24:22Z","timestamp":1742531062000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-012-0236-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,2,19]]},"references-count":45,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2013,5]]}},"alternative-id":["236"],"URL":"https:\/\/doi.org\/10.1007\/s10270-012-0236-1","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2012,2,19]]}}}