Exogenous and Endogenous Extensions of Architectural Types
The problem of formalizing architectural styles has been recently tackled with the introduction of the concept of architectural type. The internal behavior of the system components can vary from instance to instance of an architectural type in a controlled way, which preserves the absence of deadlock related architectural mismatches proved via the architectural compatibility and interoperability checks. In this paper we extend the notion of architectural type by permitting a controlled variability of the component topology as well. This is achieved by means of two kinds of topological extensions: exogenous and endogenous. An exogenous extension consists of attaching a set of newtop ology compliant components to a set of already existing components. An endogenous extension consists of replacing a set of already existing components with a set of newtop ology compliant components. We showthat such a variability of the topology is still manageable from the analysis viewpoint.
KeywordsSoftware Architecture Architectural Style Simple Interaction Internal Behavior Architectural Type
Unable to display preview. Download preview PDF.
- 3.R. Allen, D. Garlan, “A Case Study in Architectural Modelling: The AEGIS System”, in Proc. of IWSSD-8, 1998Google Scholar
- 4.M. Bernardo, P. Ciancarini, L. Donatiello, “On the Formalization of Architectural Types with Process Algebras”, in Proc. of FSE-8, 2000Google Scholar
- 5.M. Bernardo, P. Ciancarini, L. Donatiello, “Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems”, in Proc. of WICSA 2001Google Scholar
- 7.R. Milner, “Communication and Concurrency”, Prentice Hall, 1989Google Scholar
- 10.M. Shaw, D. Garlan, “Software Architecture: Perspectives on an Emerging Discipline”, Prentice Hall, 1996Google Scholar