Activity regions for the specification of discrete event systems

  • Authors:
  • Alexandre Muzy;Luc Touraille;Hans Vangheluwe;Olivier Michel;Mamadou Kaba Traoré;David R. C. Hill

  • Affiliations:
  • Università di Corsica -- Pasquale Paoli, BP, Corti - France;Blaise Pascal University, BP, AUBIERE, Cedex - France;University of Antwerp, Antwerp, Belgium;Université de Paris XII, Créteil, Cedex - France;Blaise Pascal University, BP, AUBIERE, Cedex - France;Blaise Pascal University, BP, AUBIERE, Cedex - France

  • Venue:
  • SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

The common view on modeling and simulation of dynamic systems is to focus on the specification of the state of the system and its transition function. Although some interesting challenges remain to efficiently and elegantly support this view, we consider in this paper that this problem is solved. Instead, we propose here to focus on a new point of view on dynamic system specifications: the activity exhibited by their discrete event simulation. We believe that such a viewpoint introduces a new way for analyzing, modeling and simulating systems. We first start with the definition of the key notion of activity for the specification of a specific class of dynamic system, namely discrete event systems. Then, we refine this notion to characterize activity regions in time, in space, in states and in hierarchical component-based models. Examples are given to illustrate and stress the importance of this notion.