Towards rule-based visual programming of generic visual systems

This paper illustrates how the diagram programming language DiaPlan can be used to program visual systems. DiaPlan is a visual rule-based language that is founded on the computational model of graph transformation. The language supports object-oriented programming since its graphs are hierarchically structured. Typing allows the shape of these graphs to be specified recursively in order to increase program security. Thanks to its genericity, DiaPlan allows to implement systems that represent and manipulate data in arbitrary diagram notations. The environment for the language exploits the diagram editor generator DiaGen for providing genericity, and for implementing its user interface and type checker.

[1]  Annegret Habel,et al.  Graph Unification and Matching , 1994, TAGT.

[2]  Margaret M. Burnett.  Visual object-oriented programming , 1993, OOPSLA '93.

[3]  Mark Levene,et al.  A nested-graph model for the representation and manipulation of complex objects , 1994, TOIS.

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

[5]  Joseph J. Pfeiffer.  Ludwig,: Decoupling Program Re resentations From Processing Mode P s , 1995 .

[6]  Josef Tapken,et al.  Implementing Hierarchical Graph-Structures , 1999, FASE.

[7]  James C. Spohrer,et al.  KidSim: programming agents without a programming language , 1994, CACM.

[8]  Mark Minas.  Hypergraphs as a Uniform Diagram Representation Model , 1998, TAGT.

[9]  J. Davenport.  Editor , 1960 .

[10]  Gabriele Taentzer,et al.  DIEGO, another step towards a module concept for graph transformation systems , 1995, SEGRAGRA.

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

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

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

[14]  Kenneth M. Kahn,et al.  Complete visualizations of concurrent programs and their executions , 1990, Proceedings of the 1990 IEEE Workshop on Visual Languages.

[15]  Martin Erwig,et al.  Heterogeneous visual languages-integrating visual and textual programming , 1995, Proceedings of Symposium on Visual Languages.

[16]  Berthold Hoffmann,et al.  Hierarchical Graph Transformation , 2002, J. Comput. Syst. Sci..

[17]  Gregor Engels,et al.  Encapsulated hierarchical graphs, graph types, and meta types , 1995, SEGRAGRA.

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

[19]  Albert Zündorf,et al.  The PROGRES approach: language and environment , 1999 .

[20]  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).

[21]  Joseph J. Pfeiffer.  Ludwig/sub 2/: decoupling program representations from processing models , 1995, Proceedings of Symposium on Visual Languages.

[22]  Terrence W. Pratt,et al.  Pair Grammars, Graph Languages and String-to-Graph Translations , 1971, J. Comput. Syst. Sci..

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

[24]  Paul Cull,et al.  Calypso: a visual language for data structures programming , 1997, Proceedings. 1997 IEEE Symposium on Visual Languages (Cat. No.97TB100180).

[25]  Gabriele Taentzer,et al.  Parallel and distributed graph transformation - formal description and application to communication-based systems , 1996, Berichte aus der Informatik.

[26]  Shirley Dex,et al.  JR 旅客販売総合システム（マルス）における運用及び管理について , 1991 .

[27]  Annegret Habel,et al.  Hyperedge Replacement, Graph Grammars , 1997, Handbook of Graph Grammars.

[28]  Wodtli Richard,et al.  A visual language for data structures programming , 1996 .

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