AA4MM coordination model and event-B specification - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2009

AA4MM coordination model and event-B specification

Résumé

We develop a framework called Agent and Artefact forMultipleModels coordination (AA4MM) . It is is intended to make the design and the implementation of complex systems simulation mod- ular and decentralized. Our main goal is to reuse existing models and simulators and to make them interact in order to simulate dierent levels of abstraction. The main constraint is that people involved into the design process do not have to care about anything else but modelling. Coordination challenges remain to the framework. This report presents the event-B specication of the coordination model proposed in [SCC10]. Its goal is to check that the system is never blocked (no deadlock): no simulator is waiting for another indenitely.
Fichier principal
Vignette du fichier
RR-7081.pdf (778.44 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00435569 , version 1 (24-11-2009)
inria-00435569 , version 2 (02-12-2009)
inria-00435569 , version 3 (06-04-2010)

Identifiants

  • HAL Id : inria-00435569 , version 3

Citer

Julien Siebert, Joris Rehm, Vincent Chevrier, Laurent Ciarletta, Dominique Méry. AA4MM coordination model and event-B specification. [Research Report] RR-7081, INRIA. 2009, pp.22. ⟨inria-00435569v3⟩
243 Consultations
209 Téléchargements

Partager

Gmail Facebook X LinkedIn More