Abstract
Visual languages (VLs) play a central role in modelling various system aspects. Besides standard languages like UML, a variety of domain-specific languages exist which are the more used the more tool support is available for them. Different kinds of generators have been developed which produce visual modelling environments based on VL specifications. To define a VL, declarative as well as constructive approaches are used. The meta modelling approach is a declarative one where classes of symbols and relations are defined and associated to each other. Constraints describe additional language properties. Defining a VL by a graph grammar, the constructive way is followed where graphs describe the abstract syntax of models and graph rules formulate the language grammar.
In this paper, we extend algebraic graph grammars by a node type inheritance concept which opens up the possibility to integrate both approaches by identifying symbol classes with node types and associations with edge types of some graph class. In this way, declarative as well as constructive elements may be used for language definition and model manipulation. Two concrete approaches, the GenGED and the AToM3 approach, illustrate how VLs can be defined and models can be manipulated by the techniques described above.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
Bardohl, R.: 2002 A Visual Environment for Visual Languages Science of Computer Programming 44, pp. 181–203 (2002), The GENGED home page: http://tfs.cs.tu-berlin.de/genged
Bardohl, R., Ehrig, H., de Lara, J., Runge, O., Taentzer, G., Weinhold, I.: Node Type Inheritance Concept for Typed Graph Transformation Technical Report 2003–19, TU Berlin (2003)
Bardohl, R., Ermel, C.: Visual Specification and Parsing of a Statechart Variant using GENGED. In: Statechart Modeling Contest, part of VLFM 2001(2001)
Bardohl, R., Taentzer, G., Minas, M., Schürr, A.: Application of Graph Transformation to Visual Languages. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation, vol. 2, pp. 105–181. World Scientific, Singapore (1999)
Baresi, L., Pezze, M.: A Toolbox for Automating Visual Software Engineering. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 189–202. Springer, Heidelberg (2002)
Bottoni, P., Koch, M., Parisi-Presicce, F., Taentzer, G.: A Visualization of OCL Using Collaborations. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, p. 257. Springer, Heidelberg (2001)
Bottoni, P., Schürr, A., Taentzer, G.: Efficient Parsing of Visual Languages based on Critical Pair Analysis and Contextual Layered Graph Transformation. Technical Report no. si-2000-06, University of Rome (2000)
Corradini, A., Montanari, H., Rossi, F.: Graph Processes. Special Issue of Fundamenta Informaticae 26(3-4), 241–266 (1996)
Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., Löwe, M.: Algebraic Approaches to Graph Transformation I: Basic Concepts and Double Pushout Approach. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation, vol. 1, pp. 163–245. World Scientific, Singapore (1997)
de Lara, J., Vangheluwe, H., Alfonseca, M.: Meta-Modelling and Graph Grammars for Multi-Paradigm Modelling in AToM3. To appear in Software and Systems Modelling. Springer, Heidelberg (2003), See also the AToM3 home page at http://atom3.cs.mcgill.ca
Ermel, C., Rudolf, M., Taentzer, G.: The AGG Approach: Language and Tool Environment. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation, vol. 2, pp. 551–603. World Scientific, Singapore (1999); See also the AGG Home Page: http://www.tfs.cs.tu-berlin.de/agg
Harel, D.: Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming 8, 231–274 (1987)
Heckel, R., Küster, J., Taentzer, G.: Towards Automatic Translation of UML Models into Semantic Domains. In: Kreowski, H.-J. (ed.) Proc. AGT 2002, pp. 11–22 (2002)
Heckel, R., Wagner, A.: Ensuring Consistency of Conditional Graph Grammars – A constructive Approach. ENTCS, vol. 2. Elsevier, Amsterdam (1995)
Kuske, S.: A Formal Semantics of UML State Machines Based on Structured Graph Transformation. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, p. 241. Springer, Heidelberg (2001)
Lédczi, A., Bakay, A., Marói, M., Vögyesi, P., Nordstrom, G., Sprinkle, J., Karsai, G.: Composing Domain-Specific Design Environments. IEEE Computer, 44–51 (2001); See also the GME home page: http://www.isis.vanderbilt.edu/Projects/gme/default.html
Matz, M.: Konzeption und Implementierung eines Konsistenznachweisverfahrens für attributierte Graphtransformation. Master’s thesis, TU Berlin, Fak. IV (2002)
Marriot, K., Meyer, B.: Visual Language Theory. Springer, Heidelberg (1998)
MDA, MOF and UML specifications at the OMG web page: http://www.omg.org/
Nickel, U., Niere, J., Zündorf, A.: The Fujaba Environment. In: ICSE 2000, pp. 742–745 (2000); See also the Fujaba Home Page: http://www.fujaba.de/
Schürr, A.: Programmed Graph Replacement Systems. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation, vol. 1, pp. 479–546. World Scientific, Singapore (1996); See also the PROGRES home page: http://www-i3.informatik.rwth-aachen.de/research/projects/progres/
Varro, D.: A Formal Semantics of UML Statecharts by Model Transition Systems. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, pp. 378–392. Springer, Heidelberg (2002)
Warmer, J.B., Kleppe, A.: The Object Constraint Language: Precise Modeling with UML. Object Technology Services. Addison-Wesley, Reading (1998)
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
Bardohl, R., Ehrig, H., de Lara, J., Taentzer, G. (2004). Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation. In: Wermelinger, M., Margaria-Steffen, T. (eds) Fundamental Approaches to Software Engineering. FASE 2004. Lecture Notes in Computer Science, vol 2984. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24721-0_16
Download citation
DOI: https://doi.org/10.1007/978-3-540-24721-0_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21305-5
Online ISBN: 978-3-540-24721-0
eBook Packages: Springer Book Archive