Abstract
In this work we introduce event-driven grammars, a kind of graph grammars that are especially suited for visual modelling environments generated by meta-modelling. Rules in these grammars may be triggered by user actions (such as creating, editing or connecting elements) and in their turn may trigger other user-interface events. Their combination with triple graph transformation systems allows constructing and checking the consistency of the abstract syntax graph while the user is building the concrete syntax model, as well as managing the layout of the concrete syntax representation. As an example of these concepts, we show the definition of a modelling environment for UML sequence diagrams. A discussion is also presented of methodological aspects for the generation of environments for visual languages with multiple views, its connection with triple graph grammars, the formalization of the latter in the double pushout approach and its extension with an inheritance concept.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Atkinson C. and Kühne T. (2002). Rearchitecting the UML infrastructure. ACM Trans. Model. Comput. Simul.
Bardohl R. (2002). A visual environment for visual languages. Sci. Comput. Prog. 44: 181–203
Bardohl, R., Ehrig, H., de Lara, J., Taentzer, G.: Integrating meta modelling aspects with graph transformation for efficient visual language definition and model manipulation. In: Proceedings of ETAPS/FASE’04, LNCS 2984, pp. 214–228. Springer, Heidelberg (2004)
Bottoni, P., Guerra, E., de Lara, J.: Metamodel-based definition of interaction with visual environments. In: Proceedings of the MDDAUI’06, pp. 43–46 (2006)
Bottoni, P., Costagliola, G.: On the definition of visual languages and their editors. Proceedings of DIAGRAMS’02, LNAI 2317, pp. 305–319. Springer, Heidelberg (2002)
Bottoni, P., Taentzer, G., Schürr, A.: Efficient parsing of visual languages based on critical pair analysis and contextual layered graph transformation. In: Proceedings of VL’2000, pp. 59–60 (2000)
Cordes, B., Hölscher, Kreowski, H.-J. 2004.: UML interaction diagrams: correct translation of sequence diagrams into collaboration diagrams. In: Proceedings of AGTIVE’03, LNCS 3062, pp. 275–291. Springer, Heidelberg
Corradini, A., Montanari, U., Rossi, F.: Graph processes. Fundamenta Informaticae, vol. 6(3–4), pp. 241–265. IOS Press (1996)
de Lara, J., Ermel, C., Taentzer, G., Ehrig, K.: Parallel graph transformation for model simulation applied to timed transition petri nets. In: Proceedings of GT-VMT’04, Electronic Notes in Theoretical Computer Science, vol. 109, pp. 17–29. Elsevier, Amsterdam (2004)
de Lara, J., Vangheluwe, H.: AToM3: A tool for multi-formalism modelling and meta-modelling. In: Proceedings of ETAPS/FASE’02, LNCS 2306, pp. 174–188. Springer, Heidelberg. See the AToM3 page: http://atom3.cs.mcgill.ca (2002)
Vangheluwe H., Alfonseca M. and Lara J. (2004). Meta-modelling and graph grammars for multi-paradigm modelling in AToM3. Softw. Syst. Model. 3(3): 194–209
Eclipse Graphical Modeling Framework (GMF) home page at: http://www.eclipse.org/gmf/
Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G.: Handbook of Graph Grammars and Computing by Graph Transformation. (1). World Scientific, Singapore (1999)
Ehrig, H., Habel, A., Padberg, J., Prange, U.: Adhesive high-level replacement categories and systems. In: Proceedings of ICGT’04. LNCS 3256, pp. 144–160. Springer, Heidelberg (2004)
Ehrig, H., Prange, U., Taentzer, G.: Fundamental theory for typed attributed graph transformation. In: Proceedings of ICGT’04. LNCS 3256, pp. 161–177. Springer, Heidelberg (2004)
Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Formal integration of inheritance with typed attributed graph transformation for efficient VL definition and model manipulation. In: Proceedings of 2005 IEEE VL/HCC, pp. 71–78. Dallas (USA) (2005)
Finkelstein A., Kramer J., Nuseibeh B., Finkelstein L. and Goedicke M. (1992). ViewPoints: a framework for integrating multiple perspectives in system development. Int. J. Softw. Eng. Knowl. Eng. 2(1): 31–57
Goedicke M., Enders B.E., Meyer T., Taentzer G. (1999) Towards integrating multiple perspectives by distributed graph transformation. In: Proceedings of AGTIVE’99, LNCS 1999, pp. 369–377. Springer, Heidelberg
Grosse-Rhode M., Bardohl R., Simeoni, M.: Interactive rule-based specification with an application to visual language definition. In: Proceedings of WADT’01, LNCS 2267, pp. 1–20. Springer, Heidelberg (2001)
Guerra, E., de Lara, J.: A framework for the verification of UML models. Examples using petri nets. In: Proceedings of JISBD’03. Alicante, Spain, pp. 325–334 (2003)
Guerra, E., de Lara, J.: Event-driven grammars: towards the integration of meta-modelling and graph transformation. In: Proceedings of ICGT’04, LNCS 3256, pp. 54–69. Springer, Heidelberg (2004)
Guerra, E., Díaz, P., de Lara, J.: Supporting the automatic generation of advanced modelling environments with graph transformation rules. In: Proceedings of JISBD’05, pp. 67–74. Thomson (2005)
Guerra, E., de Lara, J.: Attributed typed triple graph transformation with inheritance in the double pushout approach. In: Technical report UC3M-TR-CS-06-01 of the Universidad Carlos III (Madrid). Available at http://www.ii.uam.es/∼jlara/ investigacion/techRep_UC3M.pdf (2006)
Guerra, E., de Lara, J.: Model view management with triple graph transformation systems. In: Proceedings of ICGT’06, LNCS 4178, pp. 351–366. Springer, Heidelberg (2006)
Heckel, R., Wagner, A.: Ensuring consistency of conditional graph rewriting—a constructive approach. In: Proceedings of SEGRAGRA, ENTCS, vol. 2 (1995)
Jansen, A.R., Marriott, K., Meyer, B.: CIDER: a component-based toolkit for creating smart diagram environments. In: Proceedings of 9th conference on distributed and multimedia systems, pp. 353–359 (2003)
Schürr, A.: Specification of graph translators with triple graph grammars. In: LNCS 903, pp. 151–163. Springer, Heidelberg (1994)
Taentzer, G., Ehrig, K., Guerra, E., de Lara, J., Lengyel, L., Levendovszky, T., Prange, U., Varró, D., Varró-Gyapay, S.: Model transformation by graph transformation: a comparative study. In: Model Transformation in Practice Workshop at MODELS’05. Jamaica (2005)
Taentzer, G., Rensink, A.: Ensuring structural constraints in graph-based models with type inheritance. In: Proceedings of FASE’05, LNCS 3442, pp. 64–79 (2005)
Unified Modeling Language: Diagram interchange version 2.0. June 2005. Available at: http://www.omg.org/docs/ ptc/05-06-04.pdf
UML specification at the OMG’s home page: http://www. omg.org/UML
Vargas, F., Roda, J.L., Estévez, A., Avila, O., Sánchez, E.V.: Generación de Editores Gráficos de Modelos para una Herramienta MDA. In: Proceedings of DSDM’06 workshop at JISBD’06. Sitges (Spain). http://www.dsic.upv. es/workshops/dsdm06 (2006)
Zhu, N., Grundy, J.C., Hosking, J.G., (2004) Pounamu: a meta-tool for multi-view visual language environment construction. In: Proceedings of IEEE VL/HCC, pp. 254–256
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Dr. Francesco Parisi-Presicce.
This is a revised and extended version of a paper presented at the ICGT’04 conference, see [21].
Rights and permissions
About this article
Cite this article
Guerra, E., de Lara, J. Event-driven grammars: relating abstract and concrete levels of visual languages. Softw Syst Model 6, 317–347 (2007). https://doi.org/10.1007/s10270-007-0051-2
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10270-007-0051-2