Towards a theory of architectural styles

Architectural styles and patterns play an important role in software architectures. However, they are usually only stated informally, which may cause problems such as ambiguity and wrong conclusions. A rigorous theory of architectural styles --- consisting of (i) mathematical models for each style; (ii) axioms to identify different variants of a style; and (iii) rigorous analyses by means of mathematical proofs --- would address these problems. With this work we report on our progress towards such a rigorous theory of architectural styles.

[1]  David Garlan,et al.  Formalizing Design Spaces: Implicit Invocation Mechanisms , 1991, VDM Europe.

[2]  Peter Sommerlad,et al.  Pattern-Oriented Software Architecture , 1996 .

[3]  Frank Buschmann,et al.  Pattern-Oriented Software Architecture, a Pattern Language for Distributed Computing , 2007 .

[4]  Manfred Broy,et al.  SERVICE-ORIENTED SYSTEMS ENGINEERING: SPECIFICATION AND DESIGN OF SERVICES AND LAYERED ARCHITECTURES , 2005 .

[5]  David Garlan,et al.  Formal Modeling of the Enterprise JavaBeansTM Component Integration Framework , 1999, World Congress on Formal Methods.

[6]  Robert J. Allen.  A formal approach to software architecture , 1997 .

[7]  Daniel Le Métayer.  Describing Software Architecture Styles Using Graph Grammars , 1998, IEEE Trans. Software Eng..

[8]  Richard N. Taylor,et al.  Software architecture: foundations, theory, and practice , 2009, 2010 ACM/IEEE 32nd International Conference on Software Engineering.

[9]  Mary Shaw,et al.  The golden age of software architecture , 2006, IEEE Software.

[10]  Mary Shaw,et al.  Software architecture - perspectives on an emerging discipline , 1996 .

[11]  Xiaolei Qian,et al.  Correct Architecture Refinement , 1995, IEEE Trans. Software Eng..

[12]  David Garlan,et al.  A Formal Approach to Software Architectures , 1992, IFIP Congress.

[13]  Manfred Broy,et al.  A Logical Basis for Component-Oriented Software and Systems Engineering , 2010, Comput. J..

[14]  Manfred Broy.  Can Practitioners Neglect Theory and Theoreticians Neglect Practice? , 2011, Computer.

[15]  David Garlan,et al.  Formal Specifications as Reusable Frameworks , 1990, VDM Europe.

[16]  Gregory D. Abowd,et al.  Formalizing style to understand descriptions of software architecture , 1995, TSEM.

[17]  David Garlan,et al.  Formal modeling of the Enterprise JavaBeans(TM) component integration framework , 2001, Inf. Softw. Technol..

[18]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[19]  Paolo Ciancarini,et al.  On the formalization of architectural types with process algebras , 2000, SIGSOFT '00/FSE-8.

[20]  Ivar Jacobson,et al.  Where's the Theory for Software Engineering? , 2012, IEEE Software.