On the Systematic Conformance Check of Software Artefacts

In this paper we present a systematic check of the conformance of the implemented and the intended software architecture. Nowadays industry is confronted with rapidly evolving embedded systems. In order to effectively reuse design artefacts such as requirements, architectural views and analysis, as well as the code base, it is important to have a consistent overview in each phase of the development process. In this paper we propose a conformance check framework that combines a colloquial engineering model and a conformance check system based on commodity technology, albeit the model and the system can be used in their own right. An academic experiment exemplifies the application of our framework.

[1]  Edward A. Lee,et al.  Overview of the Ptolemy project , 2001 .

[2]  David Flater.  MDA , 1984 .

[3]  David Garlan,et al.  Acme: architectural description of component-based systems , 2000 .

[4]  Wolfgang Emmerich,et al.  Flexible consistency checking , 2003, TSEM.

[5]  Kostas Kontogiannis,et al.  An XML-based framework for language neutral program representation and generic analysis , 2005, Ninth European Conference on Software Maintenance and Reengineering.

[6]  Arie van Deursen,et al.  Symphony: view-driven software architecture reconstruction , 2004, Proceedings. Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004).

[7]  Robert L. Nord,et al.  Applied Software Architecture , 1999, Addison Wesley object technology series.

[8]  Nenad Medvidovic,et al.  Modeling software architectures in the Unified Modeling Language , 2002, TSEM.

[9]  Licia Capra,et al.  xlinkit: a consistency checking and smart link generation service , 2002, TOIT.

[10]  David Notkin,et al.  Software reflexion models: bridging the gap between source and high-level models , 1995, SIGSOFT FSE.

[11]  Greg J. Badros.  JavaML: a markup language for Java source code , 2000, Comput. Networks.

[12]  IEEE-SA Standards Board , 2000 .

[13]  Philippe Kruchten,et al.  The 4+1 View Model of Architecture , 1995, IEEE Softw..

[14]  Hans Toetenel,et al.  Embedded Software Engineering: The State of the Practice , 2003, IEEE Softw..

[15]  Rene L. Krikhaar,et al.  Software architecture reconstruction , 1999 .

[16]  Murali Sitaraman,et al.  Foundations of component-based systems , 2000 .

[17]  Perdita Stevens.  On Associations in the Unified Modelling Language , 2001, UML.

[18]  David Garlan,et al.  Documenting software architectures: views and beyond , 2002, 25th International Conference on Software Engineering, 2003. Proceedings..

[19]  Eila Niemelä,et al.  A Survey on Software Architecture Analysis Methods , 2002, IEEE Trans. Software Eng..

[20]  Oliver Laitenberger,et al.  An encompassing life cycle centric survey of software inspection , 2000, J. Syst. Softw..

[21]  David Garlan,et al.  Reconciling the needs of architectural description with object-modeling notations , 2000, Sci. Comput. Program..