Papers by Roswitha Bardohl
Specifying a Graph Grammar Editor for Reactive Systems
ABSTRACT This paper discusses the use of a generic graphical editor (GenGED) to construct an edit... more ABSTRACT This paper discusses the use of a generic graphical editor (GenGED) to construct an editor for a kind of graph grammars that can be used to specify reactive systems. The main aim is to provide (the ideas of) a formal specification of graph grammars that can be used as input for the generation of this editor. 1 Introduction Together with the increasing use of networks of computers, the use of reactive systems became more and more common in practice. Such systems are usually characterized by the existence of many components acting independently and performing their computations in reaction to messages (or signals) obtained from other components (or their environments). Due to this inheritant reactive characteristic, the use of rules to describe the behavior of such systems seems to be adequate: the left-hand side represents the message or signal received by one component, and the right-hand side represents the reaction to this message. As reactive systems are naturally parallel (all...
Visual Definition of Visual Languages based on Algebraic Graph Transformation
Konzept und Implementierung der Sprache GVT zur graphischen Visualisierung von Termen algebraicher Spezifikationen
Konzept und Implementierung der Sprache GVT zur graphischen Visualisierung von Termen algebraischer Spezifikationen
Agtive, 1999
Within this contribution GENGED is presented, a development environment for visual languages. GEN... more Within this contribution GENGED is presented, a development environment for visual languages. GENGED offers a hybrid language for defining the syntax of visual languages consisting of an alphabet and a grammar. Correspondingly, the main components of GENGED are given by an alphabet and a grammar editor. The syntax description is the input of a diagram editor allowing the syntax-directed manipulation of diagrams. The grammar definition as well as the manipulation of diagrams is based on algebraic graph transformation and graphical constraint solving.
Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587), 2001
The PLATUS simulation environment allows for a modular description of simulation models, clearly ... more The PLATUS simulation environment allows for a modular description of simulation models, clearly separating aspects of behavior, statistics and animation. Each component of a model in PLATUS has its own animation interface, that describes when and which messages will be sent to a corresponding animation module. The GENGED environment was originally developed for the visual definition of visual languages and the generation of language-specific graphical editors. Here we will extend GENGED in order to define several animation modules which can be connected via animation interfaces to PLATUS modules, allowing for a visual animation of the application being simulated.
Tool-Based Specification of Visual Languages and Graphic Editors
Lecture Notes in Computer Science, 2000
ABSTRACT In this contribution we introduce GenGEd, an environment which is used to interactively ... more ABSTRACT In this contribution we introduce GenGEd, an environment which is used to interactively specify and generate syntax-directed editors for visual languages. In analogy to textual languages a visual language is specified by both, an alphabet and a grammar. Hence, the GenGEd environment provides an Alphabet Editor and a Grammar Editor, respectively. The grammar rules defined using the Grammar Editor specify not only language-generating rules but additionally the editing commands of the Graphic Editor for the specific visual language. The language-specific Graphic Editor then can be used in various environments to allow for syntax-directed drawing of diagrams.
Proceedings. 1998 IEEE Symposium on Visual Languages (Cat. No.98TB100254), 1998
GENGED is a generic graphical editor supporting the graphical definition of visual languages. Giv... more GENGED is a generic graphical editor supporting the graphical definition of visual languages. Given an alphabet and rules of a specific visual language GENGED generates a syntax-directed graphical editor for this language. GENGED as well as each visual language defined using GENGED is based on algebraic graph grammars. A sentence is given by a graphical structure consisting of a logical (abstract syntax) and a visual level (concrete syntax). Both levels are connected by layout operations. Visual language rules are defined by graph grammar rules. The underlying logical structure, however, is hidden from the user, but it is essential for a formal presentation and manipulation of graphical structures on both levels. The manipulations are performed by a graph transformation machine working on the logical level, whereas a graphical constraint solver manages the layout the user works with.
Lecture Notes in Computer Science, 2000
Within this contribution GENGED is presented, a development environment for visual languages. GEN... more Within this contribution GENGED is presented, a development environment for visual languages. GENGED offers a hybrid language for defining the syntax of visual languages consisting of an alphabet and a grammar. Correspondingly, the main components of GENGED are given by an alphabet and a grammar editor. The syntax description is the input of a diagram editor allowing the syntax-directed manipulation of diagrams. The grammar definition as well as the manipulation of diagrams is based on algebraic graph transformation and graphical constraint solving.
GVT - User's Manual
ABSTRACT
Specifying a Graph Grammer Editor for Reactive Systems
GenGEd -- A Generator for VL-Editors based on Algebraic Graph Transformation and Graphical Constraint Solving
A Generic Graphical Editor for Visual Languages based on Algebraic Graph Grammars
ABSTRACT
Interactive Rule-Based Specification with an Application to Visual Language Definition
Lecture Notes in Computer Science, 2002
Abstract: In a rule-based approach the computation steps of a system are specified by rules that ... more Abstract: In a rule-based approach the computation steps of a system are specified by rules that completely define how the system's state may change. For open systems a more liberal approach is required, where the state changes are only partly specified, and -- interactively -- other components may contribute further information on how the transformation is defined completely. In this
Science of Computer Programming, 2002
The visual environment GENGED supports the visual deÿnition of visual languages (VLs). Each VL is... more The visual environment GENGED supports the visual deÿnition of visual languages (VLs). Each VL is deÿned by an alphabet and a grammar. From a speciÿc VL-deÿnition, a VL-speciÿcation is generated which is the input of a graphical editor allowing for syntax-directed editing of diagrams over the speciÿed VL. GENGED as well as each VL is based on the well-deÿned concepts of algebraic graph transformation and graphical constraint solving. The underlying formalism is hidden from the user, but it is essential for a formal presentation and manipulation of graphical structures. In this contribution, the GENGED concepts and environment are brie y proposed and illustrated by the deÿnition of a simple kind of the well-known statechart language.
Specifying a Graph Grammar Editor for Reactive Systems
ABSTRACT This paper discusses the use of a generic graphical editor (GenGED) to construct an edit... more ABSTRACT This paper discusses the use of a generic graphical editor (GenGED) to construct an editor for a kind of graph grammars that can be used to specify reactive systems. The main aim is to provide (the ideas of) a formal specification of graph grammars that can be used as input for the generation of this editor. 1 Introduction Together with the increasing use of networks of computers, the use of reactive systems became more and more common in practice. Such systems are usually characterized by the existence of many components acting independently and performing their computations in reaction to messages (or signals) obtained from other components (or their environments). Due to this inheritant reactive characteristic, the use of rules to describe the behavior of such systems seems to be adequate: the left-hand side represents the message or signal received by one component, and the right-hand side represents the reaction to this message. As reactive systems are naturally parallel (all...
Graphical Visualization for an Algebraic Specification of Shipping Software
GenGEd–Visual Definition of Visual Languages based on Algebraic Graph Transformation. Verlag Dr. Kovac, 2000
ABSTRACT
A Development Environment for Visual Languages
ABSTRACT Within this contribution GENGED is presented, a development environment for visual langu... more ABSTRACT Within this contribution GENGED is presented, a development environment for visual languages. GENGED offers a hybrid language for defining the syntax of visual languages consisting of an alphabet and a grammar. Correspondingly, the main components of GENGED are given by an alphabet and a grammar editor. The syntax description is the input of a diagram editor allowing the syntax-directed manipulation of diagrams. The grammar definition as well as the manipulation of diagrams is based on algebraic graph transformation and graphical constraint solving. Keywords: visual language, algebraic graph transformation, constraint solving, ruleand constraint-based editor. 1 Introduction Visual languages (VLs) are emerging in various application areas, compare for example [Shu88,Cha90,BGL95,Sch98]. Usually they are tightly integrated with a corresponding visual environment (VE). This is the main disadvantage when the concepts of a language or the visual notations are changed. Then a partial reimp...
Uploads
Papers by Roswitha Bardohl