A Multiview Approach to Modeling and Analysis of Discrete Event Systems

This article describes a framework suitable for modeling and analysis of discrete event systems. It is based on three interrelated concepts: views, domains and levels of abstraction. The view is the fundamental concept driving the modeling and analysis process. As modeling becomes more complex, involving several engineering disciplines, the role of each separate view is to support the use of system projections from different perspectives or points of view. We demonstrate the suitability of our generic model by applying it to the performance and dependability analysis of a job-shop system.

[1]  David Lorge Parnas.  Software Engineering or Methods for the Multi - Person Construction of Multi - Version Programs , 1974, Programming Methodology.

[3]  Kishor S. Trivedi,et al.  Stochastic Petri nets for the reliability analysis of communication network applications with alternate-routing , 1996 .

[4]  Abderrafiaa Koukam,et al.  An Integrated Model for Interactive Systems , 1996 .

[5]  David E. Monarchi,et al.  A research typology for object-oriented analysis and design , 1992, CACM.

[6]  Erwin M. Thurner.  TOMSPIN-a Tool for Modelling with Stochastic Petri Nets , 1995, Proceedings 6th International Workshop on Petri Nets and Performance Models.

[7]  G. Klas,et al.  TOMSPIN-a tool for modeling with stochastic Petri nets , 1992, CompEuro 1992 Proceedings Computer Systems and Software Engineering.

[8]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[9]  Marco Ajmone Marsan,et al.  Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications , 1993, IEEE Trans. Software Eng..

[10]  Grady Booch,et al.  Object-Oriented Design with Applications , 1990 .

[11]  James E. Rumbaugh,et al.  Object-Oriented Modelling and Design , 1991 .

[12]  J. Quadrat,et al.  A linear-system-theoretic view of discrete-event processes , 1983, The 22nd IEEE Conference on Decision and Control.

[13]  Kenneth S. Rubin.  Object behavior analysis , 1992, CACM.

[14]  Gianfranco Ciardo,et al.  Well-defined stochastic Petri nets , 1996, Proceedings of MASCOTS '96 - 4th International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems.

[15]  F. Neri,et al.  On the construction of abstract GSPNs: an exercise in modeling , 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.

[16]  Jean-Marie Proth,et al.  Performance evaluation of job-shop systems using timed event-graphs , 1989 .

[17]  Michael K. Molloy,et al.  On the integration of delay and throughput measures in distributed processing models , 1981 .