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 its turn may trigger other user-interface events. Its combination with (non-monotonic) triple graph grammars allows constructing and checking the consistency of the abstract syntax graph while the user is building the concrete syntax model. As an example of these concepts, we show the definition of a modelling environment for UML sequence diagrams, together with event-driven grammars for the construction of the abstract syntax representation and consistency checking.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Atkinson, C., Kühne, T.: Rearchitecting the UML infrastructure. ACM Transactions on Modeling and Computer Simulation 12(4), 290–321 (2002)
Bardohl, R.: A Visual Environment for Visual Languages. Science of Computer Programming 44, 181–203 (2002), See also the GENGED home page http://tfs.cs.tu-berlin.de/~genged/
Bardohl, R., Ehrig, H., de Lara, J., Taentzer, G.: Integrating Meta Modelling with Graph Transformation for Efficient Visual Language Definition and Model Manipulation. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol. 2984, pp. 214–228. Springer, Heidelberg (2004)
Bottoni, P., Taentzer, G., Schürr, A.: Efficient Parsing of Visual Languages based on Critical Pair Analysis and Contextual Layered Graph Transformation. In: Proc. of VL 2000, pp. 59–60 (2000)
Cordes, B., Hölscher, Kreowski, H.-J.: UML Interaction Diagrams: Correct Translation of Sequence Diagrams into Collaboration Diagrams. In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 273–288. Springer, Heidelberg (2004)
de Lara, J., Vangheluwe, H.: AToM3: A Tool for Multi-Formalism Modelling and Meta-Modelling. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 174–188. Springer, Heidelberg (2002)
Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G.: Handbook of Graph Grammars and Computing by Graph Transformation, vol. 1. World Scientific, Singapore (1999)
Guerra, E., de Lara, J.: A Framework for the Verification of UML Models. Examples using Petri Nets. Jornadas de Ingeniería del Software y Bases de Datos, JISBD, Alicante, Spain. pp. 325–334 (2003)
Jansen, A.R., Marriott, K., Meyer, B.: CIDER: A Component-Based Toolkit for Creating Smart Diagram Environments. In: Proc. of the 9th Conference on Distributed and Multimedia Systems, pp. 353–359. Knowledge Systems Institute (2003)
Odell, J.: Power types. Journal of Object Oriented Programming (May 1994)
Schürr, A.: Specification of Graph Translators with Triple Graph Grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol. 903, pp. 151–163. Springer, Heidelberg (1995)
UML specification at the OMG’s home page http://www.omg.org/UML
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Guerra, E., de Lara, J. (2004). Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds) Graph Transformations. ICGT 2004. Lecture Notes in Computer Science, vol 3256. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30203-2_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-30203-2_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23207-0
Online ISBN: 978-3-540-30203-2
eBook Packages: Springer Book Archive