Abstract

Software architectures have the potential to substantially improve the development and evolution of large, complex, multi-lingual, multi-platform, long-running systems. However, in order to achieve this potential, specific techniques for architecture-based modeling, analysis, and evolution must be provided. Furthermore, one cannot fully benefit from such techniques unless support for mapping an architecture to an implementation also exists. This paper motivates and presents one such approach, which is an outgrowth of our experience with systems developed and evolved according to the C2 architectural style. We describe an architecture description language (ADL) specifically designed to support architecturebased evolution and discuss the kinds of evolution the language supports. We then describe a component-based environment that enables modeling, analysis, and evolution of architectures expressed in the ADL, as well as mapping of architectural models to an implementation infrastructure. The architecture of the environment itself can be evolved easily to support multiple ADLs, kinds of analyses, architectural styles, and implementation platforms. Our approach is fully reflexive: the environment can be used to describe, analyze, evolve, and (partially) implement itself, using the very ADL it supports. An existing architecture is used throughout the paper to provide illustrations and examples. Keywords Software architecture, architecture description language,

Citations

570	A Formal Basis for Architectural Connection - Allen, Garlan - 1997
483	Applying Design by Contract - Meyer
398	A Behavioral Notion of Subtyping - Liskov, Wing - 1994
247	ACME: An Architecture Description Interchange Language - Garlan, Monroe, et al. - 1997
223	An event-based architecture definition language - Luckham, Vera - 1995
189	PVS: Combining specification, proof checking, and model checking - Owre, Rajan, et al. - 1996
185	Architecture-based runtime software evolution - Oreizy, Medvidovic, et al. - 1998
182	J.Kramer, "Dynamic Structure in Software Architectures - Magee - 1996
179	Regular types for active objects - Nierstrasz - 1995
159	Correct Architecture Refinement - Moriconi, Qian, et al. - 1995
149	Exploiting style in architectural design environments - Garlan, Allen, et al. - 1994
135	Designing an Object-Oriented Programming Language with Behavioural Subtyping, Foundations of Object-Oriented Languages - America - 1991
119	A Framework for Classifying and Comparing Architecture Description Languages - Medvidovic, Taylor - 1997
111	Formal specification and analysis of software architectures using the chemical abstract machine model - Inverardi, Wolf - 1995
108	Forcing Behavioral Subtyping Through Speci - cation Inheritance - Dhara, Leavens - 1996
76	Using weaves for software construction and analysis - Gorlick, Razouk - 1991
52	Using objectoriented typing to support architectural design in the c2 style - Medvidovic, Oreizy, et al. - 1996
41	Reuse of off-the-shelf components in C2style architectures - Medvidovic, Oreizy, et al. - 1997
37	Formal Modeling of Software Architectures at Multiple Levels of Abstraction - Medvidovic, Taylor, et al. - 1996
31	Checking assumptions in components dynamics at the architectural level - Inverardi, Wolf, et al. - 1997
23	VCR: A VDM-based software component retrieval tool - Fischer, Kievernagel, et al. - 1995
17	Exploiting Architectural Style to Develop a Family of Applications - Medvidovic, Taylor - 1997
15	D.S.: Domains of Concern in Software Architectures - Medvidovic, Rosenblum - 1997
12	Architecture-Based Specification-Time Software Evolution - Medvidovic - 1998
12	A Type Theory for Software Architectures - Medvidovic, Rosenblum, et al. - 1998
9	The ADAGE Avionics Reference Architecture - Batory, Coglianese, et al. - 1995
6	Guttag and - V - 1993
3	A pi-calculus Semantics for an Architecture Description Language - Canal, Pimentel, et al. - 1998
2	Armani Language Reference Manual, version 0.1. Private communication - Monroe - 1998