Specifying and Implementing Visual Process Modeling Languages with DiaGen

This paper describes how a diagram language can be specified, based on graphs, graph grammars, and transformation rules, and how the diagram editor generator DiaGen generates a diagram editor from such a specification. DiaGen can be applied to practically every visual language, and to visual process modeling languages in particular. This is demonstrated with an editor and animator for statecharts.

[1]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[2]  Kim Marriott,et al.  Constraint-based diagram beautification , 1999, Proceedings 1999 IEEE Symposium on Visual Languages.

[3]  Amnon Naamad,et al.  The STATEMATE semantics of statecharts , 1996, TSEM.

[4]  Berthold Hoffmann,et al.  A Generic Model for Diagram Syntax and Semantics , 2000, ICALP Satellite Workshops.

[5]  Hartmut Ehrig,et al.  Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution , 1999 .

[6]  Mark Minas,et al.  Generating Diagram Editors Providing Free-Hand Editing as well as Syntax-Directed Editing , 2000 .

[7]  Kim Marriott,et al.  Automatic construction of user interfaces from constraint multiset grammars , 1995, Proceedings of Symposium on Visual Languages.

[8]  Georg Frey,et al.  Editing, Visualizing, and Implementing Signal Interpreted Petri Nets , 2000 .

[9]  Bernd Meyer,et al.  Visual Language Theory , 2012, Springer New York.

[10]  Mark Minas,et al.  DiaGen: a generator for diagram editors providing direct manipulation and execution of diagrams , 1995, Proceedings of Symposium on Visual Languages.

[11]  Gregor Engels,et al.  How to represent a visual specification , 1998 .

[12]  Roswitha Bardohl.  GENGED: a generic graphical editor for visual languages based on algebraic graph grammars , 1998, Proceedings. 1998 IEEE Symposium on Visual Languages (Cat. No.98TB100254).

[13]  Carol Sanger,et al.  Editing , 2020, Every Day I Write the Book.

[14]  Andy Schürr,et al.  PROGRES: Language and Environment , 1999 .

[15]  Kim Marriott,et al.  A survey of visual language specification and recognition , 1998 .

[16]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[17]  Hans Jürgen Schneider,et al.  Describing systems of processes by means of high-level replacement , 1999 .

[18]  Mark Minas.  Diagram editing with hypergraph parser support , 1997, Proceedings. 1997 IEEE Symposium on Visual Languages (Cat. No.97TB100180).

[19]  Andy Schürr,et al.  A graph based framework for the implementation of visual environments , 1996, Proceedings 1996 IEEE Symposium on Visual Languages.

[20]  Claudia Ermel,et al.  Towards Visual Specification and Animation of Petri Net Based Models , 2000 .

[21]  Kang Zhang,et al.  VisPro: a visual language generation toolset , 1998, Proceedings. 1998 IEEE Symposium on Visual Languages (Cat. No.98TB100254).

[22]  M. Minas,et al.  Application of graph transformation to visual languages , 1999 .

[23]  Mark Minas,et al.  Creating Semantic Representations of Diagrams , 1999, AGTIVE.

[24]  Genny Tortora,et al.  A Parsing Methodology for the Implementation of Visual Systems , 1997, IEEE Trans. Software Eng..

[25]  Grzegorz Rozenberg,et al.  Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations , 1997 .

[26]  Hartmut Ehrig,et al.  High-level replacement systems applied to algebraic specifications and Petri nets , 1999 .

[27]  Hartmut Ehrig,et al.  Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools , 1999 .

[28]  Berthold Hoffmann,et al.  From Graph Transformation to Rule-Based Programming with Diagrams , 1999, AGTIVE.