A Visual Control Flow Language and Its Termination Properties

Authors: László Lengyel, Tihamér Levendovszky, Hassan Charaf

Abstract:

This paper presents the visual control flow support of Visual Modeling and Transformation System (VMTS), which facilitates composing complex model transformations out of simple transformation steps and executing them. The VMTS Visual Control Flow Language (VCFL) uses stereotyped activity diagrams to specify control flow structures and OCL constraints to choose between different control flow branches. This work discusses the termination properties of VCFL and provides an algorithm to support the termination analysis of VCFL transformations.

Keywords: Control Flow, Metamodel-Based Visual Model Transformation, OCL, Termination Properties, UML.

Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1058939

References:

[1] T. Levendovszky, L. Lengyel, G. Mezei, H. Charaf, "A Systematic Approach to Metamodeling Environments and Model Transformation Systems in VMTS", ENTCS, International Workshop on Graph-Based Tools (GraBaTs) Rome, 2004.
[2] UML 2.0 Specifications, http://www.omg.org/uml/
[3] G. Rozenberg (ed.), "Handbook on Graph Grammars and Computing by Graph Transformation: Foundations", Vol.1 World Scientific, Singapore, 1997.
[4] Object Constraint Language Specification (OCL), www.omg.org
[5] M. Fowler, UML Distilled, "A Brief Guide to the Standard Object Modeling Language", 3rd edition, Addison-Wesley, ISBN: 0321193687, 2003.
[6] L. Lengyel, T. Levendovszky, G. Mezei, B. Forstner, H. Charaf, "Metamodel-Based Model Transformation with Aspect-Oriented Constraints, International Workshop on Graph and Model Transformation", GraMoT, Tallinn, Estonia, September 28, 2005, to be published.
[7] H. Ehrig, "Introduction to the Algebraic Theory of Graph Grammars", In:Graph Grammars and Their Applications to Computer Science and Biology, Springer, Ed. V. Claus, H. Ehrig, G. Rozemberg, Berlin, 1979.
[8] H. Ehrig, M. Korff, M. Löwe, "Tutorial introduction to the algebraic approach of graph grammars based on double and single pushouts". In H. Ehrig, H.-J. Kreowski, and G. Rozenberg, editors, Proceedings of the 4th International Workshop on Graph-Grammars and Their Application to Computer Science, volume 532 of Lecture Notes in Computer Science, pages 24-37. Springer Verlag, 1991.
[9] G. Karsai, A. Agrawal, F. Shi, J. Sprinkle, "On the Use of Graph Transformation in the Formal Specification of Model Interpreters", Journal of Universal Computer Science, Special issue on Formal Specification of CBS, 2003.
[10] A. Agrawal, "A Formal Graph-Transformation Based Language for Model-to-Model Transformations", PhD Dissertation, Vanderbilt University, Dept of EECS, August, 2004.
[11] A. Sch├╝rr, "PROGRES for Beginners", Technical Report, Lehrstuhl f├╝r Informatik III, RWTH Aachen, Germany
[12] A. Sch├╝rr, A. Z├╝ndorf, "Nondeterministic Control Structures for Graph Rewriting Systems", in Proc. WG'91 Workshop in Graph- Theoretic Concepts in Computer Science, LNCS 570, Springer Verlag (1992), pp. 48-62, also: Technical Report AIB 91-17, RWTH Germany, 1991.
[13] FUJABA Homepage, http://wwwcs.upb.de/cs/fujaba/
[14] Hans J. Köhler, Ulrich A. Nickel, Jörg Niere, Albert Z├╝ndorf, "Integrating UML Diagrams for Production Control Systems", Proc. of the 22nd International Conf. on Software Engineering (ICSE) Limerick Ireland, ACM Press, 2000, pp. 241-251.
[15] D. Varr├│ and A. Pataricza, "VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML", Journal of Software and Systems Modeling, 2003.
[16] Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabriele Taentzer, Dániel Varró and Szilvia Varró-Gyapay, "Termination Criteria for Model Transformation", LNCS, Vol. 3442: Fundamental Approaches to Software Engineering: 8th International Conference, FASE 2005, Edinburgh, UK, April 4-8, 2005, pages 49-63. Springer-Verlag, 2005.
[17] Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer, "Termination of High-Level Replacement Units with Application to Model Transformation", Electr. Notes Theor. Comput. Sci. 127(4): 71-86, 2005.