Abstract
This contribution presents a conceptual model of GenGEd, an editor supporting the visual definition of visual languages (VLs). A VL is defined by an alphabet and a grammar. These constituents are the input of a syntax-directed graphical editor allowing the manipulation of visual sentences over VL.
The conceptual framework of GenGEd is based on algebraic graph transformation and algebraic specification techniques. Starting with a type signature Meta VISUAL, for visual alphabets, the user of GenGEd can define a specific VL-alphabet including graphical constraints. The VL-grammar definable on top of the VL-alphabet consists of a start sentence and a set of VL-rules. Each VL-rule is defined by a graph grammar rule in the sense of algebraic graph transformation.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Andries, M., Engels, G., Rekers, J.: How to represent a Visual Program? In: [TVL 1996] (1996)
Bardohl, R.: GenGEd - A Generic Graphical Editor for Visual Languages based on Algebraic Graph Grammars. In: [VL 1998], pp. 48–55 (1998)
Bardohl, R., Taentzer, G.: Defining Visual Languages by Algebraic Specification Techniques and Graph Grammars. In: [TVL 1997], pp. 27–42 (1997)
Costagliola, G., De Lucia, A., Orefice, S., Tortora, G.: A Framework of Syntactic Models for the Implementation of Visual Languages. In: [VL 1997], pp. 58–65 (1997)
Corradini, A., Ehrig, H., Löwe, M., Montanari, U., Padberg, J.: The Category of Typed Graph Grammars and its Adjunctions with Categories of Derivations. In: Cuny, J., Engels, G., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1994. LNCS, vol. 1073, pp. 56–74. Springer, Heidelberg (1996)
Rational Software Corporation. UML– Unified Modeling Language. Technical report, Rational Software Corporation (1998), http://www.rational.com
Ehrig, H., Heckel, R., Korff, M., Löwe, M., Ribeiro, L., Wagner, A., Corradini, A.: Algebraic Approaches to Graph Transformation II: Single Pushout Approach and Comparison with Double Pushout Approach. In: Rozenberg, G. (ed.) The Handbook of Graph Grammars: Foundations, vol. 1. World Scientific, Singapore (1997)
Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics. EACTS Monographs on Theoretical Computer Science, vol. 6. Springer, Berlin (1985)
Göttler, H.: Graph Grammars and Diagram Editing. In: Ehrig, H., Nagl, M., Rozenberg, G., Rosenfeld, A. (eds.) Graph Grammars 1986. LNCS, vol. 291, pp. 216–231. Springer, Heidelberg (1987)
Griebel, P.: ParCon - Paralleles Lösen von grafischen Constraints. PhD thesis, Paderborn University (February 1996)
Habel, A., Heckel, R., Taentzer, G.: Graph Grammars with Negative Application Conditions. Special issue of Fundamenta Informaticae 26(3,4) (1996)
Heckel, R., Wagner, A.: Ensuring Consistency of Conditional Graph Grammars – A constructive Approach. In: Proc. of SEGRAGRA 1995 Graph Rewriting and Computation, Electronic Notes of TCS, 2 (1995), http://www.elsevier.nl/locate/entcs/volume2.html
Löwe, M.: Evolution Patterns. Habilitation, TU-Berlin, (1997); also Technical Report No. 98–4
Melamed, B.: Grundkonzeption und -implementierung einer Attributkomponente für ein Graphtransformationssystem. Diplomarbeit, Informatik, TU Berlin (1999)
Minas, M.: Spezifikation von Diagrammeditoren mit automatischer Layoutanpassung. In: Reichel, H. (ed.) Proc. 23. GI-Jahrestagung, Dresden, Reihe ‘Informatik aktuell’, pp. 334–339. GI (September 1993)
Marriott, K., Meyer, B.: Towards a Hierarchy of Visual Languages. In: [TVL 1996] (1996)
Minas, M., Viehstaedt, G.: DiaGen: A Generator for Diagram Editors Providing Direct Manipulation and Execution of Diagrams. In: [VL 1995] (1995)
Rekers, J.: On the use of Graph Grammars for defining the Syntax of Graphical Languages. Technical Report tr94-11, Leiden University, Dep. of Computer Science (1994)
Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformaitons: Applications, vol. 2. World Scientific Publishing, Singapore (1999)
Rudolf, M.: Konzeption und Implementierung eines Interpreters für attributierte Graphtransformation. Diplomarbeit, Informatik, TU Berlin (1997)
Taentzer, G., Ermel, C., Rudolf, M.: The AGG Approach: Language and Tool Environment. In: [Roz99]
Proc. of the AVI 1996 Workshop Theory of Visual Languages, Gubbio, Italy, May 30 (1996)
Proc. Workshop on Theory of Visual Languages, Capri, Italy, 27 (September 1997)
Üsküdarh, S.M.: Generating Visual Editors for Formally Specified Languages. In: [VL 1994], pp. 278–285 (1994)
Proc. Symp. on Visual Languages, St. Louis, Missouri, October, 4–7, IEEE Computer Society Press (1994)
Proc. Symp. on Visual Languages, Darmstadt, Germany, September, 5-9, IEEE Computer Society Press (1995)
Proc. Symp. on Visual Languages, Capri, Italy, IEEE Computer Society Press (September 1997)
Proc. Symp. on Visual Languages, Halifax, Canada, IEEE Computer Society Press (September 1998)
Wagner, A.: A Formal Object Specification Technique Using Rule-Based Transformation of Partial Algebras. PhD thesis, TU Berlin (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bardohl, R., Ehrig, H. (2000). Conceptual Model of the Graphical Editor GenGEd for the Visual Definition of Visual Languages. In: Ehrig, H., Engels, G., Kreowski, HJ., Rozenberg, G. (eds) Theory and Application of Graph Transformations. TAGT 1998. Lecture Notes in Computer Science, vol 1764. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-46464-8_18
Download citation
DOI: https://doi.org/10.1007/978-3-540-46464-8_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67203-6
Online ISBN: 978-3-540-46464-8
eBook Packages: Springer Book Archive