Abstract
Although architectural concepts and techniques have been considered mainly as a means of controlling the complexity of developing software, we argue, and demonstrate, that they can play a vital role in supporting current needs for systems that can evolve and adapt, in run-time, to changes that occur in the application or business domain in which they operate.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Allen, R., Garlan, D.: A Formal Basis for Architectural Connectors. ACM TOSEM 6(3), 213–249 (1997)
Andrade, L.F., Fiadeiro, J.L.: Interconnecting Objects via Contracts. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol. 1723, pp. 566–583. Springer, Heidelberg (1999)
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–23. Kluwer Academic Publishers, Dordrecht (2003)
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’Harmattan Press (2003)
Andrade, L.F., Gouveia, J., Koutsoukos, G., Fiadeiro, J.L.: Coordination Contracts, Evolution and Tools. Journal on Software Maintenance and Evolution: Research and Practice 14(5), 353–369 (2002)
Back, R., Kurki-Suonio, R.: Distributed Cooperation with Action Systems. ACM TO-PLAS 10(4), 513–554 (1988)
Back, R.J., Petre, L., Paltor, I.: Analysing UML Use Cases as Contracts. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol. 1723, pp. 518–533. Springer, Heidelberg (1999)
Bass, L., Clements, P., Kasman, R.: Software Architecture in Practice. Addison-Wesley, Reading (1998)
Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1998)
Elrad, T., Filman, R., Bader, A.(Guest eds.): Special Issue on Aspect Oriented Programming. Communications of the ACM 44(10) (October 2001)
Endler, M., Wei, J.: Programming Generic Dynamic Reconfigurations for Distributed Applications. In: Proc. 1st Intl. Workshop on Configurable Distributed Systems, pp. 68–79 (1992)
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. 1827, pp. 438–458. Springer, Heidelberg (2000)
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)
Finger, P.: Componend-Based Frameworks for E-Commerce. Communications of the ACM 43(10), 61–66 (2000)
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object Oriented Software. Addison-Wesley, Reading (1995)
Gelernter, D., Carriero, N.: Coordination Languages and their Significance. Communications ACM 35(2), 97–107 (1992)
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–196. IEEE Press, Los Alamitos (2001)
Herzum, P., Sims, O.: Business Component Factory. Wiley, Chichester (2000)
Hopkins, J.: Component Primer. Communications of the ACM 43(10), 27–30 (2000)
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)
Kilov, H.: Business Models. Prentice-Hall, Englewood Cliffs (2002)
Kilov, H., Ross, J.: Information Modeling: an Object-oriented Approach. Prentice-Hall, Englewood Cliffs (1994)
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–139. Kluwer Academic Publishers, Dordrecht (2001)
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–56. Catedral Publications (2002)
Kramer, J.: Configuration Programming - A Framework for the Development of Distributable Systems. In: Proceedings CompEuro 1990, pp. 374–384. IEEE Computer Society Press, Los Alamitos (1990)
Kramer, J.: Exoskeletal Software. In: Proc. 16th ICSE, p. 366 (1994)
Lano, K., Fiadeiro, J., Andrade, L.: Software Design in Java 2. Palgrave-Macmillan, Oxford (2002)
Lopes, A., Fiadeiro, J., Wermelinger, M.: Architectural Primitives for Distribution and Mobility. In: SIGSOFT 2002/FSE-10, pp. 41–50. ACM Press, New York (2002)
Magee, J., Kramer, J.: Dynamic Structure in Software Architectures. In: 4th Symp. on Foundations of Software Engineering, pp. 3–14. ACM Press, New York (1996)
Medvidovic, N., Taylor, R.: A Classification and Comparison Framework for Software Architecture Description Languages. IEEE Trans. on Software Eng. 26(1), 70–93 (2000)
Mens, T., D’Hondt, T.: Automating Support for Software Evolution in UML. Automated Software Engineering Journal 7, 39–59 (2000)
Meyer, B.: Applying Design by Contract. IEEE Computer 10(25), 40–51 (1992)
Minsky, N., Ungureanu, V.: Law-Governed Interaction: A Coordination & Control Mechanism for Heterogeneous Distributed Systems. ACM TOSEM 9(3), 273–305 (2000)
Moazami-Goudarzi, K.: Consistency Preserving Dynamic Reconfiguration of Distributed Systems, PhD Thesis, Imperial College London (1999)
Monroe, R.: Capturing Software Architecture Design Expertise with Armani, Tech. Rep. CMU-CS-98-163, School of Computer Science, Carnegie Mellon University (October 1998)
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. 742, pp. 489–510. Springer, Heidelberg (1993)
Oreizy, P., Medvidovic, N., Taylor, R.: Architecture-based Runtime Software Evolution. In: Proc. ICSE 1998. IEEE Computer Science Press, Los Alamitos (1998)
Perry, D., Wolf, A.: Foundations for the Study of Software Architectures. ACM SIGSOFT Software Engineering Notes 17(4), 40–52 (1992)
Snoeck, M., Dedene, G., Verhels, M., Depuydt, A.-M.: Object-oriented Enterprise Modelling with MERODE. Leuvense Universitaire Press (1999)
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. 1078. Springer, Heidelberg (1996)
Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, Englewood Cliffs (1996)
Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Addison-Wesley, Reading (1998)
Wermelinger, M., Lopes, A., Fiadeiro, J.L.: A Graph Based Architectural (Re)configuration Language. In: Gruhn, V. (ed.) ESEC/FSE 2001, pp. 21–32. ACM Press, New York (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Andrade, L.F., Fiadeiro, J.L. (2003). Architecture Based Evolution of Software Systems. In: Bernardo, M., Inverardi, P. (eds) Formal Methods for Software Architectures. SFM 2003. Lecture Notes in Computer Science, vol 2804. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39800-4_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-39800-4_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20083-3
Online ISBN: 978-3-540-39800-4
eBook Packages: Springer Book Archive