A Three-level Formal Model for Software Architecture Evolution

This papers gives an overview of our formal approach to address the architecture-centric evolution at the three main steps of component-based software development: specification, implementation and deployment. We illustrate our proposal with an example of software evolution that leads to erosion and we demonstrate how our evolution process can resolve this problem.

[1]  Flávio Oquendo.  π-ADL: an Architecture Description Language based on the higher-order typed π-calculus for specifying dynamic and mobile software architectures , 2004, SOEN.

[2]  Nenad Medvidovic.  ADLs and dynamic architecture changes , 1996, ISAW '96.

[3]  Tom Mens,et al.  Evolving Software Systems , 2014, Springer Berlin Heidelberg.

[4]  Marianne Huchard,et al.  Fostering component reuse: automating the coherence verification of multi-level architecture descriptions , 2014, ICSEA 2014.

[5]  David Garlan,et al.  Acme: an architecture description interchange language , 1997, CASCON.

[6]  Michael J. Butler,et al.  ProB: an automated analysis toolset for the B method , 2008, International Journal on Software Tools for Technology Transfer.

[7]  Richard N. Taylor,et al.  A highly-extensible, XML-based architecture description language , 2001, Proceedings Working IEEE/IFIP Conference on Software Architecture.

[8]  Jean-Raymond Abrial,et al.  The B-book - assigning programs to meanings , 1996 .

[9]  Richard N. Taylor,et al.  A Classification and Comparison Framework for Software Architecture Description Languages , 2000, IEEE Trans. Software Eng..

[10]  Christelle Urtado,et al.  Architecture-Centric Component-Based Development Needs a Three-Level ADL , 2010, ECSA.

[11]  Lei Zhang,et al.  A three-level component model in component based software development , 2012, GPCE '12.

[12]  Jeff Magee,et al.  Dynamic structure in software architectures , 1996, SIGSOFT '96.

[13]  Marianne Huchard,et al.  Towards Automating the Coherence Verification of Multi-Level Architecture Descriptions , 2014, ICSEA 2014.

[14]  Alexander L. Wolf,et al.  Acm Sigsoft Software Engineering Notes Vol 17 No 4 Foundations for the Study of Software Architecture , 2022 .

[15]  David Garlan,et al.  A formal basis for architectural connection , 1997, TSEM.