Discrete event modeling through a multi-formalism approach, from a user-oriented perspective

ABSTRACT

The hierarchy of formalism presented in this paper is part of an on going work in the development of a broad hierarchy of DEVS based formalisms. We introduce a hierarchy of formalisms with different temporal restrictions targeted to the discrete event community. The goal of this formalism hierarchy is to introduce and clarify some timed or temporal concepts that arises in the design of discrete event control systems. All formalism presented are inspired in the same syntax, that of DEVS formalism, and share the same coupling structure with it.

REFERENCES

• 1: Rajeev Alur , David L. Dill, A theory of timed automata, Theoretical Computer Science, v.126 n.2, p.183-235, April 25, 1994 [doi>10.1016/0304-3975(94)90010-8]
• 2: Rajeev Alur , Limor Fix , Thomas A. Henzinger, Event-clock automata: a determinizable class of timed automata, Theoretical Computer Science, v.211 n.1-2, p.253-273, Jan. 28, 1999 [doi>10.1016/S0304-3975(97)00173-4]
• 3: Hernán Dacharry and Norbert Giambiasi. Formal verification with timed automata and devs models: a case study. In Proceedings of ASSE'05. Argentine Society for Computer Science and Operational Research, 2005.
• 4: Hernán Dacharry and Norbert Giambiasi. From timed automata to devs models: Formal verification. In Proceedings of SpringSim'05. SCS - The Society for Modeling and Simulation International, 2005.
• 5: Hernán Dacharry and Norbert Giambiasi. Devs-based timed hierarchy of formalisms. In Proceedings of the International Modeling and Simulation Multiconference 2007 (IMSM07). SCS - The Society for Modeling and Simulation International, 2007.
• 6: C. Daws , A. Olivero , S. Tripakis , S. Yovine, The tool KRONOS, Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control, p.208-219, July 1996, New Brunswick, NeW Jersey, United States
• 7: P. A. Fishwick. A simulation environment for multimodeling. Discrete Event Dynamic Systems: Theory and Applications, 3(2/3):151--171, 1993.
• 8: Paul A. Fishwick, Multimodeling as a unified modeling framework, Proceedings of the 25th conference on Winter simulation, p.580-581, December 12-15, 1993, Los Angeles, California, United States [doi>10.1145/256563.256727]
• 9: Paul A. Fishwick , Bernard P. Zeigler, A multimodel methodology for qualitative model engineering, ACM Transactions on Modeling and Computer Simulation (TOMACS), v.2 n.1, p.52-81, Jan. 1992 [doi>10.1145/132277.132280]
• 10: Thomas A. Henzinger , Xavier Nicollin , Joseph Sifakis , Sergio Yovine, Symbolic model checking for real-time systems, Information and Computation, v.111 n.2, p.193-244, June 1994 [doi>10.1006/inco.1994.1045]
• 11: Moon Ho Hwang and Feng Lin. State minimization of sp-devs. In AIS, pages 243--252, 2004.
• 12: Moon Ho Hwang and B. P. Zeigler. A modular verification framework using finite and deterministic devs. In Proceedings of 2006 DEVS Symposium, pages 57--65, 2006.
• 13: Moon Ho Hwang and B. P. Zeigler. A reachable graph of finite and deterministic devs networks. In Proceedings of 2006 DEVS Symposium, pages 48--56, 2006.
• 14: K. G. Larsen, P. Pettersson, and W. Yi. Uppaal in a Nutshell. Int. Journal on Software Tools for Technology Transfer, 1(1--2):134--152, October 1997.
• 15: Nancy A. Lynch , Frits W. Vaandrager, Forward and backward simulations -- Part II: timing-based systems., CWI (Centre for Mathematics and Computer Science), Amsterdam, The Netherlands, 1993
• 16: Michael Merritt , Francesmary Modugno , Marc R. Tuttle, Time-Constrained Automata (Extended Abstract), Proceedings of the 2nd International Conference on Concurrency Theory, p.408-423, August 26-29, 1991
• 17: Richard E. Nance, The time and state relationships in simulation modeling, Communications of the ACM, v.24 n.4, p.173-179, April 1981 [doi>10.1145/358598.358601]
• 18: Hessam S. Sarjoughian, Model composability, Proceedings of the 38th conference on Winter simulation, December 03-06, 2006, Monterey, California
• 19: Bernard P. Zeigler , Tag Gon Kim , Herbert Praehofer, Theory of Modeling and Simulation, Academic Press, Inc., Orlando, FL, 2000
• 20: Bernard P. Zeigler, Theory of Modelling and Simulation, Krieger Publishing Co., Inc., Melbourne, FL, 1984

INDEX TERMS

Keywords:
DEVS modeling methodology, discrete event modeling, multi-formalisms approach