Transevol - A Tool to Evolve Legacy Model Transformations by Example

Joseba A. Agirre, Goiuria Sagardui, Leire Etxeberria

2014

Abstract

The use of Model Driven Development (MDD) approach is increasing in industry. MDD approach raises the level of abstraction using models as main artefacts of software engineering processes. The development of model transformations is a critical step in MDD. Tasks for defining, specifying and maintaining model transformation rules can be complex in MDD. Model Transformation By Example (MTBE) approaches have been proposed to ease the development process of transformation rules. MTBE uses pair of input/output models to define the model transformation. Starting from pairs of example models the transformation rules are derived semi-automatically. The aim of our approach is to derive the adaptation operations that must be implemented in a legacy model transformation to fulfil a new transformation requirement. An MTBE approach and a tool to develop and evolve ATL transformation rules have been developed. Our approach derives the transformations operations automatically using execution traceability data and models differences. The developed MTBE approach can be applied to evolve legacy model transformations. A real case study is introduced to demonstrate the usefulness of the tool.

References

  1. Agirre J., Sagardui, G., Etxeberria, L., 2010. Plataforma DSDM para la Generación de Software Basado en Componentes en Entornos Empotrados. JISBD (pp. 7- 15).
  2. Agirre, J., Sagardui, G., Etxeberria, L., 2012. A flexible model driven software development process for component based embedded control systems. III Jornadas de Computación Empotradas JCE, SARTECO.
  3. Balogh, Z., Varró, D., 2009. Model transformation by example using inductive logic programming. Software and System Modeling 8(3): 347-364.
  4. Brun, C., Pierantonio, A., 2008. Model differences in the Eclipse modelling framework. EJIP.
  5. Faunes, M., Sahraoui, H., Boukadoum, M., 2013. GeneticProgramming Approach to Learn Model Transformation Rules from Examples. In Theory and Practice of Model Transformations (pp. 17-32). Springer Berlin Heidelberg.
  6. García, J., Diaz, O., Azanza, M., 2013. Model transformation co-evolution: A semi-automatic approach. In Software Language Engineering (pp. 144-163). Springer Berlin Heidelberg..
  7. García-Magariño, I., Gómez-Sanz, J. J., FuentesFernández, R., 2009. Model transformation byexample: an algorithm for generating many-to-many transformation rules in several model transformation languages. In Theory and Practice of Model Transformations (pp. 52-66). Springer Berlin Heidelberg
  8. Iacob, M. E., Steen, M. W., Heerink, L., 2008. Reusable model transformation patterns. In Enterprise Distributed Object Computing Conference Workshops, 2008 12th (pp. 1-10). IEEE.
  9. Iovino, L., Pierantonio, A., Malavolta, I., 2012. On the Impact Significance of Metamodel Evolution in MDE. Journal of Object Technology 11(3): 3: 1-33.
  10. Joault, F., 2005. Loosely Coupled Traceability for ATL. In Proceedings of the European Conference on Model Driven Architecture workshop on traceability. ECMDA.
  11. Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I., 2008. ATL: A model transformation tool. Sci. Comput. Program. 72(1-2): 31-39.
  12. Kappel, G., Langer, P., Retschitzegger, W., Schwinger, W., & Wimmer, M., 2012. Model transformation byexample: a survey of the first wave. In Conceptual Modelling and Its Theoretical Foundations (pp. 197- 215). Springer Berlin Heidelberg.
  13. Kessentini, M., Sahraoui, H., Boukadoum, M., Omar, O. B., 2012. Search-based model transformation by example. Software & Systems Modeling, 11(2), 209- 226
  14. Kolovos, D. S., Paige, R. F., Polack, F. A., 2008. The epsilon transformation language. In Theory and practice of model transformations (pp. 46-60). Springer Berlin Heidelberg.
  15. Langer, P., Wimmer, M., Kappel, G., 2010. Model-tomodel transformations by demonstration. In Theory and Practice of Model Transformations (pp. 153-167). Springer Berlin Heidelberg.
  16. Levy, F., Muniz, P., 2013. Applying MTBE Manually: a Method and an Example. MDEBE@MoDELS.
  17. Matragkas, N., Kolovos, D., Paige, R., Zolotas, A., 2013. A Traceability-Driven Approach to Model Transformation Testing. AMT@MoDELS.
  18. Mellor, S. J., 2004. MDA distilled: principles of modeldriven architecture. Addison-Wesley Professional.
  19. Mens, T., Van Gorp, P., 2006. A taxonomy of model transformation. Electronic Notes in Theoretical Computer Science, 152, 125-142.
  20. Object Management Group (OMG), 2009. Modeling and Analysis of Real-time and Embedded systems (MARTE), Version 1.0, http://www.omg.org/ spec/MARTE/1.0/.
  21. Object Management Group (OMG), 2011. Meta Object Facility (MOF) 2.0 Query/View/Transformation (QVT) Specification, version 1.1.
  22. Open Architecture Ware (oAW), 2010. XPand language reference.http://www.openarchitectureware.org/pub/d ocumentation/4.0/r20_xPandReference.pdf.
  23. Strommer, M., Wimmer, M., 2008. A framework for model transformation by-example: Concepts and tool support. In Objects, Components, Models and Patterns (pp. 372-391). TOOLS.Springer Berlin Heidelberg.
  24. Sun, Y., Gray, J., 2013. End-User support for debugging demonstration-based model transformation execution. In Modelling Foundations and Applications (pp. 86- 100). Springer Berlin Heidelberg.
  25. Sun, Y., Gray, J., Delamare, R., Baudry, B., White, J., 2013. Automating the maintenance of nonfunctional system properties using demonstration-based model transformation. Journal of Software: Evolution and Process 25(12): 1335-1356.
  26. Sun, Y., White, J., Gray, J., 2009. Model transformation by demonstration. In Model Driven Engineering Languages and Systems (pp. 712-726). Springer Berlin Heidelberg.
  27. Toulmé, A., 2006. Presentation of EMF Compare Utility. Eclipse Modeling Sympossium.
  28. Van Deursen, A., Visser, E., Warmer, J., 2007. Modeldriven software evolution: A research agenda. Proceedings of Int. Workshop on Model-Driven Software Evolution (MoDSE), ECSMR'07.
  29. Varró, D. (2006). Model transformation by example. In Model Driven Engineering Languages and Systems (pp. 410-424). Springer Berlin Heidelberg.
  30. Wagelaar, D., Van Der Straeten, R., Deridder, D., 2009. Module superimposition: a composition technique for rule-based model transformation languages. Software and Systems Modeling 9(3), 285-309.
  31. Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Schönböck, J., Schwinger, W., 2012. Fact or FictionReuse in Rule-Based Model-to-Model Transformation Languages. In Theory and Practice of Model Transformations (pp. 280-295). Springer Berlin Heidelberg.
  32. Wimmer, M., Perez, S. M., Jouault, F., Cabot, J., 2012. A Catalogue of Refactorings for Model-to-Model Transformations. Journal of Object Technology, 11(2), 2-1.
Download


Paper Citation


in Harvard Style

Agirre J., Sagardui G. and Etxeberria L. (2014). Transevol - A Tool to Evolve Legacy Model Transformations by Example . In Proceedings of the 9th International Conference on Software Engineering and Applications - Volume 1: ICSOFT-EA, (ICSOFT 2014) ISBN 978-989-758-036-9, pages 234-245. DOI: 10.5220/0004999702340245


in Bibtex Style

@conference{icsoft-ea14,
author={Joseba A. Agirre and Goiuria Sagardui and Leire Etxeberria},
title={Transevol - A Tool to Evolve Legacy Model Transformations by Example},
booktitle={Proceedings of the 9th International Conference on Software Engineering and Applications - Volume 1: ICSOFT-EA, (ICSOFT 2014)},
year={2014},
pages={234-245},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004999702340245},
isbn={978-989-758-036-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 9th International Conference on Software Engineering and Applications - Volume 1: ICSOFT-EA, (ICSOFT 2014)
TI - Transevol - A Tool to Evolve Legacy Model Transformations by Example
SN - 978-989-758-036-9
AU - Agirre J.
AU - Sagardui G.
AU - Etxeberria L.
PY - 2014
SP - 234
EP - 245
DO - 10.5220/0004999702340245