Specifying and implementing visual process modeling languages with DiaGen

Electronic Notes in Theoretical Computer Science

Volumn 44, Issue 4, 2001, Pages 67-79

  Minas, Mark ^a   Hoffmann, Berthold ^b  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

^b UNIVERSITY OF BREMEN   (Germany)

Author keywords

Diagram animation; Diagram editor; Graph grammar; Graph transformation; Visual language

Indexed keywords

ANIMATION; COMPUTER SOFTWARE; GRAPH THEORY; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; SPECIFICATIONS;

DIAGRAM ANIMATION; DIAGRAM EDITOR; GRAPH GRAMMAR; GRAPH TRANSFORMATION; VISUAL LANGUAGE;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0003246986     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80944-7     Document Type: Conference Paper

References (31)

1. UML documentation, Rational Software Corporation, [http://www.rational. com/uml].
2. D. Harel, Statecharts: A visual formalism for complex systems, Science of Computer Programming 8 (1987) 231-274.
3. D. Harel, A. Naamad, The STATEMATE semantics of statecharts, ACM Transactions on Software Engineering and Methodology 5(4) (1996) 293-333.
4. H.-J. Schneider, Describing systems of processes by means of high-level replacement, in: Ehrig et al. [31], Ch. 7, pp. 402-450.
5. H. Ehrig, M. Gajewsky, F. Parisi-Presicce, High-level replacement systems applied to algebraic specifications and Petri nets, in: Ehrig et al. [31], Ch. 6, pp. 341-399.
6. M. Minas, G. Viehstaedt, DiaGen: A generator for diagram editors providing direct manipulation and execution of diagrams, in: VL'95 [26], pp. 203-210.
7. Minas M. Diagram editing with hypergraph parser support, in: Proc. 1997 IEEE Symp. on Visual Languages. 1997;230-237 IEEE Computer Society Press, Capri, Italy
8. M. Minas, Creating semantic representations of diagrams, in: Nagl and Schürr [27], pp. 209-224.
9. O. Köth, M. Minas, Generating diagram editors providing free-hand editing as well as syntax-directed editing, in: Proc. International Workshop on Graph Transformation (GRATRA 2000), Berlin, 2000.
10. R. Bardohl, M. Minas, A. Schürr, G. Taentzer, Application of graph transformation to visual languages, in: Ehrig et al. [28], pp. 105-180.
11. A. Schürr, A. Winter, A. Zndorf, Progres: Language and environment, in: Ehrig et al. [28], Ch. 13, pp. 487-550.
12. A. V. Aho, R. Sethi, J. D. Ullman, Compilers - Principles, Techniques, and Tools, Addison-Wesley, 1986.
13. S. S. Chok, K. Marriott, T. Paton, Constraint-based diagram beautification, in:Proc. 1999 IEEE Symp. on Visual Languages, Tokyo, Japan, IEEE Computer Society Press, 1999.
14. Costagliola G., De Lucia A., Orefice S., Tortora G. A parsing methodology for the implementation of visual systems. IEEE Transactions on Software Engineering. 23:(12):1997;777-799
15. S. S. Chok, K. Marriott, Automatic construction of user interfaces from constraint multiset grammars, in: VL'95 [26], pp. 242-249.
16. R. Bardohl, GenGEd: A generic graphical editor for visual languages based on algebraic graph grammars, in: VL'98 [30], pp. 48-55.
17. D.-Q. Zhang, K. Zhang, VisPro: A visual language generation toolset, in: VL'98 [30], pp. 195-201.
18. K. Marriott, B. Meyer, K. B. Wittenburg, A survey of visual language specification and recognition, in: Marriott and Meyer [29], Ch. 1, pp. 5-85.
19. M. Andries, G. Engels, J. Rekers, How to represent a visual specification, in: Marriott and Meyer [29], Ch. 8, pp. 245-260.
20. J. Rekers, A. Schürr, A graph based framework for the implementation of visual environments, in: Proc. 1996 IEEE Symp. on Visual Languages, Boulder, Colorado, IEEE Computer Society Press, 1996, pp. 148-155.
21. R. Bardohl, C. Ermel, L. Ribeiro, Towards visual specification and animation of petri net based models, in: Proc. International Workshop on Graph Transformation (GRATRA 2000), Berlin, 2000.
22. M. Minas, Specifying and generating diagram editors, Habilitationsschrift, Universitát Erlangen, Germany, [In German] (To appear 2001).
23. G. Frey, M. Minas, Editing, visualizing, and implementing signal interpreted petri nets, in: Proc. 7. Workshop Algorithmen und Werkzeuge fr Petrinetze (AWPN'2000), no. TR 2/2000 in Fachberichte Informatik, Universitát Koblenz- Landau, 2000, pp. 57-62.
24. B. Hoffmann, From graph transformation to rule-based programming with diagrams, in: Nagl and Schürr [27], pp. 165-180.
25. B. Hoffmann, M. Minas, A generic model for diagram syntax and semantics, in: J. D. P. Polim, A. Z. Broder, A. Corradini, R. Gorrieri, R. Heckel, J. Hromkovic, U. Vaccaro, J. B. Wells (Eds.), ICALP Workshops 2000, no. 8 in Proceedings in Informatics, Carleton Scientific, Waterloo, Ontario, Canada, 2000, pp. 443-450.
26. Proc. 1995 IEEE Symp. on Visual Languages, Darmstadt, Germany, IEEE Computer Society Press, 1995.
27. Nagl M., Schürr A. Int. Workshop on Applications of Graph Transformations with Industrial Relevance (AGTiVE'99), Selected Papers, Vol. 1779 of Lecture Notes in Computer Science. 2000;Springer
28. Ehrig H., Engels G., Kreowski H.-J., Rozenberg G. Handbook of Graph Grammars and Computing by Graph Transformation. Vol. II: Applications, Languages and Tools. 1999;World Scientific, Singapore
29. Marriott K., Meyer B. Visual Language Theory. 1998;Springer, New York
30. Proc. 1998 IEEE Symp. on Visual Languages, Halifax, Canada, IEEE Computer Society Press, 1998.
31. Ehrig H., Kreowski H.-J., Montanari U., Rozenberg G. Handbook of Graph Grammars and Computing by Graph Transformation, Vol. II: Concurrency, Parallelism, and Distribution. 1999;World Scientific, Singapore