A traceability approach for model composition

Model composition is one of the important activities in model driven engineering, because complex systems are built based on several viewpoints. The composition operation is a tedious task, however, traceability not only provides us with the tool to comprehend its effects, but also helps us to better manage the operation itself. This paper suggests a traceability framework for the model composition operation based on aspect oriented modeling and graph transformation. The generated trace models conform to a generic metamodel that allows representing nested trace links. A merge specification case study is presented to illustrate our contribution.

[1]  R. France,et al.  Aspect-oriented approach to early design modelling , 2004, IEE Proc. Softw..

[2]  Giuliano Antoniol,et al.  The Grand Challenge of Traceability (v1.0) , 2012, Software and Systems Traceability.

[3]  Grzegorz Rozenberg,et al.  Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations , 1997 .

[4]  Josef Kittler,et al.  Applications of Graph Transformations with Industrial Relevance , 2011, Lecture Notes in Computer Science.

[5]  João Araújo,et al.  MATA: A Unified Approach for Composing UML Aspect Models Based on Graph Transformation , 2009, LNCS Trans. Aspect Oriented Softw. Dev..

[6]  Julia Rubin,et al.  Model traceability , 2006, IBM Syst. J..

[7]  Stuart Kent,et al.  Model Driven Engineering , 2002, IFM.

[8]  Clémentine Nebut,et al.  Towards a Traceability Framework for Model Transformations in Kermeta , 2006 .

[9]  Birgit Grammel,et al.  A generic traceability framework for facet-based traceability data extraction in model-driven software development , 2010, ECMFA-TW '10.

[10]  Juan Garbajosa Sopeña,et al.  The Need for a Unifying Traceability Scheme , 2005 .

[11]  Bernard Coulette,et al.  Trace Transformation Reuse to Guide Co-evolution of Models , 2010, ICSOFT.

[12]  Gabriele Taentzer.  AGG: A Tool Environment for Algebraic Graph Transformation , 1999, AGTIVE.

[13]  Graeme G. Shanks,et al.  Stakeholder viewpoints in requirements definition: A framework for understanding viewpoint development approaches , 1996, Requirements Engineering.

[14]  Richard F. Paige,et al.  The Epsilon Object Language (EOL) , 2006, ECMDA-FA.

[15]  Nicholas Drivalos,et al.  Towards Rigorously Defined Model-to-Model Traceability , 2008 .

[16]  Hartmut Ehrig,et al.  Conflict Detection for Graph Transformation with Negative Application Conditions , 2006, ICGT.

[17]  Frédéric Jouault.  Loosely Coupled Traceability for ATL , 2005 .