Skip to main content
SpringerLink
Log in

Automatic Inference of Rule-Based Specifications of Complex In-place Model Transformations

  • 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

Optimal support for continuous evolution in model-based software development requires tool environments to be customisable to domain-specific modelling languages. An important aspect is the set of change operations available to modify models. In-place model transformations are well-suited for that purpose. However, the specification of transformation rules requires a deep understanding of the language meta-model, limiting it to expert tool developers and language designers. This is at odds with the aim of domain-specific visual modelling environments, which should be customisable by domain experts.

We follow a model transformation by-example approach to mitigate that problem: Users generate transformation rules by creating examples of transformations using standard visual editors as macro recorders. Our ambition is to stick entirely to the concrete visual notation domain experts are familiar with, using rule inference to generalise a set of transformation examples. In contrast to previous approaches to the same problem, our approach supports the inference of complex rule features such as negative application conditions, multi-object patterns and global invariants. We illustrate the functioning of our approach by the inference of a complex and widely used refactoring operation on UML class diagrams.

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. Accompanying material for this paper (2017). http://icmt.mtrproject.uk

  2. Acreţoaie, V., Störrle, H., Strüber, D.: VMTL: a language for end-user model transformation. Softw. Syst. Model., 1–29 (2016)

    Google Scholar 

  3. Alshanqiti, A., Heckel, R.: Extracting visual contracts from Java programs. In: ASE (2015)

    Google Scholar 

  4. Alshanqiti, A., Heckel, R., Khan, T.: Learning minimal and maximal rules from observations of graph transformations. In: ECEASST, vol. 58 (2013)

    Google Scholar 

  5. Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: advanced concepts and tools for in-place EMF model transformations. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010. LNCS, vol. 6394, pp. 121–135. Springer, Heidelberg (2010). doi:10.1007/978-3-642-16145-2_9

    Chapter  Google Scholar 

  6. Baki, I., Sahraoui, H.: Multi-step learning and adaptive search for learning complex model transformations from examples. TOSEM 25(3), 20 (2016)

    Article  Google Scholar 

  7. Balogh, A., Varró, D.: Advanced model transformation language constructs in the VIATRA2 framework. In: ACM Symposium on Applied Computing (2006)

    Google Scholar 

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

    Google Scholar 

  9. Bisztray, D., Heckel, R., Ehrig, H.: Verification of architectural refactorings: rule extraction and tool support. In: ECEASST, vol. 16 (2009)

    Google Scholar 

  10. Brambilla, M., Cabot, J., Wimmer, M.: Model-Driven Software Engineering in Practice. Morgan & Claypool Publishers, San Rafael (2012)

    Google Scholar 

  11. Brosch, P., Langer, P., Seidl, M., Wieland, K., Wimmer, M., Kappel, G., Retschitzegger, W., Schwinger, W.: An example is worth a thousand words: composite operation modeling by-example. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 271–285. Springer, Heidelberg (2009). doi:10.1007/978-3-642-04425-0_20

    Chapter  Google Scholar 

  12. Bruggink, H.J.S.: Towards process mining with graph transformation systems. In: Giese, H., König, B. (eds.) ICGT 2014. LNCS, vol. 8571, pp. 253–268. Springer, Cham (2014). doi:10.1007/978-3-319-09108-2_17

    Google Scholar 

  13. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, Heidelberg (2006)

    MATH  Google Scholar 

  14. Flamm, C., Merkle, D., Stadler, P.F., Thorsen, U.: Automatic inference of graph transformation rules using the cyclic nature of chemical reactions. In: Echahed, R., Minas, M. (eds.) ICGT 2016. LNCS, vol. 9761, pp. 206–222. Springer, Cham (2016). doi:10.1007/978-3-319-40530-8_13

    Chapter  Google Scholar 

  15. 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). doi:10.1007/978-3-642-02408-5_5

    Chapter  Google Scholar 

  16. Getir, S., Rindt, M., Kehrer, T.: A generic framework for analyzing model co-evolution. In: ME@MoDELS (2014)

    Google Scholar 

  17. Grønmo, R.: Using concrete syntax in graph-based model transformations. Ph.D. thesis, University of Oslo (2009)

    Google Scholar 

  18. Hölldobler, K., Rumpe, B., Weisemoller, I.: Systematically deriving domain-specific transformation languages. In: MoDELS (2015)

    Google Scholar 

  19. Kappel, G., Langer, P., Retschitzegger, W., Schwinger, W., Wimmer, M.: 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). doi:10.1007/978-3-642-28279-9_15

    Chapter  Google Scholar 

  20. Kehrer, T., Kelter, U., Ohrndorf, M., Sollbach, T.: Understanding model evolution through semantically lifting model differences with silift. In: ICSM (2012)

    Google Scholar 

  21. Kehrer, T., Kelter, U., Reuling, D.: Workspace updates of visual models. In: ASE (2014)

    Google Scholar 

  22. Kolovos, D.S., Di Ruscio, D., Pierantonio, A., Paige, R.F.: Different models for model matching: An analysis of approaches to support model differencing. In: CVSM@ICSE (2009)

    Google Scholar 

  23. Kühne, T., Hamann, H., Arifulina, S., Engels, G.: Patterns for constructing mutation operators: limiting the search space in a software engineering application. In: European Conference on Genetic Programming (2016)

    Google Scholar 

  24. Mens, T.: On the use of graph transformations for model refactoring. In: Lämmel, R., Saraiva, J., Visser, J. (eds.) GTTSE 2005. LNCS, vol. 4143, pp. 219–257. Springer, Heidelberg (2006). doi:10.1007/11877028_7

    Chapter  Google Scholar 

  25. Mens, T., Van Gorp, P.: A taxonomy of model transformation. In: ENTCS, vol. 152 (2006)

    Google Scholar 

  26. Object Management Group: UML 2.5 superstructure specification. OMG Document Number: formal/15-03-01 (2015)

    Google Scholar 

  27. Sun, Y., White, J., Gray, J.: Model transformation by demonstration. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 712–726. Springer, Heidelberg (2009). doi:10.1007/978-3-642-04425-0_58

    Chapter  Google Scholar 

  28. Taentzer, G., Crema, A., Schmutzler, R., Ermel, C.: Generating domain-specific model editors with complex editing commands. In: Schürr, A., Nagl, M., Zündorf, A. (eds.) AGTIVE 2007. LNCS, vol. 5088, pp. 98–103. Springer, Heidelberg (2008). doi:10.1007/978-3-540-89020-1_8

    Chapter  Google Scholar 

  29. You, C.h., Holder, L.B., Cook, D.J.: Learning patterns in the dynamics of biological networks. In: International Conference on Knowledge Discovery and Data Mining (2009)

    Google Scholar 

Download references

Acknowledgments

The work of the first author was partially supported by the DFG (German Research Foundation) under the Priority Programme SPP1593: Design For Future – Managed Software Evolution.

Author information

Authors and Affiliations

  1. Humboldt-Universität zu Berlin, Berlin, Germany

    Timo Kehrer

  2. University of Leicester, Leicester, UK

    Abdullah Alshanqiti & Reiko Heckel

Authors
  1. Timo Kehrer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Abdullah Alshanqiti
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Reiko Heckel
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Timo Kehrer .

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

Kehrer, T., Alshanqiti, A., Heckel, R. (2017). Automatic Inference of Rule-Based Specifications of Complex In-place Model Transformations. 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_7

Download citation

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

  • 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