Modeling and quantitative analysis of discrete event systems: A statecharts based approach

Simulation Practice and Theory

Volumn 6, Issue 4, 1998, Pages 397-411

  Gruer, P ^a   Koukam, A ^a   Mazigh, B ^a  

^a UNIVERSITÉ DE TECHNOLOGIE DE BELFORT MONTBÉLIARD   (France)

Author keywords

Object oriented modeling; Performance evaluation; Simulation; Statechart

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER SIMULATION; FINITE AUTOMATA; OBJECT ORIENTED PROGRAMMING; PROBABILITY; UNCERTAIN SYSTEMS; WIDE AREA NETWORKS; PERFORMANCE;

DISCRETE EVENT SYSTEMS; INTERRELATED COMPONENTS; PERFORMANCE EVALUATION; STATECHARTS FORMALISM;

COMPUTER NETWORKS; COMPUTER SIMULATION;

DISCRETE EVENT SYSTEM; STATECHARTS;

EID: 0032072236     PISSN: 09284869     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0928-4869(97)00029-3     Document Type: Article

References (12)

1. M. Ajmone-Marsan, G. Balbo, G. Conte, A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems, ACM Trans. Comput. Syst. 2(2) (1984) 93-122.
2. P. Gruer, A. Koukam, Hierarchical and Formal Modeling of Object Behavior, Proceedings of the S.C.S. Conference on Object Oriented Simulation, Las Vegas, 1995.
3. R.K. Ouha, M. Bassiouni, D. Roy, Modeling and Evaluation of Distributed Simulation with a Wide Area Network Architecture, Proceedings of the SinTec'92, 1992.
4. D. Harel, Statecharts: A visual formalism for complex systems. Sci. Comput. Program. 8(3) (1987).
5. D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtul-Traurig. STATEMATE: A working environment for the development of complex reactive systems. IEEE Trans. Software Eng. 16(4) (1990).
6. D. Harel, A. Pnueli, J.P. Schmidt, R. Sherman, On the formal semantics of Statecharts, Proceedings of the first IEEE Symposium on Logic in Computer Science. 1986, pp. 54-64.
7. M.K. Molloy, Performance analysis using stochastic Petri nets, IEEE Trans. Comput. 41(9) (1982).
8. D.E. Monarchi, G.I. Puhr, A research typology for Object-Oriented analysis and design. Commun. ACM 35(9) (1992).
9. T. Murata, Petri nets: Properties, analysis and applications, Proc. IEEE 77(4) (1989).
10. S. Shaler, S. Mellor, Object-Oriented System Analysis: Modeling the World in Data, Prentice Hall. New York, 1991.
11. STATEMATE Version 6.0 Analyser Reference Manual. i-Logix, 1995.
12. F.-Y. Wang, H. Jungnitz, K. Gildea, Performance Analysis of MMS using GSPN in: Proceedings of the 1991 IEEE Conference on Robotics and Automation. Sacramento. CA, 1991.