Advertisement

Towards a Language for Graph-Based Model Transformation Design Patterns

  • Hüseyin Ergin
  • Eugene Syriani
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8568)

Abstract

In model-driven engineering, most problems are solved using model transformation. However, the development of a model transformation for a specific problem is still a hard task. The main reason for that is the lack of a development process where transformations must be designed before implemented. As in object-oriented design, we believe that “good design” of model transformation can benefit tremendously from model transformation design patterns. Hence, in this paper, we present DelTa, a language for expressing design patterns for model transformations. DelTa is more abstract than and independent from any existing model transformation language, yet it is expressive enough to define design patterns as guidelines transformation developers can follow. To validate the language, we have redefined four known model transformation design patterns in DelTa and demonstrated how such abstract transformation guidelines can be implemented in five different model transformation languages.

Keywords

Model Transformation Design Pattern Graph Transformation Traceability Link Concrete Syntax 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Guerra, E., de Lara, J., Kolovos, D., Paige, R., dos Santos, O.: Engineering model transformations with transML. Software and Systems Modeling 12, 555–577 (2013)CrossRefGoogle Scholar
  2. 2.
    Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-oriented Software. Addison-Wesley, Boston (1995)Google Scholar
  3. 3.
    Agrawal, A.: Reusable Idioms and Patterns in Graph Transformation Languages. In: International Workshop on Graph-Based Tools. ENTCS, vol. 127, pp. 181–192. Elsevier (2005)Google Scholar
  4. 4.
    Bézivin, J., Rumpe, B., Tratt, L.: Model Transformation in Practice Workshop Announcement (2005)Google Scholar
  5. 5.
    Ergin, H., Syriani, E.: Identification and Application of a Model Transformation Design Pattern. In: ACM Southeast Conference, ACMSE 2013, Savannah GA. ACM (2013)Google Scholar
  6. 6.
    Iacob, M.E., Steen, M.W.A., Heerink, L.: Reusable Model Transformation Patterns. In: EDOC Workshops, pp. 1–10. IEEE Computer Society (September 2008)Google Scholar
  7. 7.
    Bézivin, J., Jouault, F., Paliès, J.: Towards model transformation design patterns. In: Proceedings of the First European Workshop on Model Transformations, EWMT 2005 (2005)Google Scholar
  8. 8.
    Syriani, E., Gray, J.: Challenges for Addressing Quality Factors in Model Transformation. In: IEEE Software Testing, Verification and Validation, ICST 2012, pp. 929–937 (April 2012)Google Scholar
  9. 9.
    Syriani, E., Gray, J., Vangheluwe, H.: Modeling a Model Transformation Language. In: Domain Engineering: Product Lines, Conceptual Models, and Languages. Springer (2012)Google Scholar
  10. 10.
    Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS. Springer (2006)Google Scholar
  11. 11.
    Kühne, T., Mezei, G., Syriani, E., Vangheluwe, H., Wimmer, M.: Explicit Transformation Modeling. In: Ghosh, S. (ed.) MODELS 2009. LNCS, vol. 6002, pp. 240–255. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  12. 12.
    Syriani, E., Vangheluwe, H.: A Modular Timed Model Transformation Language. Journal on Software and Systems Modeling 12(2), 387–414 (2011)CrossRefGoogle Scholar
  13. 13.
    Agrawal, A., Karsai, G., Shi, F.: Graph transformations on domain-specific models. Journal on Software and Systems Modeling (2003)Google Scholar
  14. 14.
    Varró, D., Balogh, A.: The model transformation language of the VIATRA2 framework. Science of Computer Programming 68(3), 214–234 (2007)CrossRefzbMATHMathSciNetGoogle Scholar
  15. 15.
    Syriani, E., Vangheluwe, H., LaShomb, B.: T-Core: A framework for custom-built model transformation engines. Software & Systems Modeling, 1–29 (2013)Google Scholar
  16. 16.
    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, Part I. LNCS, vol. 6394, pp. 121–135. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  17. 17.
    Czarnecki, K., Helsen, S.: Feature-Based Survey of Model Transformation Approaches. IBM Systems Journal 45(3), 621–645 (2006)CrossRefGoogle Scholar
  18. 18.
    Taentzer, G.: AGG: A graph transformation environment for modeling and validation of software. In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 446–453. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  19. 19.
    Lengyel, L., Levendovszky, T., Mezei, G., Charaf, H.: Model Transformation with a Visual Control Flow Language. International Journal of Computer Science 1(1), 45–53 (2006)Google Scholar
  20. 20.
    Syriani, E., Vangheluwe, H.: De-/Re-constructing Model Transformation Languages. EASST 29 (March 2010)Google Scholar
  21. 21.
    Geiß, R., Kroll, M.: GrGen. net: A fast, expressive, and general purpose graph rewrite tool. In: Schürr, A., Nagl, M., Zündorf, A. (eds.) AGTIVE 2007. LNCS, vol. 5088, pp. 568–569. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  22. 22.
    Ergin, H., Syriani, E.: Implementations of Model Transformation Design Patterns Expressed in DelTa. SERG-2014-01, University of Alabama, Department of Computer Science (February 2014), http://software.eng.ua.edu/reports/SERG-2014-01.pdf
  23. 23.
    Lano, K., Rahimi, S.K.: Constraint-based specification of model transformations. Journal of Systems and Software 86(2), 412–436 (2013)CrossRefGoogle Scholar
  24. 24.
    Levendovszky, T., Lengyel, L., Mészáros, T.: Supporting domain-specific model patterns with metamodeling. Software & Systems Modeling 8(4), 501–520 (2009)CrossRefGoogle Scholar
  25. 25.
    Asztalos, M., Madari, I., Lengyel, L.: Towards formal analysis of multi-paradigm model transformations. SIMULATION 86(7), 429–452 (2010)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Hüseyin Ergin
    • 1
  • Eugene Syriani
    • 1
  1. 1.University of AlabamaUSA

Personalised recommendations