Animated simulation of integrated UML behavioral models based on graph transformation

Proceedings - 2005 IEEE Symposium on Visual Languages and Human-Centric Computing

Volumn 2005, Issue , 2005, Pages 125-133

  Ermel, Claudia ^a   Hölscher, Karsten ^b   Kuske, Sabine ^b   Ziemann, Paul ^b  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^b UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ANIMATION; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SCIENCE; COMPUTER SIMULATION; SOFTWARE PROTOTYPING; THREE DIMENSIONAL COMPUTER GRAPHICS;

AUTOMATIC TRANSLATION; DOMAIN-SPECIFIC LAYOUT; GRAPH TRANSFORMATION SYSTEMS; STATE DIAGRAMS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 33746536574     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/VLHCC.2005.18     Document Type: Conference Paper

References (35)

1. R. Bardohl, C. Ermel, and I. Weinhold. GenGED - a visual definition tool for visual modeling environments. In J. Pfaltz and M. Nagl, editors, Proc. Application of Graph Transformations with Industrial Relevance (AGTIVE'03), 2003.
2. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1998.
3. A. Corradini, U. Montanari, and F. Rossi. Graph processes. Fundamenta Informaticae, 26(3,4):241-265, 1996.
4. 3: A tool for multi-formalism modelling and meta-modelling. In R. Kutsche and H. Weber, editors, Proc. Fundamental Approaches to Software Engineering (FASE'02), volume 2306 of LNCS, pages 174-188. Springer, 2002.
5. H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 2: Applications, Languages and Tools. World Scientific, Singapore, 1999.
6. H. Ehrig, H.-J. Kreowski, U. Montanari, and G. Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 3: Concurrency, Parallelism, and Distribution. World Scientific, Singapore, 1999.
7. G. Engels, J. H. Hausmann, R. Heckel, and S. Sauer. Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML. In A. Evans, S. Kent, and B. Selic, editors, Proc. UML 2000 - The Unified Modeling Language. Advancing the Standard, volume 1939 of LNCS, pages 323-337. Springer, 2000.
8. 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, 3(2):164-177, 2004.
9. C. Ermel and K. Ehrig. View transformation in visual environments applied to Petri nets. In G. Rozenberg, H. Ehrig, and J. Padberg, editors, Proc. Workshop on Petri Nets and Graph Transformation (PNGT), volume 127(2) of ENTCS, pages 61-86. Elsevier, 2005.
10. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
11. GenGED homepage. http://tfs.cs.tu-berlin.de/genged.
12. M. Gogolla and F. Parisi-Presicce. State diagrams in UML: A formal semantics using graph transformations. In M. Broy et al., editors, Proc. ICSE'98 Workshop Precise Semantics of Modeling Techniques, pages 55-72, 1998.
13. M. Gogolla, O. Radfelder, and M. Richters. Towards three-dimensional representation and animation of UML diagrams. In R. France and B. Rumpe, editors, Proc. 2nd Int. Conf. Unified Modeling Language (UML'99), volume 1723 of LNCS, pages 489-502. Springer, 1999.
14. M. Gogolla, P. Ziemann, and S. Kuske. Towards an integrated graph based semantics for UML. In P. Bottoni and M. Minas, editors, Proc. Int. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2002), volume 72/3 of ENTCS, 16 pages. Elsevier, 2003.
15. P. Griebel. ParCon: Parallel Solving of Graphical Constraints. PhD thesis, Univ. of Paderborn, Germany, 1996.
16. A. Habel, R. Heckel, and G. Taentzer. Graph grammars with negative application conditions. Fundamenta Informaticae, 26(3,4):287-313, 1996.
17. O. Köth and M. Minas. Generating diagram editors providing free-hand editing as well as syntax-directed editing. In H. Ehrig and G. Taentzer, editors, Proc. Workshop on Graph Transformation Systems (GraTra2000), pages 32-39. Technical Univ. of Berlin, 2000.
18. H.-J. Kreowski and S. Kuske. Graph transformation units with interleaving semantics. Formal Aspects of Computing, 11:690-723, 1999.
19. S. Kuske. A formal semantics of UML state machines based on structured graph transformation. In M. Gogolla and C. Kobryn, editors, UML 2001 - The Unified Modeling Language. Modeling languages, Concepts, and Tools, volume 2185 of LNCS, pages 241-256. Springer, 2001.
20. S. Kuske, M. Gogolla, H.-J. Kreowski, and R. Kollmann. An integrated semantics for UML class, object and state diagrams based on graph transformation. In M. Butler, L. Petre, and K. Sere, editors, Proc. 3rd Int. Conf. on Integrated Formal Methods (IFM 2002), volume 2335 of LNCS, pages 11-28. Springer, 2002.
21. M. Löwe, M. Korff, and A. Wagner. An algebraic framework for the transformation of attributed graphs. In M. R. Sleep, R. Plasmeijer, and M. van Eekelen, editors, Term Graph Rewriting, Theory and Practice, pages 185-199. Wiley & Sons, Chichester, 1993.
22. A. Maggiolo-Schettini and A. Peron. A graph rewriting framework for Statecharts semantics. In J. E. Cuny, H. Ehrig, G. Engels, and G. Rozenberg, editors, Proc. 5th Int. Workshop on Graph Grammars and their Application to Computer Science, volume 1073 of LNCS, pages 107-121. Springer, 1996.
23. I. Morrea, J. Siddiqi, R. Hibberd, and G. Buckberry. A toolset to support the construction and animation of formal specifications. Systems and Software, 41:147-160, 1998.
24. Object Management Group. OMG Unified Modeling Language Specification, version 1.5, http://www.omg.org, 2003.
25. I. Oliver and S. Kent. Validation of object-oriented models using animation. In Proc. EuroMicro'99, Milan, Italy, 1999.
26. O. Radfelder and M. Gogolla. On better understanding UML diagrams through interactive three-dimensional visualization and animation. In V. D. Gesu, S. Levialdi, and L. Tarantino, editors, Proc. Advanced Visual Interfaces (AVI 2000), pages 292-295. ACM Press, New York, 2000.
27. M. Richters. A UML-based Specification Environment, last revision 2001. http://www.db.informatik.uni-bremen.de/projects/USE.
28. G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 1: Foundations. World Scientific, Singapore, 1997.
29. L. Schaps. Design and implementation of a system executing UML and OCL specifications based on graph transformation (in German). Master's thesis, Univ. of Bremen, 2005.
30. Sysoft. Visio Diagram Animation with Amarcos, http://www.sysoft-fr.com/ en/Amarcos, 2004.
31. G. Taentzer. AGG: A graph transformation environment for system modeling and validation. In T. Margaria, editor, Proc. Tool Exihibition at Formal Methods'03, 2003.
32. D. Varró. A formal semantics of UML Statecharts by model transition systems. In A. Corradini, H. Ehrig, H.-J. Kreowski, and G. Rozenberg, editors, Proc. 1st Int. Conf. on Graph Transformation, volume 2505 of LNCS, pages 378-392. Springer, 2002.
33. WWW Consortium (W3C). Scalable Vector Graphics (SVG) 1.0 Specification, http://www.w3.org/TR/svg, 2000.
34. P. Ziemann, K. Hölscher, and M. Gogolla. Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations. In A. Moura and A. Mota, editors, Proc. Brazilian Symposium on Formal Methods, volume 130 of ENTCS, pages 263-280. Elsevier, 2005.
35. P. Ziemann, K. Hölscher, and M. Gogolla. From UML models to graph transformation systems. In M. Minas, editor, Proc. Workshop on Visual Languages and Formal Methods, volume 127(4) of ENTCS, pages 17-33. Elsevier, 2005.