Design for ‘X’ Through Model Transformation

  • Michael LybecaitEmail author
  • Dawid Kopetzki
  • Bernhard Steffen
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11244)


In this paper we sketch a transformation-oriented framework for establishing system characteristics like model-checkability, learnability, or performance. Backbone of our framework is Cinco, our meta tooling suite for generating DSL-specific development environments on the basis of specifications in terms of metamodels. Cinco is used here to specify the considered source and target languages, as well as the transformation language that allows one to transform source systems/models into semantically equivalent, X-conform target systems. In this paper, we focus on illustrating the power of domain-specific transformation languages by presenting a multi-level transformation pattern that allows one to elegantly capture refinement and aggregation aspects in a rule-based fashion. All this is explained along a number of examples.


Transformation languages and patterns Model transformation ‘X’-by-construction Meta modeling Domain-specific languages Structured Operational Semantics Active automata learning Model checking 


  1. 1.
    Berry, G., Gonthier, G.: The Esterel synchronous programming language: design, semantics, implementation. Sci. Comput. Program. 19(2), 87–152 (1992). Scholar
  2. 2.
    Boßelmann, S., Neubauer, J., Naujokat, S., Steffen, B.: Model-driven design of secure high assurance systems: an introduction to the open platform from the user perspective. In: Margaria, M.G., Solo, A. (eds.) The 2016 International Conference on Security and Management (SAM 2016), Special Track “End-to-end Security and Cybersecurity: from the Hardware to Application”, pp. 145–151. CREA Press (2016)Google Scholar
  3. 3.
    Burkart, O., Steffen, B.: Model checking for context-free processes. In: Cleaveland, W.R. (ed.) CONCUR 1992. LNCS, vol. 630, pp. 123–137. Springer, Heidelberg (1992). Scholar
  4. 4.
    Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)Google Scholar
  5. 5.
  6. 6.
    Frohme, M., Steffen, B.: Active Mining of Document Type Definitions (2018, under submission)CrossRefGoogle Scholar
  7. 7.
    Frohme, M., Steffen, B.: Compositional Learning of Mutually Recursive Procedural Systems (2018, under submission)Google Scholar
  8. 8.
    Havelund, K., Reger, G., Rosu, G.: Runtime verification: Past experiences and future projections (2018)Google Scholar
  9. 9.
    Howar, F., Isberner, M., Merten, M., Steffen, B., Beyer, D.: The RERS grey-box challenge 2012: analysis of event-condition-action systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012. LNCS, vol. 7609, pp. 608–614. Springer, Heidelberg (2012). Scholar
  10. 10.
    Howar, F., Isberner, M., Merten, M., Steffen, B., Beyer, D., Pasareanu, C.S.: Rigorous examination of reactive systems. The RERS challenges 2012 and 2013. Softw. Tools Technol. Transf. 16(5), 457–464 (2014)CrossRefGoogle Scholar
  11. 11.
    Isberner, M., Howar, F., Steffen, B.: The open-source learnLib. In: Kroening, D., Păsăreanu, C.S. (eds.) CAV 2015. LNCS, vol. 9206, pp. 487–495. Springer, Cham (2015). Scholar
  12. 12.
    Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I.: ATL: a model transformation tool. Sc. Comput. Program. 72(1–2), 31–39 (2008)MathSciNetCrossRefGoogle Scholar
  13. 13.
    Kahn, G.: Natural semantics. In: Brandenburg, F.J., Vidal-Naquet, G., Wirsing, M. (eds.) STACS 1987. LNCS, vol. 247, pp. 22–39. Springer, Heidelberg (1987). Scholar
  14. 14.
  15. 15.
    Lauder, M., Anjorin, A., Varró, G., Schürr, A.: Bidirectional model transformation with precedence triple graph grammars. In: Vallecillo, A., Tolvanen, J.-P., Kindler, E., Störrle, H., Kolovos, D. (eds.) ECMFA 2012. LNCS, vol. 7349, pp. 287–302. Springer, Heidelberg (2012). Scholar
  16. 16.
    Margaria, T., Niese, O., Raffelt, H., Steffen, B.: Efficient test-based model generation for legacy reactive systems. In: Ninth IEEE International Proceedings of the High-Level Design Validation and Test Workshop, HLDVT 2004, pp. 95–100. IEEE Computer Society, Washington, DC (2004)Google Scholar
  17. 17.
    Müller-Olm, M., Schmidt, D., Steffen, B.: Model-checking. In: Cortesi, A., Filé, G. (eds.) SAS 1999. LNCS, vol. 1694, pp. 330–354. Springer, Heidelberg (1999). Scholar
  18. 18.
    Naujokat, S., Lybecait, M., Kopetzki, D., Steffen, B.: CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools. Softw. Tools Technol. Transf. 20, 327–354 (2017)CrossRefGoogle Scholar
  19. 19.
    Plotkin, G.D.: A Structural Approach to Operational Semantics. Technical report. University of Aarhus (1981). dAIMI FN-19Google Scholar
  20. 20.
    Rensink, A.: The GROOVE simulator: a tool for state space generation. In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 479–485. Springer, Heidelberg (2004). Scholar
  21. 21.
  22. 22.
    Steffen, B., Gossen, F., Naujokat, S., Margaria, T.: Language-driven engineering: from general-purpose to purpose-specific languages. In: Steffen, B., Woeginger, G. (eds.) Computing and Software Science: State of the Art and Perspectives. LNCS, vol. 10000. Springer (2018, to appear)Google Scholar
  23. 23.
    Steffen, B., Isberner, M., Naujokat, S., Margaria, T., Geske, M.: Property-driven benchmark generation. In: Bartocci, E., Ramakrishnan, C.R. (eds.) SPIN 2013. LNCS, vol. 7976, pp. 341–357. Springer, Heidelberg (2013). Scholar
  24. 24.
    Steffen, B., Isberner, M., Naujokat, S., Margaria, T., Geske, M.: Property-driven benchmark generation synthesizing programs of realistic structure. Softw. Tools Technol. Transf. 16(5), 465–479 (2014)CrossRefGoogle Scholar
  25. 25.
    Varró, D., Balogh, A.: The model transformation language of the VIATRA2 framework. Sci. Comput. Program. 68(3), 214–234 (2007). Special Issue on Model TransformationMathSciNetCrossRefGoogle Scholar
  26. 26.

Copyright information

© Springer Nature Switzerland AG 2018

Authors and Affiliations

  • Michael Lybecait
    • 1
    Email author
  • Dawid Kopetzki
    • 1
  • Bernhard Steffen
    • 1
  1. 1.Chair for Programming SystemsTU Dortmund UniversityDortmundGermany

Personalised recommendations