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.
Similar content being viewed by others
References
AGG Homepage. http://tfs.cs.tu-berlin.de/agg
Bardohl R (1999) GenGEd – Visual Definition of Visual Languages based on Algebraic Graph Transformation. Verlag Dr. Kovac, 2000. PhD thesis, Technische Universität Berlin
Bardohl R (2002) A Visual Environment for Visual Languages. Science of Computer Programming (SCP) 44(2):181–203
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
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
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
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
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
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
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
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
Black AF (1998) Metaphor in Diagrams. PhD thesis, Darwin College, Cambridge, Massachusetts
Carroll JM (ed) (1995) Scenario-Based Design. John Wiley & Sons, New York
Honeywell Technology Center (1999) DOME Guide, Version 5.2.1. http://www.thc.honeywell.com/dome/
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
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
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]
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
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
Ermel C, Bardohl R, Ehrig H (2001) Specification and Implementation of Animation Views for Petri Nets. In: Weber et al. [31], pp 75–92
GenGED Homepage. http://tfs.cs.tu-berlin.de/genged
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
Grahlmann B (1999) The State of PEP. In: Haeberer MA (ed) Proceedings of AMAST’98 (Algebraic Methodology and Software Technology), LNCS, vol 1548. Springer
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
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
MetaCASE KOGGE – KOblenz Generator for Graphical Environments. http://www.uni-koblenz.de/ist/kogge.en.html
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
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
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
Unified Modeling Language – version 1.4, 2002. Available at http://www.omg.org/uml
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
Weidenhaupt K, Pohl K, Jarke M, Haumer P (1998) Scenarios in System Development: Current Practice. IEEE Software 15(2):34–35
WWW Consortium (W3C) (2000) Scalable Vector Graphics (SVG) 1.0 Specification. http://www.w3.org/TR/svg
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
Author information
Authors and Affiliations
Corresponding author
Rights 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
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10270-003-0048-4