Activity Regions for the Specication of Discrete Event Systems

Alexandre Muzy 1 Luc Touraille 2 Hans Vangheluwe Olivier Michel 3 Mamadou Kaba Traoré 2 David Hill 2, 4, 5
1 LISA - Lieux, Identités, eSpaces, Activités
2 LIMOS - Laboratoire d'Informatique, de Modélisation et d'optimisation des Systèmes
3 LACL - Laboratoire d'Algorithmique Complexité et Logique
4 Department of Genetics [Boston]
5 CCSB - Center for Cancer Systems Biology
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.
Keywords : Activity paradigm Modeling and simulation Discrete Event System Activity paradigm.
Type de document :
Communication dans un congrès
Symposium On Theory of Modeling and Simulation - DEVS Integrative M&S Symposium (DEVS'10), Apr 2010, United States. pp.176-182, 2010
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger
https://hal.archives-ouvertes.fr/hal-00465463
Contributeur : Alexandre Muzy <>
Soumis le : vendredi 19 mars 2010 - 15:55:16
Dernière modification le : mercredi 13 février 2019 - 10:44:15
Document(s) archivé(s) le : mardi 22 juin 2010 - 10:46:41

Fichier

article-SSstyle.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00465463, version 1

Collections

LACL | LIMOS | UNIV-CORSE-LISA | UNIV-CORSE | UPEC | UPEC-UPEM | PRES_CLERMONT | TDS-MACS | SIGMA-CLERMONT

Citation

Alexandre Muzy, Luc Touraille, Hans Vangheluwe, Olivier Michel, Mamadou Kaba Traoré, et al.. Activity Regions for the Specication of Discrete Event Systems. Symposium On Theory of Modeling and Simulation - DEVS Integrative M&S Symposium (DEVS'10), Apr 2010, United States. pp.176-182, 2010. 〈hal-00465463〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

737

Téléchargements de fichiers

181

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD