Skip to main content
Springer Nature Link
Log in

A Feature-Based Approach for Variability Exploration and Resolution in Model Transformation Migration

  • Conference paper
  • First Online:
Modelling Foundations and Applications (ECMFA 2017)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 10376))

Included in the following conference series:

Abstract

The key to success with Model-Driven Engineering is the ability to maintain metamodels and their related artifacts consistent over time. Metamodels can evolve under evolutionary pressure that arises when clients and users express the need for enhancements. However, metamodel changes come at the price of compromising metamodel-related artifacts, including model transformations, necessitating their migration to again conform to the evolved metamodel. Restoring conformance of transformations is intrinsically difficult since a multitude of possible migration alternatives exist, which are unfeasible to be inspected manually. In this paper, we present an approach to explore variability in model transformation migration. Employing a feature-based representation of several possible transformation migrations, the approach permits modelers to explore and explicitly discover differences and conflicts among them. Once the desired migration alternatives are selected, the actual migration program is generated and executed by exploiting the EMFMigrate platform.

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

Access this chapter

Log in via an institution

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

Notes

  1. 1.

    In order to give more evidence of the difficulties related to the extensional treatment of transformation migrations, which might be required because of metamodel evolutions, our online appendix discusses a list of metamodel changes borrowed from existing catalogues, e.g., [5, 12]: http://www.emfmigrate.org/wp-content/uploads/2017/04/appendix.pdf. Such changes are organized with respect to the impact they might have on existing transformations.

  2. 2.

    Currently, the weaving model \(m_{WMM}\) is manually specified even though an automatic creation is feasible as discussed later in the paper. Such a relevant automation step is an important work that we plan to do in the future.

  3. 3.

    In this work we employed the Eclipse FeatureIDE plugin [22] for specifying feature models.

  4. 4.

    The auxiliary functions HasDoubleMatch, IsRuleDeleted, IsBindingDeleted, and AddConflict used in Algorithm 1 are reported online: http://www.emfmigrate.org/wp-content/uploads/2017/04/appendix.pdf.

  5. 5.

    A detailed discussion of EMFMigrate is outside the scope of this paper. Interested reader can refer to [6, 23] for a detailed presentation of the approach.

