The Right Tool for the Right Job: Assessing Model Transformation Quality

Model-Driven Engineering (MDE) is a software engineering discipline in which models play a central role. One of the key concepts of MDE is model transformations. Because of the crucial role of model transformations in MDE, they have to be treated in a similar way as traditional software artifacts. They have to be used by multiple developers, they have to be maintained according to changing requirements and they should preferably be reused. It is therefore necessary to define and assess their quality. In this paper, we give two definitions for two different views on the quality of model transformations. We will also give some examples of quality assessment techniques for model transformations. The paper concludes with an argument about which type of quality assessment technique is most suitable for either of the views on model transformation quality.

[1]  Ed Seidewitz,et al.  What Models Mean , 2003, IEEE Softw..

[2]  Michel R. V. Chaudron,et al.  Four Automated Approaches to Analyze the Quality of UML Sequence Diagrams , 2007, 31st Annual International Computer Software and Applications Conference (COMPSAC 2007).

[3]  pataric varro.  AutomatedFormal Verification of Model Tranformations , 2003 .

[4]  Wilhelm Schäfer,et al.  Towards Verified Model Transformations , 2006 .

[5]  Cfj Christian Lange,et al.  Assessing and improving the quality of modeling : a series of empirical studies about the UML , 2007 .

[6]  Mark van den Brand,et al.  Using Metrics for Assessing the Quality of ASF+SDF Model Transformations , 2009, ICMT@TOOLS.

[7]  Daniel Grund,et al.  GrGen: A Fast SPO-Based Graph Rewriting Tool , 2006, ICGT.

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

[9]  John Krogstie,et al.  Defining quality aspects for conceptual models , 1995, ISCO.

[10]  Mark van den Brand,et al.  An exercise in iterative domain-specific language design , 2010, IWPSE-EVOL '10.

[11]  Barry Boehm,et al.  Characteristics of software quality , 1978 .

[12]  van den Mgj Mark Brand,et al.  Metrics for analyzing the quality of model transformations , 2008 .

[13]  van den Mgj Mark Brand,et al.  Quality assessment of ATL model transformations using metrics , 2011 .

[14]  Manuel Wimmer,et al.  Bridging Grammarware and Modelware , 2005, MoDELS Satellite Events.

[15]  Douglas C. Schmidt,et al.  Guest Editor's Introduction: Model-Driven Engineering , 2006, Computer.

[16]  Tom Mens,et al.  A Taxonomy of Model Transformation , 2006, GRaMoT@GPCE.

[17]  Parastoo Mohagheghi,et al.  Developing a Quality Framework for Model-Driven Engineering , 2007, MoDELS Workshops.

[18]  Shari Lawrence Pfleeger,et al.  Software Metrics : A Rigorous and Practical Approach , 1998 .

[19]  Haruhiko Kaiya,et al.  Measuring Model Transformation in Model Driven Development , 2007, CAiSE Forum.

[20]  Márk Asztalos,et al.  Towards Automated, Formal Verification of Model Transformations , 2010, 2010 Third International Conference on Software Testing, Verification and Validation.

[21]  Arie van Deursen.  An Overview of ASF+SDF , 1996 .

[22]  Charles W. Krueger,et al.  Software reuse , 1992, CSUR.

[23]  Frédéric Jouault,et al.  Transforming Models with ATL , 2005, MoDELS.

[24]  Arie van Deursen,et al.  Domain-specific languages: an annotated bibliography , 2000, SIGP.