{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,24]],"date-time":"2026-10-24T19:35:10Z","timestamp":1792870510762,"version":"4.5.0"},"publisher-location":"Berlin, Heidelberg","reference-count":43,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540200833","type":"print"},{"value":"9783540398004","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39800-4_8","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T00:54:22Z","timestamp":1294361662000},"page":"148-181","source":"Crossref","is-referenced-by-count":9,"title":["Architecture Based Evolution of Software Systems"],"prefix":"10.1007","author":[{"given":"Luis Filipe","family":"Andrade","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jos\u00e9 Luiz","family":"Fiadeiro","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"3","key":"8_CR1","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 Connectors. ACM TOSEM\u00a06(3), 213\u2013249 (1997)","journal-title":"ACM TOSEM"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"566","DOI":"10.1007\/3-540-46852-8_40","volume-title":"\u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard","author":"L.F. Andrade","year":"1999","unstructured":"Andrade, L.F., Fiadeiro, J.L.: Interconnecting Objects via Contracts. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol.\u00a01723, pp. 566\u2013583. Springer, Heidelberg (1999)"},{"key":"8_CR3","first-page":"1","volume-title":"Practical Foundations of Business and System Specifications","author":"L.F. Andrade","year":"2003","unstructured":"Andrade, L.F., Fiadeiro, J.L.: Service-Oriented Business and System Specification: Beyond Object-orientation. In: Kilov, H., Baclwaski, K. (eds.) Practical Foundations of Business and System Specifications, pp. 1\u201323. Kluwer Academic Publishers, Dordrecht (2003)"},{"key":"8_CR4","unstructured":"Andrade, L.F., Fiadeiro, J.L., Lopes, A., Wermelinger, M.: Architectural Techniques for Evolving Control Systems. In: Tarnai, G., Schnieder, E. (eds.) Formal Methods for Railway Operation and Control Systems. L\u2019Harmattan Press (2003)"},{"issue":"5","key":"8_CR5","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1002\/smr.260","volume":"14","author":"L.F. Andrade","year":"2002","unstructured":"Andrade, L.F., Gouveia, J., Koutsoukos, G., Fiadeiro, J.L.: Coordination Contracts, Evolution and Tools. Journal on Software Maintenance and Evolution: Research and Practice\u00a014(5), 353\u2013369 (2002)","journal-title":"Journal on Software Maintenance and Evolution: Research and Practice"},{"issue":"4","key":"8_CR6","first-page":"513","volume":"10","author":"R. Back","year":"1988","unstructured":"Back, R., Kurki-Suonio, R.: Distributed Cooperation with Action Systems. ACM TO-PLAS\u00a010(4), 513\u2013554 (1988)","journal-title":"ACM TO-PLAS"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"518","DOI":"10.1007\/3-540-46852-8_37","volume-title":"\u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard","author":"R.J. Back","year":"1999","unstructured":"Back, R.J., Petre, L., Paltor, I.: Analysing UML Use Cases as Contracts. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol.\u00a01723, pp. 518\u2013533. Springer, Heidelberg (1999)"},{"key":"8_CR8","volume-title":"Software Architecture in Practice","author":"L. Bass","year":"1998","unstructured":"Bass, L., Clements, P., Kasman, R.: Software Architecture in Practice. Addison-Wesley, Reading (1998)"},{"key":"8_CR9","volume-title":"The Unified Modeling Language User Guide","author":"G. Booch","year":"1998","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1998)"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Elrad, T., Filman, R., Bader, A.(Guest eds.): Special Issue on Aspect Oriented Programming. Communications of the ACM\u00a044(10) (October 2001)","DOI":"10.1145\/383845.383853"},{"key":"8_CR11","unstructured":"Endler, M., Wei, J.: Programming Generic Dynamic Reconfigurations for Distributed Applications. In: Proc. 1st Intl. Workshop on Configurable Distributed Systems, pp. 68\u201379 (1992)"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1007\/978-3-540-44616-3_25","volume-title":"Recent Trends in Algebraic Development Techniques","author":"J.L. Fiadeiro","year":"2000","unstructured":"Fiadeiro, J.L., Marti-Oliet, N., Maibaum, T., Meseguer, J., Pita, I.: Towards a Verification Logic for Rewriting Logic. In: Bert, D., Choppy, C., Mosses, P.D. (eds.) WADT 1999. LNCS, vol.\u00a01827, pp. 438\u2013458. Springer, Heidelberg (2000)"},{"key":"8_CR13","unstructured":"Fiadeiro, J.L., Lopes, A., Wermelinger, M.: A Mathematical Semantics for Architectural Connectors. In: Backhouse, R., Gibbons, J. (eds.) Generic Programming. LNCS. Springer, Heidelberg (in print)"},{"issue":"10","key":"8_CR14","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1145\/352183.352204","volume":"43","author":"P. Finger","year":"2000","unstructured":"Finger, P.: Componend-Based Frameworks for E-Commerce. Communications of the ACM\u00a043(10), 61\u201366 (2000)","journal-title":"Communications of the ACM"},{"key":"8_CR15","volume-title":"Design Patterns: Elements of Reusable Object Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object Oriented Software. Addison-Wesley, Reading (1995)"},{"issue":"2","key":"8_CR16","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/129630.129635","volume":"35","author":"D. Gelernter","year":"1992","unstructured":"Gelernter, D., Carriero, N.: Coordination Languages and their Significance. Communications ACM\u00a035(2), 97\u2013107 (1992)","journal-title":"Communications ACM"},{"key":"8_CR17","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1109\/TOOLS.2001.911772","volume-title":"Technology of Object-Oriented Languages and Systems -TOOLS 38","author":"J. Gouveia","year":"2001","unstructured":"Gouveia, J., Koutsoukos, G., Andrade, L., Fiadeiro, J.: Tool Support for Coordination-Based Software Evolution. In: Pree, W. (ed.) Technology of Object-Oriented Languages and Systems -TOOLS 38, pp. 184\u2013196. IEEE Press, Los Alamitos (2001)"},{"key":"8_CR18","volume-title":"Business Component Factory","author":"P. Herzum","year":"2000","unstructured":"Herzum, P., Sims, O.: Business Component Factory. Wiley, Chichester (2000)"},{"issue":"10","key":"8_CR19","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1145\/352183.352198","volume":"43","author":"J. Hopkins","year":"2000","unstructured":"Hopkins, J.: Component Primer. Communications of the ACM\u00a043(10), 27\u201330 (2000)","journal-title":"Communications of the ACM"},{"key":"8_CR20","unstructured":"Kent, W.: Participants and Performers: A Basis for Classifying Object Models. In: Proc. OOPSLA 1993 Workshop on Specification of Behavioral Semantics in Object-Oriented Information Modeling (1993)"},{"key":"8_CR21","volume-title":"Business Models","author":"H. Kilov","year":"2002","unstructured":"Kilov, H.: Business Models. Prentice-Hall, Englewood Cliffs (2002)"},{"key":"8_CR22","volume-title":"Information Modeling: an Object-oriented Approach","author":"H. Kilov","year":"1994","unstructured":"Kilov, H., Ross, J.: Information Modeling: an Object-oriented Approach. Prentice-Hall, Englewood Cliffs (1994)"},{"key":"8_CR23","first-page":"133","volume-title":"New Developments on Distributed Applications and Interoperable Systems","author":"G. Koutsoukos","year":"2001","unstructured":"Koutsoukos, G., Gouveia, J., Andrade, L., Fiadeiro, J.L.: Managing Evolution in Telecommunications Systems. In: Zielinski, K., Geihs, K., Laurentowski, A. (eds.) New Developments on Distributed Applications and Interoperable Systems, pp. 133\u2013139. Kluwer Academic Publishers, Dordrecht (2001)"},{"key":"8_CR24","unstructured":"Koutsoukos, G., Kotridis, T., Andrade, L., Fiadeiro, J.L., Gouveia, J., Wermelinger, M.: Coordination technologies for business strategy support: a case study in stock-trading. In: Corchuelo, R., Ruiz, A., Toro, M. (eds.) Advances in Business Solutions, pp. 45\u201356. Catedral Publications (2002)"},{"key":"8_CR25","first-page":"374","volume-title":"Proceedings CompEuro 1990","author":"J. Kramer","year":"1990","unstructured":"Kramer, J.: Configuration Programming - A Framework for the Development of Distributable Systems. In: Proceedings CompEuro 1990, pp. 374\u2013384. IEEE Computer Society Press, Los Alamitos (1990)"},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"Kramer, J.: Exoskeletal Software. In: Proc. 16th ICSE, p. 366 (1994)","DOI":"10.1109\/ICSE.1994.296802"},{"key":"8_CR27","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4039-1466-8","volume-title":"Software Design in Java 2","author":"K. Lano","year":"2002","unstructured":"Lano, K., Fiadeiro, J., Andrade, L.: Software Design in Java 2. Palgrave-Macmillan, Oxford (2002)"},{"key":"8_CR28","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/587051.587058","volume-title":"SIGSOFT 2002\/FSE-10","author":"A. Lopes","year":"2002","unstructured":"Lopes, A., Fiadeiro, J., Wermelinger, M.: Architectural Primitives for Distribution and Mobility. In: SIGSOFT 2002\/FSE-10, pp. 41\u201350. ACM Press, New York (2002)"},{"key":"8_CR29","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/239098.239104","volume-title":"4th Symp. on Foundations of Software Engineering","author":"J. Magee","year":"1996","unstructured":"Magee, J., Kramer, J.: Dynamic Structure in Software Architectures. In: 4th Symp. on Foundations of Software Engineering, pp. 3\u201314. ACM Press, New York (1996)"},{"issue":"1","key":"8_CR30","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/32.825767","volume":"26","author":"N. Medvidovic","year":"2000","unstructured":"Medvidovic, N., Taylor, R.: A Classification and Comparison Framework for Software Architecture Description Languages. IEEE Trans. on Software Eng.\u00a026(1), 70\u201393 (2000)","journal-title":"IEEE Trans. on Software Eng."},{"key":"8_CR31","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1023\/A:1008765200695","volume":"7","author":"T. Mens","year":"2000","unstructured":"Mens, T., D\u2019Hondt, T.: Automating Support for Software Evolution in UML. Automated Software Engineering Journal\u00a07, 39\u201359 (2000)","journal-title":"Automated Software Engineering Journal"},{"issue":"25","key":"8_CR32","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.161279","volume":"10","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying Design by Contract. IEEE Computer\u00a010(25), 40\u201351 (1992)","journal-title":"IEEE Computer"},{"issue":"3","key":"8_CR33","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1145\/352591.352592","volume":"9","author":"N. Minsky","year":"2000","unstructured":"Minsky, N., Ungureanu, V.: Law-Governed Interaction: A Coordination & Control Mechanism for Heterogeneous Distributed Systems. ACM TOSEM\u00a09(3), 273\u2013305 (2000)","journal-title":"ACM TOSEM"},{"key":"8_CR34","unstructured":"Moazami-Goudarzi, K.: Consistency Preserving Dynamic Reconfiguration of Distributed Systems, PhD Thesis, Imperial College London (1999)"},{"key":"8_CR35","unstructured":"Monroe, R.: Capturing Software Architecture Design Expertise with Armani, Tech. Rep. CMU-CS-98-163, School of Computer Science, Carnegie Mellon University (October 1998)"},{"key":"8_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1007\/3-540-57342-9_91","volume-title":"Object Technologies for Advanced Software","author":"D. Notkin","year":"1993","unstructured":"Notkin, D., Garlan, D., Griswold, W., Sullivan, K.: Adding Implicit Invocation to Languages: Three Approaches. In: Nishio, S., Yonezawa, A. (eds.) ISOTAS 1993. LNCS, vol.\u00a0742, pp. 489\u2013510. Springer, Heidelberg (1993)"},{"key":"8_CR37","volume-title":"Proc. ICSE 1998","author":"P. Oreizy","year":"1998","unstructured":"Oreizy, P., Medvidovic, N., Taylor, R.: Architecture-based Runtime Software Evolution. In: Proc. ICSE 1998. IEEE Computer Science Press, Los Alamitos (1998)"},{"issue":"4","key":"8_CR38","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/141874.141884","volume":"17","author":"D. Perry","year":"1992","unstructured":"Perry, D., Wolf, A.: Foundations for the Study of Software Architectures. ACM SIGSOFT Software Engineering Notes\u00a017(4), 40\u201352 (1992)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"8_CR39","unstructured":"Snoeck, M., Dedene, G., Verhels, M., Depuydt, A.-M.: Object-oriented Enterprise Modelling with MERODE. Leuvense Universitaire Press (1999)"},{"key":"8_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0030517","volume-title":"Studies of Software Design","author":"M. Shaw","year":"1996","unstructured":"Shaw, M.: Procedure Calls are the Assembly Language of Software Interconnection: Connectors Deserve First-Class Status. In: Lamb, D.A. (ed.) ICSE-WS 1993. LNCS, vol.\u00a01078. Springer, Heidelberg (1996)"},{"key":"8_CR41","volume-title":"Software Architecture: Perspectives on an Emerging Discipline","author":"M. Shaw","year":"1996","unstructured":"Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, Englewood Cliffs (1996)"},{"key":"8_CR42","volume-title":"Component Software: Beyond Object-Oriented Programming","author":"C. Szyperski","year":"1998","unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Addison-Wesley, Reading (1998)"},{"key":"8_CR43","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/503209.503213","volume-title":"ESEC\/FSE 2001","author":"M. Wermelinger","year":"2001","unstructured":"Wermelinger, M., Lopes, A., Fiadeiro, J.L.: A Graph Based Architectural (Re)configuration Language. In: Gruhn, V. (ed.) ESEC\/FSE 2001, pp. 21\u201332. ACM Press, New York (2001)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Software Architectures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39800-4_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T09:15:32Z","timestamp":1553332532000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39800-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540200833","9783540398004"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39800-4_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003]]}}}