View transformation in visual environments applied to algebraic high-level nets

Electronic Notes in Theoretical Computer Science

Volumn 127, Issue 2, 2005, Pages 61-86

  Ermel, Claudia ^a   Ehrig, Karsten ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

Animation; Graph transformation; Petri nets

Indexed keywords

ALGEBRA; ANIMATION; COMPUTER SIMULATION; COMPUTER SOFTWARE; INFORMATION ANALYSIS; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; SEMANTICS;

DINING PHILOSOPHERS SYSTEM; GRAPH TRANSFORMATION; VISUAL LANGUAGES; VISUAL MODELING TECHNIQUES;

PETRI NETS;

EID: 14944357344     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.02.006     Document Type: Conference Paper

References (22)

1. AGG Homepage http://tfs.cs.tu-berlin.de/agg
2. R. Bardohl A Visual Environment for Visual Languages Science of Computer Programming (SCP) 44 2002 181 203
3. Bardohl, R., C. Ermel and H. Ehrig, Generic Description of Syntax, Behavior and Animation of Visual Models, Technical Report 2001/19, Technische Universität Berlin (2001). URL http://www.cs.tu-berlin.de/%7Elieske/public/ TR-Anim01.ps.gz
4. Bardohl, R., C. Ermel and J. Padberg, Formal Relationship between Petri Nets and Graph Grammars as Basis for Animation Views in GenGED, in: Proc. IDPT 2002: Sixth World Conference on Integrated Design and Process Technology (2002) URL http://www.cs.tu-berlin.de/%7Elieske/public/IDPT02.ps.gz
5. R. Bardohl, G. Taentzer, M. Minas, and A. Schürr Application of Graph Transformation to Visual Languages H. Ehrig G. Engels H.-J. Kreowski G. Rozenberg Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages and Tools 1999
6. Corradini, A. and U. Montanari, Specification of Concurrent Systems: From Petri Nets to Graph Grammars, in: G. Hommel, editor, Proc. Workshop on Quality of Communication-Based Systems, Berlin, Germany (1995)
7. H. Ehrig Behaviour and Instantiation of High-Level Petri Net Processes Fundamenta Informaticae 64 2004 1 37
8. H. Ehrig, and B. Mahr Fundamentals of Algebraic Specification 1: Equations and Initial Semantics EATCS Monographs on Theoretical Computer Science 6 1985 Springer Verlag Berlin
9. H. Ehrig, U. Prange, and G. Taentzer Fundamental theory for typed attributed graph transformation F. Parisi-Presicce P. Bottoni G. Engels Proc. 2nd Int. Conference on Graph Transformation (ICGT'04), Rome, Italy LNCS 3256 2004 Springer 161 177 URL http://www.cs.tu-berlin.de/%7Eehrig/publications/ ICGT04paper2.pdf
10. Ehrig, K., Konzeption und Implementierung eines Generators für Animationsumgebungen für visuelle Modellierungssprachen, Technical Report 2003-17, TUB (2003) URL http://www.cs.tu-berlin.de/cs/ifb/Ahmed/RoteReihe/2003/ TR2003_17.pdf
11. C. Ermel, and R. Bardohl Scenario Animation for Visual Behavior Models: A Generic Approach Software and System Modeling: Special Section on Graph Transformations and Visual Modeling Techniques 5 2004 URL http://www.cs.tu- berlin.de/%7Elieske/public/gEB04.pdf
12. GenGED Homepage http://tfs.cs.tu-berlin.de/genged
13. H.-J. Kreowski A Comparison between Petri Nets and Graph Grammars 5th International Workshop on Graph-Theoretic Concepts in Computer Science 1981 1 19
14. H.-J. Kreowski, and S. Kuske Graph transformation units with interleaving semantics Formal Aspects of Computing 11 1999 690 723
15. Minas, M., Diagram Editing with Hypergraph Parser Support, in: Proc. IEEE Symp. on Visual Languages, Capri, Italy, 1997, pp. 226-233
16. J. Padberg, H. Ehrig, and L. Ribeiro Algebraic high-level net transformation systems Mathematical Structures in Computer Science 5 1995 217 256
17. F. Parisi-Presicce Transformation of Graph Grammars 5th Int. Workshop on Graph Grammars and their Application to Computer Science, Williamsburg '94 LNCS 1073 1996
18. Parisi-Presicce, F., H. Ehrig and U. Montanari, Graph Rewriting with Unification and Composition, in: 3rd Int. Workshop on Graph Grammars and their Application to Computer Science, LNCS 291 (1987), pp. 496-514
19. W. Reisig Petri Nets EATCS Monographs on Theoretical Computer Science 4 1985 Springer Verlag
20. G. Taentzer AGG: A Graph Transformation Environment for Modeling and Validation of Software J. Pfaltz M. Nagl B. Boehlen Application of Graph Transformations with Industrial Relevance (AGTIVE'03) LNCS 3062 2004 Springer 446 456
21. Unified Modeling Language - version 1.5 URL http://www.omg.org/ technology/documents/formal/uml.htm 2004
22. WWW Consortium (W3C) Scalable Vector Graphics (SVG) 1.1 Specification URL http://www.w3.org/TR/svg11/ 2003