References

  1. Bancilhon, F., Spyratos, N.: Update semantics of relational views. ACM Trans. Database Syst. (TODS) 6(4), 557–575 (1981)

    Article  MATH  Google Scholar 

  2. Beuche, D., Papajewski, H., Schröder-Preikschat, W.: Variability management with feature models. Sci. Comput. Program. 53(3), 333–352 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  3. Cicchetti, A., Di Ruscio, D., Pierantonio, A.: A metamodel independent approach to difference representation. J. Object Technol. 6(9), 165–185 (2007)

    Article  Google Scholar 

  4. Cicchetti, A., Ruscio, D., Pierantonio, A.: Managing model conflicts in distributed development. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 311–325. Springer, Heidelberg (2008). doi:10.1007/978-3-540-87875-9_23

    Chapter  Google Scholar 

  5. Cicchetti, A., Ruscio, D.D., Eramo, R., Pierantonio, A.: Automating co-evolution in model-driven engineering. In: Proceedings of EDOC, pp. 222–231. IEEE (2008)

    Google Scholar 

  6. Di Ruscio, D., Iovino, L., Pierantonio, A.: Coupled evolution in model-driven engineering. IEEE Softw. 29(6), 78–84 (2012)

    Article  MATH  Google Scholar 

  7. Di Ruscio, D., Iovino, L., Pierantonio, A.: Evolutionary togetherness: how to manage coupled evolution in metamodeling ecosystems. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2012. LNCS, vol. 7562, pp. 20–37. Springer, Heidelberg (2012). doi:10.1007/978-3-642-33654-6_2

    Chapter  Google Scholar 

  8. Di Ruscio, D., Iovino, L., Pierantonio, A.: A methodological approach for the coupled evolution of metamodels and ATL transformations. In: Duddy, K., Kappel, G. (eds.) ICMT 2013. LNCS, vol. 7909, pp. 60–75. Springer, Heidelberg (2013). doi:10.1007/978-3-642-38883-5_9

    Chapter  Google Scholar 

  9. Garcés, K., Vara, J.M., Jouault, F., Marcos, E.: Adapting transformations to metamodel changes via external transformation composition. Softw. Syst. Model. 13, 789–806 (2013)

    Article  Google Scholar 

  10. García, J., Diaz, O., Azanza, M.: Model transformation co-evolution: a semi-automatic approach. In: Czarnecki, K., Hedin, G. (eds.) SLE 2012. LNCS, vol. 7745, pp. 144–163. Springer, Heidelberg (2013). doi:10.1007/978-3-642-36089-3_9

    Chapter  Google Scholar 

  11. Guerra, E., de Lara, J., Kolovos, D.S., Paige, R.F., dos Santos, O.M.: Engineering model transformations with transml. Softw. Syst. Model. 12(3), 555–577 (2013)

    Article  Google Scholar 

  12. Herrmannsdoerfer, M., Benz, S., Juergens, E.: COPE - automating coupled evolution of metamodels and models. In: Drossopoulou, S. (ed.) ECOOP 2009. LNCS, vol. 5653, pp. 52–76. Springer, Heidelberg (2009). doi:10.1007/978-3-642-03013-0_4

    Chapter  Google Scholar 

  13. Iovino, L., Pierantonio, A., Malavolta, I.: On the impact significance of metamodel evolution in MDE. JOT 11(3), 3:1–3:33 (2012)

    Article  Google Scholar 

  14. 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 

  15. Kolovos, D.S., Paige, R.F., Polack, F.A.C.: The epsilon transformation language. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 46–60. Springer, Heidelberg (2008). doi:10.1007/978-3-540-69927-9_4

    Chapter  Google Scholar 

  16. Kruse, S.: On the use of operators for the co-evolution of metamodels and transformations. In: International Workshop on Models and Evolution 2011 (2011)

    Google Scholar 

  17. Kusel, A., Etzlstorfer, J., Kapsammer, E., Retschitzegger, W., Schwinger, W., Schönböck, J.: Consistent co-evolution of models and transformations. In: MODELS. IEEE, October 2015

    Google Scholar 

  18. Richters, M., Gogolla, M.: A metamodel for OCL. In: France, R., Rumpe, B. (eds.) UML 1999. LNCS, vol. 1723, pp. 156–171. Springer, Heidelberg (1999). doi:10.1007/3-540-46852-8_12

    Chapter  Google Scholar 

  19. Rose, L.M., Paige, R.F., Kolovos, D.S., Polack, F.A.C.: The epsilon generation language. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol. 5095, pp. 1–16. Springer, Heidelberg (2008). doi:10.1007/978-3-540-69100-6_1

    Chapter  Google Scholar 

  20. Schmidt, D.C.: Guest editor’s introduction: model-driven engineering. Computer 39(2), 25–31 (2006)

    Article  Google Scholar 

  21. Schönböck, J., Kusel, A., Etzlstorfer, J., Kapsammer, E., Schwinger, W., Wimmer, M., Wischenbart, M.: CARE - a constraint-based approach for re-establishing conformance-relationships. In: Proceedings of the APCCM (2014)

    Google Scholar 

  22. Thüm, T., Kästner, C., Benduhn, F., Meinicke, J., Saake, G., Leich, T.: FeatureIDE: an extensible framework for feature-oriented software development. Sci. Comput. Program. 79, 70–85 (2014)

    Article  Google Scholar 

  23. Wagelaar, D., Iovino, L., Ruscio, D., Pierantonio, A.: Translational semantics of a co-evolution specific language with the EMF transformation virtual machine. In: Hu, Z., Lara, J. (eds.) ICMT 2012. LNCS, vol. 7307, pp. 192–207. Springer, Heidelberg (2012). doi:10.1007/978-3-642-30476-7_13

    Chapter  Google Scholar 

  24. Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Schönböck, J., Schwinger, W., Kolovos, D., Paige, R., Lauder, M., Schürr, A., Wagelaar, D.: Surveying rule inheritance in model-to-model transformation languages. JOT 11(2), 3:1–3:46 (2012)

    Google Scholar 

  25. Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Schoenboeck, J., Schwinger, W.: Surviving the heterogeneity jungle with composite mapping operators. In: Tratt, L., Gogolla, M. (eds.) ICMT 2010. LNCS, vol. 6142, pp. 260–275. Springer, Heidelberg (2010). doi:10.1007/978-3-642-13688-7_18

    Chapter  Google Scholar 

Download references

Acknowledgment

This work has been partly funded by the Austrian Science Fund (FWF) under grant P 28519-N31 and the OeAD under grant WTZ AR18/2013 and WTZ AR10/2015.

Author information

Authors and Affiliations

  1. University of L’Aquila, L’Aquila, Italy

    Davide Di Ruscio & Alfonso Pierantonio

  2. Johannes Kepler University Linz, Linz, Austria

    Juergen Etzlstorfer & Wieland Schwinger

  3. Gran Sasso Science Institute, L’Aquila, Italy

    Ludovico Iovino

Authors
  1. Davide Di Ruscio
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Juergen Etzlstorfer
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ludovico Iovino
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Alfonso Pierantonio
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Wieland Schwinger
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ludovico Iovino .

Editor information

Editors and Affiliations

  1. University of Paderborn, Paderborn, Germany

    Anthony Anjorin

  2. Tecnalia Research and Innovation, Derio, Spain

    Huáscar Espinoza

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Di Ruscio, D., Etzlstorfer, J., Iovino, L., Pierantonio, A., Schwinger, W. (2017). A Feature-Based Approach for Variability Exploration and Resolution in Model Transformation Migration. In: Anjorin, A., Espinoza, H. (eds) Modelling Foundations and Applications. ECMFA 2017. Lecture Notes in Computer Science(), vol 10376. Springer, Cham. https://doi.org/10.1007/978-3-319-61482-3_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-61482-3_5

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-61481-6

  • Online ISBN: 978-3-319-61482-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics