Abstract
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 declaring some component connections to be extensible, in the sense that the number of connected components can vary from instance to instance of an architectural type. We show that such a controlled variability of the topology is still manageable from the analysis viewpoint, as the architectural compatibility and interoperability checks scale with respect to the number of components attached to the extensible connections.
Chapter PDF
Similar content being viewed by others
References
G.D. Abowd, R. Allen, D. Garlan, “Formalizing Style to Understand Descriptions of Software Architecture”, in ACM Trans. on Software Engineering and Methodology 4:319–364, 1995
R. Allen, R. Douence, D. Garlan, “Specifying and Analyzing Dynamic Software Architectures”, in Proc. of FASE 1998, 1998
R. Allen, D. Garlan, “A Formal Basis for Architectural Connection”, in ACM Trans. on Software Engineering and Methodology 6:213–249, 1997
R. Allen, D. Garlan, “A Case Study in Architectural Modelling: The AEGIS System”, in Proc. of IWSSD-8, 1998
M. Bernardo, P. Ciancarini, L. Donatiello, “On the Formalization of Architectural Types with Process Algebras”, in Proc. of FSE-8, ACM Press, pp. 140–148, 2000
M. Bernardo, P. Ciancarini, L. Donatiello, “Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems”, in Proc. ofWICSA 2001, IEEE-CS Press, pp. 77–86, 2001
T.R. Dean, J.R. Cordy, “A Syntactic Theory of Software Architecture”, in IEEE Trans. on Software Engineering 21:302–313, 1995
R. Milner, “Communication and Concurrency”, Prentice Hall, 1989
M. Moriconi, X. Qian, R.A. Riemenschneider, “Correct Architecture Refinement”, in IEEE Trans. on Software Engineering 21:356–372, 1995
D.E. Perry, A.L. Wolf, “Foundations for the Study of Software Architecture”, in ACM SIGSOFT Software Engineering Notes 17:40–52, 1992
M. Shaw, D. Garlan, “Software Architecture: Perspectives on an Emerging Discipline”, Prentice Hall, 1996
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bernardo, M., Franzè, F. (2002). Architectural Types Revisited: Extensible And/Or Connections. In: Kutsche, RD., Weber, H. (eds) Fundamental Approaches to Software Engineering. FASE 2002. Lecture Notes in Computer Science, vol 2306. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45923-5_8
Download citation
DOI: https://doi.org/10.1007/3-540-45923-5_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43353-8
Online ISBN: 978-3-540-45923-1
eBook Packages: Springer Book Archive