Architecture based evolution of software systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2804, Issue , 2003, Pages 148-181

  Andrade, Luis Filipe ^a   Fiadeiro, José Luiz ^b  

^a ATX Software SA   (Portugal)

^b UNIVERSITY OF LEICESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; FORMAL METHODS;

ARCHITECTURAL CONCEPTS; ARCHITECTURE-BASED; BUSINESS DOMAIN; RUNTIMES; SOFTWARE SYSTEMS;

APPLICATION PROGRAMS;

EID: 35248874363     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39800-4_8     Document Type: Article

References (43)

1. R. Allen and D. Garlan, "A Formal Basis for Architectural Connectors", ACM TOSEM, 6(3), 1997, 213-249.
2. L.F. Andrade and J.L. Fiadeiro, "Interconnecting Objects via Contracts", in R.France and B.Rumpe (eds), UML'99 - Beyond the Standard, LNCS 1723, Springer Verlag 1999, 566-583.
3. L.F. Andrade and J.L. Fiadeiro, "Service-Oriented Business and System Specification: Beyond Object-orientation", in H.Kilov and K.Baclwaski (eds), Practical Foundations of Business and System Specifications, Kluwer Academic Publishers 2003, 1-23.
4. L.F. Andrade, J.L. Fiadeiro, A. Lopes and M. Wermelinger, "Architectural Techniques for Evolving Control Systems", in Formal Methods for Railway Operation and Control Systems, G.Tarnai & E.Schnieder (eds), L'Harmattan Press, 2003
5. L.F. Andrade, J. Gouveia, G. Koutsoukos and J.L. Fiadeiro, "Coordination Contracts, Evolution and Tools", Journal on Software Maintenance and Evolution: Research and Practice 14(5), 2002, 353-369.
6. R. Back and R. Kurki-Suonio, "Distributed Cooperation with Action Systems", ACM TOPLAS 10(4), 1988, 513-554.
7. RJ. Back, L. Petre and I. Paltor, "Analysing UML Use Cases as Contracts", in UML'99 - Beyond the Standard, R.France and B.Rumpe (eds), LNCS 1723, Springer Verlag 1999, 518-533.
8. L. Bass, P. Clements and R. Kasman, Software Architecture in Practice, Addison Wesley 1998.
9. G. Booch, J. Rumbaugh and I. Jacobson, The Unified Modeling Language User Guide, Addison-Wesley 1998.
10. T. Elrad, R. Filman and A. Bader (Guest editors). Special Issue on Aspect Oriented Programming. Communications of the ACM. October 2001; 44(10)
11. M. Endler and J. Wei, "Programming Generic Dynamic Reconfigurations for Distributed Applications", in Proc. 1st Intl. Workshop on Configurable Distributed Systems, 1992, 68-79.
12. J.L. Fiadeiro, N. Martí-Oliet, T. Maibaum, J. Meseguer and I. Pita, "Towards a Verification Logic for Rewriting Logic", in Recent Trends in Algebraic Development Techniques, D.Bert and C.Choppy (eds), LNCS 1827, pp. 438-458, Springer-Verlag 2000
13. J.L. Fiadeiro, A. Lopes and M. Wermelinger, "A Mathematical Semantics for Architectural Connectors", in Generic Programming, R.Backhouse and J.Gibbons (eds), LNCS, Springer-Verlag, in print
14. P. Finger, "Componend-Based Frameworks for E-Commerce", Communications of the ACM 43(10), 2000, 61-66.
15. E. Gamma, R. Helm, R. Johnson and J. Vlissides, Design Patterns: Elements of Reusable Object Oriented Software, Addison-Wesley 1995
16. D. Gelernter and N. Carriero, "Coordination Languages and their Significance", Communications ACM 35(2), 1992, 97-107.
17. J. Gouveia, G. Koutsoukos, L. Andrade and J. Fiadeiro, "Tool Support for Coordination-Based Software Evolution", in Technology of Object-Oriented Languages and Systems - TOOLS 38, W.Pree (ed), IEEE Press 2001, 184-196.
18. P. Herzum and O. Sims, Business Component Factory, Wiley 2000.
19. J. Hopkins, "Component Primer", Communications of the ACM 43(10), 2000, 27-30.
20. W. Kent, "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
21. H. Kilov, Business Models, Prentice-Hall 2002.
22. H. Kilov and J. Ross, Information Modeling: an Object-oriented Approach, Prentice-Hall 1994.
23. G. Koutsoukos, J. Gouveia, L. Andrade and J.L. Fiadeiro, "Managing Evolution in Telecommunications Systems", in New Developments on Distributed Applications and Interoperable Systems, K.Zielinski, K.Geihs and A. Laurentowski (eds), Kluwer Academic Publishers 2001; 133-139.
24. G. Koutsoukos, T. Kotridis, L. Andrade, J.L. Fiadeiro, J. Gouveia and M. Wermelinger, "Coordination technologies for business strategy support: a case study in stock-trading", in R.Corchuelo, A.Ruiz and M.Toro (eds), Advances in Business Solutions, Catedral Publicaciones 2002, 45-56.
25. J. Kramer, "Configuration Programming - A Framework for the Development of Distributable Systems", in Proceedings CompEuro'90, IEEE Computer Society Press 1990; 374-384.
26. J. Kramer, "Exoskeletal Software", in Proc. 16th ICSE, 1994, 366.
27. K. Lano, J. Fiadeiro and L. Andrade, Software Design in Java 2, Palgrave-Macmillan, 2002.
28. A. Lopes, J. Fiadeiro and M. Wermelinger, "Architectural Primitives for Distribution and Mobility", SIGSOFT 2002/FSE-10, ACM Press 2002, 41-50.
29. J. Magee and J. Kramer, "Dynamic Structure in Software Architectures", in 4th Symp. on Foundations of Software Engineering, ACM Press 1996, 3-14.
30. N. Medvidovic and R. Taylor, "A Classification and Comparison Framework for Software Architecture Description Languages", IEEE Trans. on Software Eng., 26(1), Jan. 2000, 70-93.
31. T. Mens and T. D'Hondt, "Automating Support for Software Evolution in UML", in Automated Software Engineering Journal 7, Kluwer Academic Publishers, 2000, 39-59.
32. B. Meyer, "Applying Design by Contract", in IEEE Computer (25)10, 1992, 40-51.
33. N. Minsky and V. Ungureanu, "Law-Governed Interaction: A Coordination & Control Mechanism for Heterogeneous Distributed Systems" in ACM TOSEM 9(3), 2000, 273-305.
34. K. Moazami-Goudarzi, Consistency Preserving Dynamic Reconfiguration of Distributed Systems, PhD Thesis, Imperial College London, 1999.
35. R. Monroe, Capturing Software Architecture Design Expertise with Armani, Tech. Rep. CMU-CS-98-163, School of Computer Science, Carnegie Mellon University, Oct. 1998.
36. D. Notkin, D. Garlan, W. Griswold and K. Sullivan, "Adding Implicit Invocation to Languages: Three Approaches", in Object Technologies for Advanced Software, S.Nishio and A.Yonezawa (editors), LNCS 742, Springer-Verlag 1993, 489-510.
37. P. Oreizy, N. Medvidovic and R. Taylor, "Architecture-based Runtime Software Evolution", in Proc. ICSE'98, IEEE Computer Science Press 1998
38. D. Perry and A. Wolf, "Foundations for the Study of Software Architectures", ACM SIGSOFT Software Engineering Notes 17(4), 1992, 40-52.
39. M. Snoeck, G. Dedene, M. Verhels and A-M. Depuydt, Object-oriented Enterprise Modelling with MERODE, Leuvense Universitaire Press, 1999.
40. M. Shaw, "Procedure Calls are the Assembly Language of Software Interconnection: Connectors Deserve First-Class Status", in D.A. Lamb (Ed.), Studies of Software Design, LNCS 1078, Springer-Verlag 1996.
41. M. Shaw and D. Garlan, Software Architecture: Perspectives on an Emerging Discipline, Prentice-Hall 1996.
42. C. Szyperski, Component Software: Beyond Object-Oriented Programming, Addison Wesley 1998.
43. M. Wermelinger, A. Lopes and J.L. Fiadeiro, "A Graph Based Architectural (Re)configuration Language", in ESEC/FSE'01, V.Gruhn (ed), ACM Press 2001, 21-32.