AA4MM coordination model and event-B specification - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2009

AA4MM coordination model and event-B specification


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
Origin : Files produced by the author(s)

Dates and versions

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


  • HAL Id : inria-00435569 , version 3


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⟩
232 View
194 Download


Gmail Facebook Twitter LinkedIn More