Skip to main content

Model Transformation by Example Driven ATL Transformation Rules Development Using Model Differences

  • Conference paper
  • First Online:
Software Technologies (ICSOFT 2014)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 555))

Included in the following conference series:

  • 519 Accesses

Abstract

The use of Model Driven Development (MDD) approach is increasing in industry. MDD approach raises the level of abstraction using models as main artifacts 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. 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 fulfill 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. The tool can be used with endogenous and exogenous model to model transformations. The approach has been validated with several model transformations and the results have been collected. A real case study is introduced to demonstrate the usefulness of the tool.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I.: ATL: a model transformation tool. Sci. Comput. Program. 72(1–2), 31–39 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  2. Object Management Group (OMG): Meta Object Facility (MOF) 2.0 Query/View/Transformation (QVT) Specification, version 1.1 (2011)

    Google Scholar 

  3. Kolovos, D.S., Paige, R.F., Polack, F.A.C.: The epsilon transformation language. In: Gray, J., Vallecillo, A., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 46–60. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  4. Mens, T., Van Gorp, P.: A taxonomy of model transformation. Electron. Notes Theor. Comput. Sci. 152, 125–142 (2006)

    Article  Google Scholar 

  5. Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Schönböck, J., Schwinger, W.: Fact or fiction – reuse in rule-based model-to-model transformation languages. In: Hu, Z., de Lara, J. (eds.) ICMT 2012. LNCS, vol. 7307, pp. 280–295. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  6. Iacob, M.E., Steen, M.W., Heerink, L.: Reusable model transformation patterns. In: 2008 12th Enterprise Distributed Object Computing Conference Workshops, pp. 1–10. IEEE (2008)

    Google Scholar 

  7. Wimmer, M., Perez, S.M., Jouault, F., Cabot, J.: A catalogue of refactorings for model-to-model transformations. J. Object Technol. 11(2), 21–40 (2012)

    Google Scholar 

  8. Varró, D.: Model transformation by example. In: Whittle, J., Reggio, G., Harel, D., Wang, J. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 410–424. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  9. Kappel, G., Langer, P., Wimmer, M., Retschitzegger, W., Schwinger, W.: Model transformation by-example: a survey of the first wave. In: Düsterhöft, A., Klettke, M., Schewe, K.-D. (eds.) Conceptual Modelling and Its Theoretical Foundations. LNCS, vol. 7260, pp. 197–215. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  10. White, J., Gray, J., Sun, Y.: Model transformation by demonstration. In: Selic, B., Schürr, A. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 712–726. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  11. Agirre, J., Sagardui, G., Etxeberria, L.: A flexible model driven software development process for component based embedded control systems. In: III Jornadas de Computación Empotradas JCE, SARTECO (2012)

    Google Scholar 

  12. Mellor, S.J.: MDA Distilled: Principles of Model-Driven Architecture. Addison-Wesley Professional, Boston (2004)

    Google Scholar 

  13. Agirre J., Sagardui, G., Etxeberria, L.: Plataforma DSDM para la Generación de Software Basado en Componentes en Entornos Empotrados. In: JISBD, pp. 7–15 (2010)

    Google Scholar 

  14. Van Deursen, A., Visser, E., Warmer, J.: Model-driven software evolution: A research agenda. In: Proceedings of International Workshop on Model-Driven Software Evolution (MoDSE), ECSMR 2007 (2007)

    Google Scholar 

  15. Object Management Group (OMG): Modeling and analysis of real-time and embedded systems (MARTE), version 1.0 (2009). http://www.omg.org/spec/MARTE/1.0/

  16. Toulmé, A.: Presentation of EMF compare utility. In: Eclipse Modeling Symposium (2006)

    Google Scholar 

  17. Brun, C., Pierantonio, A.: Model differences in the Eclipse modelling framework. In: EJIP (2008)

    Google Scholar 

  18. Wagelaar, D., Van Der Straeten, R., Deridder, D.: Module superimposition: a composition technique for rule-based model transformation languages. Softw. Syst. Model. 9(3), 285–309 (2009)

    Article  Google Scholar 

  19. Balogh, Z., Varró, D.: Model transformation by example using inductive logic programming. Softw. Syst. Model. 8(3), 347–364 (2009)

    Article  Google Scholar 

  20. Strommer, M., Wimmer, M.: A framework for model transformation by-example: Concepts and tool support. In: Paige, R.F., Meyer, B. (eds.) Objects, Components, Models and Patterns. LNBIP, vol. 11, pp. 372–391. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  21. García-Magariño, I., Gómez-Sanz, J.J., Fuentes-Fernández, R.: Model transformation by-example: an algorithm for generating many-to-many transformation rules in several model transformation languages. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol. 5563, pp. 52–66. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  22. Faunes, M., Sahraoui, H., Boukadoum, M.: Genetic-programming approach to learn model transformation rules from examples. In: Kappel, G., Duddy, K. (eds.) ICMB 2013. LNCS, vol. 7909, pp. 17–32. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  23. Kessentini, M., Sahraoui, H., Boukadoum, M., Omar, O.B.: Search-based model transformation by example. Softw. Syst. Model. 11(2), 209–226 (2012)

    Article  Google Scholar 

  24. Sun, Y., Gray, J.: End-user support for debugging demonstration-based model transformation execution. In: Van Gorp, P., Ritter, T., Rose, L.M. (eds.) ECMFA 2013. LNCS, vol. 7949, pp. 86–100. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  25. Wimmer, M., Langer, P., Kappel, G.: Model-to-model transformations by demonstration. In: Gogolla, M., Tratt, L. (eds.) ICMT 2010. LNCS, vol. 6142, pp. 153–167. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  26. Levy, F., Muniz, P.: Applying MTBE manually: a method and an example. In: MDEBE@MoDELS (2013)

    Google Scholar 

  27. Iovino, L., Pierantonio, A., Malavolta, I.: On the impact significance of metamodel evolution in MDE. J. Object Technol. 11(3), 31–33 (2012)

    Article  Google Scholar 

  28. Matragkas, N., Kolovos, D., Paige, R., Zolotas, A.: A traceability-driven approach to model transformation testing. In: AMT@MoDELS (2013)

    Google Scholar 

  29. Sun, Y., Gray, J., Delamare, R., Baudry, B., White, J.: Automating the maintenance of nonfunctional system properties using demonstration-based model transformation. J. Softw. Evol. Process 25(12), 1335–1356 (2013)

    Article  Google Scholar 

  30. Joault, F.: Loosely coupled traceability for ATL. In: Proceedings of the European Conference on Model Driven Architecture Workshop on Traceability, ECMDA (2005)

    Google Scholar 

Download references

Acknowledgements

This work has been developed in the DA2SEC project and UE2014-12 AURE project context funded by the Department of Education, Universities and Research of the Basque Government. The work has been developed by the embedded system group supported by the Department of Education, Universities and Research of the Basque Government.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Joseba A. Agirre .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Agirre, J.A., Sagardui, G., Etxeberria, L. (2015). Model Transformation by Example Driven ATL Transformation Rules Development Using Model Differences. In: Holzinger, A., Cardoso, J., Cordeiro, J., Libourel, T., Maciaszek, L., van Sinderen, M. (eds) Software Technologies. ICSOFT 2014. Communications in Computer and Information Science, vol 555. Springer, Cham. https://doi.org/10.1007/978-3-319-25579-8_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-25579-8_7

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-25578-1

  • Online ISBN: 978-3-319-25579-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics