Skip to main content
SpringerLink
Log in

Architecture Based Evolution of Software Systems

  • Chapter
Formal Methods for Software Architectures (SFM 2003)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2804))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Allen, R., Garlan, D.: A Formal Basis for Architectural Connectors. ACM TOSEM 6(3), 213–249 (1997)

    Article  Google Scholar 

  2. 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)

    Chapter  Google Scholar 

  3. 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)

    Google Scholar 

  4. 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)

    Google Scholar 

  5. 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)

    Article  MATH  Google Scholar 

  6. Back, R., Kurki-Suonio, R.: Distributed Cooperation with Action Systems. ACM TO-PLAS 10(4), 513–554 (1988)

    MATH  Google Scholar 

  7. 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)

    Chapter  Google Scholar 

  8. Bass, L., Clements, P., Kasman, R.: Software Architecture in Practice. Addison-Wesley, Reading (1998)

    Google Scholar 

  9. Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1998)

    Google Scholar 

  10. Elrad, T., Filman, R., Bader, A.(Guest eds.): Special Issue on Aspect Oriented Programming. Communications of the ACM 44(10) (October 2001)

    Google Scholar 

  11. Endler, M., Wei, J.: Programming Generic Dynamic Reconfigurations for Distributed Applications. In: Proc. 1st Intl. Workshop on Configurable Distributed Systems, pp. 68–79 (1992)

    Google Scholar 

  12. 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)

    Chapter  Google Scholar 

  13. 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)

    Google Scholar 

  14. Finger, P.: Componend-Based Frameworks for E-Commerce. Communications of the ACM 43(10), 61–66 (2000)

    Article  Google Scholar 

  15. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object Oriented Software. Addison-Wesley, Reading (1995)

    Google Scholar 

  16. Gelernter, D., Carriero, N.: Coordination Languages and their Significance. Communications ACM 35(2), 97–107 (1992)

    Article  Google Scholar 

  17. 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)

    Chapter  Google Scholar 

  18. Herzum, P., Sims, O.: Business Component Factory. Wiley, Chichester (2000)

    Google Scholar 

  19. Hopkins, J.: Component Primer. Communications of the ACM 43(10), 27–30 (2000)

    Article  Google Scholar 

  20. 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)

    Google Scholar 

  21. Kilov, H.: Business Models. Prentice-Hall, Englewood Cliffs (2002)

    Google Scholar 

  22. Kilov, H., Ross, J.: Information Modeling: an Object-oriented Approach. Prentice-Hall, Englewood Cliffs (1994)

    MATH  Google Scholar 

  23. 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)

    Google Scholar 

  24. 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)

    Google Scholar 

  25. 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)

    Google Scholar 

  26. Kramer, J.: Exoskeletal Software. In: Proc. 16th ICSE, p. 366 (1994)

    Google Scholar 

  27. Lano, K., Fiadeiro, J., Andrade, L.: Software Design in Java 2. Palgrave-Macmillan, Oxford (2002)

    Google Scholar 

  28. 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)

    Chapter  Google Scholar 

  29. 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)

    Chapter  Google Scholar 

  30. Medvidovic, N., Taylor, R.: A Classification and Comparison Framework for Software Architecture Description Languages. IEEE Trans. on Software Eng. 26(1), 70–93 (2000)

    Article  Google Scholar 

  31. Mens, T., D’Hondt, T.: Automating Support for Software Evolution in UML. Automated Software Engineering Journal 7, 39–59 (2000)

    Article  Google Scholar 

  32. Meyer, B.: Applying Design by Contract. IEEE Computer 10(25), 40–51 (1992)

    Google Scholar 

  33. Minsky, N., Ungureanu, V.: Law-Governed Interaction: A Coordination & Control Mechanism for Heterogeneous Distributed Systems. ACM TOSEM 9(3), 273–305 (2000)

    Article  Google Scholar 

  34. Moazami-Goudarzi, K.: Consistency Preserving Dynamic Reconfiguration of Distributed Systems, PhD Thesis, Imperial College London (1999)

    Google Scholar 

  35. Monroe, R.: Capturing Software Architecture Design Expertise with Armani, Tech. Rep. CMU-CS-98-163, School of Computer Science, Carnegie Mellon University (October 1998)

    Google Scholar 

  36. 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)

    Google Scholar 

  37. Oreizy, P., Medvidovic, N., Taylor, R.: Architecture-based Runtime Software Evolution. In: Proc. ICSE 1998. IEEE Computer Science Press, Los Alamitos (1998)

    Google Scholar 

  38. Perry, D., Wolf, A.: Foundations for the Study of Software Architectures. ACM SIGSOFT Software Engineering Notes 17(4), 40–52 (1992)

    Article  Google Scholar 

  39. Snoeck, M., Dedene, G., Verhels, M., Depuydt, A.-M.: Object-oriented Enterprise Modelling with MERODE. Leuvense Universitaire Press (1999)

    Google Scholar 

  40. 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)

    Chapter  Google Scholar 

  41. Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, Englewood Cliffs (1996)

    MATH  Google Scholar 

  42. Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Addison-Wesley, Reading (1998)

    Google Scholar 

  43. 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)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ATX Software S.A., Alameda António Sérgio 7 – 1 C, 2795-023, Linda-a-Velha, Portugal

    Luis Filipe Andrade

  2. Department of Computer Science, University of Leicester, University Road, Leicester, LE1 7RH, UK

    José Luiz Fiadeiro

Authors
  1. Luis Filipe Andrade
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. José Luiz Fiadeiro
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Istituto di Scienze e Tecnologie dell’Informazione, Università di Urbino “Carlo Bo”, Italy

    Marco Bernardo

  2. Dipartimento di Informatica, Università degli Studi di L’Aquila, 67100, L’Aquila, Italy

    Paola Inverardi

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation