Skip to main content
Log in

Scenario animation for visual behavior models: A generic approach

  • Special section on graph transformations and visual modeling techniques
  • Published:
Software & Systems Modeling Aims and scope Submit manuscript

Abstract

Visualizing and simulating formal models in a flexible way becomes increasingly important for the design of complex systems. With GenGED, a tool is available which automatically generates a visual environment to process (create, edit, check, simulate) visual models over a specified visual language. Both the specification of the language and the model manipulation are based on graph grammars. In this paper, we present the means to transform visual models into application oriented views, called scenario views. We show how a model is consistently transferred to a scenario views and animated there. The extension of GenGED concerning scenario animation is discussed.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. AGG Homepage. http://tfs.cs.tu-berlin.de/agg

  2. Bardohl R (1999) GenGEd – Visual Definition of Visual Languages based on Algebraic Graph Transformation. Verlag Dr. Kovac, 2000. PhD thesis, Technische Universität Berlin

  3. Bardohl R (2002) A Visual Environment for Visual Languages. Science of Computer Programming (SCP) 44(2):181–203

    Google Scholar 

  4. Bardohl R, Ehrig K, Ermel C, Qemali A, Weinhold I (2002) GenGEd – Specifying Visual Environments based on Visual Languages. In: Kreowski H-J (ed) Proc. of APPLIGRAPH Workshop on Applied Graph Transformation (AGT 2002), pp 71–82

  5. Bardohl R, Ermel C (2001) Visual Specification and Parsing of a Statechart Variant using GenGEd. In: Statechart Modeling Contest at IEEE Symposium on Visual Languages and Formal Methods (VLFM’01). Stresa, Italy, September 5–7, 2001

  6. Bardohl R, Ermel C, Padberg J (2002) Transforming Specification Architectures by GenGED. In: Corradini A, Ehrig H, Kreowski H-J, Rozenberg G (eds) Proc. First Int. Conference on Graph Transformation (ICGT’02), Barcelona, Spain, October 2002, LNCS, vol 2505. Springer, pp 30–44. ISBN 3-540-44310-X

  7. Bardohl R, Ermel C, Ribeiro L (2000) A Modular Approch to Animation of Simulation Models. In: Proc. 14th Brazilian Symposium on Software Engineering, Joao Pessoa, Brazil, October 2000

  8. Bardohl R, Schultzke T, Taentzer G (2001) Visual Language Parsing in GenGEd. In: Pezze M, Baresi L, Taentzer G (eds) Proc. 2nd International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT’01), Crete, Greece, June 12–13, 2001. ENTCS, vol 50, Elsevier Science Publishers

  9. Bardohl R, Taentzer G, Minas M, Schürr A (1999) Application of Graph Transformation to Visual Languages. In: Ehrig H, Engels G, Kreowski H-J, Rozenberg G (eds) Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages and Tools. World Scientific

  10. Baresi L, Heckel R (2002) Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. In: Corradini A, Ehrig H, Kreowski H-J, Rozenberg G (eds) Proc. First Int. Conference on Graph Transformation (ICGT’02), Barcelona, Spain, October 2002, pp 402–429

  11. Baresi L, Pezze M (2002) A Toolbox for Automating Visual Software Engineering. In: Kutsche R, Weber H (eds) Proc. Fundamental Approaches to Software Engineering (FASE’02), Grenoble, April 2002, LNCS, vol 2306. Springer, pp 189–202

  12. Black AF (1998) Metaphor in Diagrams. PhD thesis, Darwin College, Cambridge, Massachusetts

  13. Carroll JM (ed) (1995) Scenario-Based Design. John Wiley & Sons, New York

  14. Honeywell Technology Center (1999) DOME Guide, Version 5.2.1. http://www.thc.honeywell.com/dome/

  15. de Lara J, Vangheluwe H (2002) ATOM3: A Tool for Multi-Formalism Modelling and Meta-Modelling. In: Kutsche R, Weber H (eds) Proc. Fundamental Approaches to Software Engineering (FASE’02), Grenoble, April 2002, LNCS, vol 2306. Springer, pp 174–188

  16. D’Souza DF, Wills AC (1998) Objects, Components, and Frameworks With UML: The Catalysis Approach. Addison-Wesley Object Technology Series. Addison-Wesley. See also: http://www.catalysis.org/books/ocf/index.htm

  17. Ehrig H, Reisig W, Weber H, Borusan A, Lembke S, Dehnert J, Weber M, Martens A, Padberg J, Ermel C, Qemali A (2003) The Petri Net Baukasten of the DFG-Forschergruppe PETRI NET TECHNOLOGY. In: Ehrig et al. [18]

  18. Ehrig H, Reisig W, Rozenberg G, Weber H (eds) (2003) Advances in Petri Nets: Petri Net Technology for Communication Based Systems. LNCS, vol 2472. Springer

    Google Scholar 

  19. Ehrig K (2003) Konzeption und Implementierung eines Generators für Animationsumgebungen für visuelle Modellierungssprachen. Technical Report 2003-17, Technische Universität Berlin. ISSN 1436-9915

  20. Ermel C, Bardohl R, Ehrig H (2001) Specification and Implementation of Animation Views for Petri Nets. In: Weber et al. [31], pp 75–92

  21. GenGED Homepage. http://tfs.cs.tu-berlin.de/genged

  22. Glinz M (2000) Improving the Quality of Requirements with Scenarios. In: Proc. of the Second World Congress for Software Quality (2WCSQ), Yokohama, pp 55–60

  23. Grahlmann B (1999) The State of PEP. In: Haeberer MA (ed) Proceedings of AMAST’98 (Algebraic Methodology and Software Technology), LNCS, vol 1548. Springer

  24. Harel D, Marelly R (2003) Come, Let’s Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer-Verlag. ISBN 3-540-00787-3

  25. Kindler E, Weber M (1999) The Petri Net Kernel – Documentation of the Application Interface, Revision 2.0, http://www.informatik.hu-berlin.de/top/pnk/index.html

  26. MetaCASE KOGGE – KOblenz Generator for Graphical Environments. http://www.uni-koblenz.de/ist/kogge.en.html

  27. Köth O, Minas M (2000) Generating Diagram Editors Providing Free-Hand Editing as well as Syntax-Directed Editing. In: Ehrig H, Taentzer G (eds) Proc. Joint APPLIGRAPH and GETGRATS Workshop on Graph Transformation Systems (GraTra 2000), Technische Universität Berlin, pp 32–39

  28. Schürr A, Winter A, Zündorf A (1999) The PROGRES-Approach: Language and Environment. In: Ehrig H, Engels G, Kreowski J-J, Rozenberg G (eds) Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages and Tools. World Scientific

  29. Taentzer G, Ermel C, Rudolf M (1998) The AGG-Approach: Language and Tool Environment. In: Ehrig H, Engels G, Kreowski H-J, Rozenberg G (eds) Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages and Tools, World Scientific, pp 551–603

  30. Unified Modeling Language – version 1.4, 2002. Available at http://www.omg.org/uml

  31. Weber H, Ehrig H, Reisig W (eds) (2001) 2nd Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Berlin, Germany, Sept 2001. Researcher Group Petri Net Technology, Fraunhofer Gesellschaft ISST

  32. Weidenhaupt K, Pohl K, Jarke M, Haumer P (1998) Scenarios in System Development: Current Practice. IEEE Software 15(2):34–35

    Article  Google Scholar 

  33. WWW Consortium (W3C) (2000) Scalable Vector Graphics (SVG) 1.0 Specification. http://www.w3.org/TR/svg

  34. Zhang K, Zhang D, Cao J (2001) Design, Construction and Application of a Generic Visual Language Generation Environment. IEEE Transactions on Software Engineering 27(4):289–307

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Claudia Ermel.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Ermel, C., Bardohl , R. Scenario animation for visual behavior models: A generic approach. Softw Syst Model 3, 164–177 (2004). https://doi.org/10.1007/s10270-003-0048-4

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10270-003-0048-4

Keywords