A Modular Approach to Animation of Simulation Models
Resumo
The use of simulation within software development has as main aims to validate the system, as well as to recognize performance aspects. A simulation model includes the description of the behavior of the systems, but also intended animation strategies (to visualize the simulation) and statistics collecting/evaluating procedures. In this paper we present a modular approach for animating simulation models. Both the system's behavior and its animation are modeled by graph grammars, a formal, yet intuitive visual specification technique. The simulation of the system as well as its animation are supported by tools. We discuss the integration of the tools PLATUS, designed to construct the simulation models, and the tool GENGED, designed for the development of visual languages, in order to obtain an environment in which animation modules can be obtained (from GenGED) and used (in PLATUS). Moreover, due to the modular structure, animation can be exchanged easily, and can be also reused by other simulation models.
Referências
R. Bardohl. Visual Definition of Visual Languages based on Algebraic Graph Transformation. PhD thesis, Technische Universitit Berlin, 2000. To appear.
R. Bardohl, M. Niemann, and M. Schwarze. GENGED A Development Environment for Visual Languages. Application of Graph Transformations with Industrial Relevance, LNCS 1779, pages 233-240. Springer, 2000.
B. T. Barcio, S. Ramaswamy, R. Macfadzean, and K. Barber, Object Oriented Analysis, Modeling and Simulation of a National Air Defense System, Simulation (1996).
R. Bardohl, G. Taentzer, M. Minas, and A. Schürr. Application of Graph Transformation to Visual Languages. G. Rozenberg, editor, Handbook of Graph Grammars and Computing by Graph Transformaitons, Volume 2: Applications, pages 103-180. World Scientific. Singapore, 1999.
B. Copstein and L. Korff, Specifying Simulation Models Using Graph Grammars, ESS'98 10th European Simulation Symposium, SCS, 1998, pp. 60-64.
A. Corradini, U. Montanari, and F. Rossi. Graph Processes. Fundamentae Informatica, vol. 26, no. 3-4, 1996, pp. 241-265.
B. Copstein, M. Méra, and L. Ribeiro. An Environment for Formal Modeling and Simulation for Graph Grammars, 33rd Annual Simulation Symposium, 2000.
B. Copstein, SIMOO : Plataforma orientada a objetos para simulação discreta multi-paradigma, Ph.D. thesis, Federal University of Rio Grande do Sul, 1997.
R. Dechter and P van Beek. Local and Global Relational Consistency. Theoretical Computer Science, 173:283-308, 1997.
H. Ehrig, R. Heckel, M. Korff, M. Lise, L. Ribeiro, A. Wagner, and A. Coradini. Algebraic Approaches to Graph Transformation II: Single Pushout Approach and Comparison with Double Pushout Approach. In [Roz97].
H. Ehrig. Introduction to the Algebraic Theory of Graph Grammars. V. Claus, H. Ehrig, and G. Rozenberg, editors, 1st Graph Grammar Workshop, LNCS 73, pages 1-69. Springer, 1970.
P. Griebel. ParCon - Paralleles Lösen von grafischen Constraints. PhD thesis, Paderborn University, February 1996.
T. Kamigaki and N. Nakamura, An Object Oriented Visual Model-build and Simulation System for FMS Control, Simulation (1996).
M. Korff. Generalized Graph Structures with Applications to Concurrent Object-Oriented Systems, Ph.D. thesis, Technische Universität Berlin, 1995.
M. Löwe. Algebraic Approach to Single Pushout Graph Transformation. Theoretical Computer Science, vol 109, 1993, pp. 181-224, ]
L. Ribeiro and B. Copstein. Compositional Construction of Simulation Models using Graph Grammars, International Workshop and Symposium. TIVE - Applications of Graph Transformation with Industrial Relevance, LNCS 1779, pages 87-94. Springer, 2000.
G. Rosenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformaitons, Volume 1: Foundations. World Scientific, Singapore, 1997.
G. Taentzer, C. Ermel, and M. Rudolf. The AGG Approach: Language and Tool Environment. G. Rozenberg, editor, Handbook of Graph Grammars and Computing by Graph Transformaitons, Volume 2: Applications, Languages and Tools. pages 551-604. World Scientific, 1999.
