Skip to main content
SpringerLink
Log in

Rule-Based Repair of EMF Models: An Automated Interactive Approach

  • Conference paper
  • First Online:
Theory and Practice of Model Transformation (ICMT 2017)

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

Abstract

Managing and resolving inconsistencies in models is crucial in model-driven engineering (MDE). In this paper we consider models that are based on the Eclipse Modeling Framework (EMF). We propose a rule-based approach to support the modeler in automatically trimming and completing EMF models and thereby resolving their cardinality violations. Although being under repair, the model may be viewed and changed interactively during this repair process. The approach and the developed tool support are based on EMF and the model transformation language Henshin.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Apt, K.R., Wallace, M.: Constraint Logic Programming Using Eclipse. Cambridge University Press, Leiden (2006)

    Book  Google Scholar 

  2. Bergmann, G.: Translating OCL to graph patterns. In: Dingel, J., Schulte, W., Ramos, I., Abrahão, S., Insfran, E. (eds.) MODELS 2014. LNCS, vol. 8767, pp. 670–686. Springer, Cham (2014). doi:10.1007/978-3-319-11653-2_41

    Google Scholar 

  3. Biermann, E., Ermel, C., Taentzer, G.: Formal foundation of consistent EMF model transformations by algebraic graph transformation. SoSyM 11, 227–250 (2012)

    Google Scholar 

  4. Egyed, A.: Fixing inconsistencies in UML design models. In: ICSE (2007)

    Google Scholar 

  5. Egyed, A., Letier, E., Finkelstein, A.: Generating and evaluating choices for fixing inconsistencies in UML design models. In: IEEE/ACM, pp. 99–108 (2008)

    Google Scholar 

  6. Hegedüs, Á., Horváth, Á., Ráth, I., Branco, M.C., Varró, D.: Quick fix generation for DSMLs. In: VL/HCC, pp. 17–24. IEEE (2011)

    Google Scholar 

  7. Kehrer, T., Taentzer, G., Rindt, M., Kelter, U.: Automatically deriving the specification of model editing operations from meta-models. In: Van Gorp, P., Engels, G. (eds.) ICMT 2016. LNCS, vol. 9765, pp. 173–188. Springer, Cham (2016). doi:10.1007/978-3-319-42064-6_12

    Chapter  Google Scholar 

  8. Macedo, N., Guimarães, T., Cunha, A.: Model repair and transformation with echo. In: ASE, pp. 694–697. IEEE (2013)

    Google Scholar 

  9. Macedo, N., Tiago, J., Cunha, A.: A feature-based classification of model repair approaches. CoRR abs/1504.03947 (2015)

    Google Scholar 

  10. EMF Model Repair. http://uni-marburg.de/Kkwsr

  11. Nentwich, C., Capra, L., Emmerich, W., Finkelstein, A.: xlinkit: a consistency checking and smart link generation service. ACM 2(2), 151–185 (2002)

    Google Scholar 

  12. Nentwich, C., Emmerich, W., Finkelstein, A.: Consistency management with repair actions. In: Software Engineering, pp. 455–464. IEEE (2003)

    Google Scholar 

  13. Puissant, J.P., Straeten, R.V.D., Mens, T.: Resolving model inconsistencies using automated regression planning. SoSyM 14, 461–481 (2015)

    Google Scholar 

  14. Rabbi, F., Lamo, Y., Yu, I.C., Kristensen, L.M., Michael, L.: A diagrammatic approach to model completion. In: (AMT)@ MODELS (2015)

    Google Scholar 

  15. Radke, H., Arendt, T., Becker, J.S., Habel, A., Taentzer, G.: Translating essential OCL invariants to nested graph constraints focusing on set operations. In: Parisi-Presicce, F., Westfechtel, B. (eds.) ICGT 2015. LNCS, vol. 9151, pp. 155–170. Springer, Cham (2015). doi:10.1007/978-3-319-21145-9_10

    Chapter  Google Scholar 

  16. Salay, R., Chechik, M., Famelis, M., Gorzny, J.: A methodology for verifying refinements of partial models. J. Object Technol. 14, 3:1–3:31 (2015)

    Article  Google Scholar 

  17. Sen, S., Baudry, B., Precup, D.: Partial model completion in model driven engineering using constraint logic programming. In: Proceedings of the INAP 2007 (2007)

    Google Scholar 

  18. Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework 2.0, 2nd edn. Addison-Wesley Professional, Amsterdam (2009)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Philipps-Universität Marburg, Marburg, Germany

    Nebras Nassar

  2. Universität Oldenburg, Oldenburg, Germany

    Hendrik Radke

  3. GFFT Innovationsförderung GmbH, Bad Vilbel, Germany

    Thorsten Arendt

Authors
  1. Nebras Nassar
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hendrik Radke
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Thorsten Arendt
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Nebras Nassar .

Editor information

Editors and Affiliations

  1. Department of Computer Science, Universidad Autónoma de Madrid, Madrid, Spain

    Esther Guerra

  2. Eindhoven University of Technology, Eindhoven, The Netherlands

    Mark van den Brand

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Nassar, N., Radke, H., Arendt, T. (2017). Rule-Based Repair of EMF Models: An Automated Interactive Approach. In: Guerra, E., van den Brand, M. (eds) Theory and Practice of Model Transformation. ICMT 2017. Lecture Notes in Computer Science(), vol 10374. Springer, Cham. https://doi.org/10.1007/978-3-319-61473-1_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-61473-1_12

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-61472-4

  • Online ISBN: 978-3-319-61473-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation