Skip to Main content Skip to Navigation
Reports

AA4MM coordination model: Event-B specification

Julien Siebert 1, 2 Joris Rehm 3 Vincent Chevrier 1 Laurent Ciarletta 2 Dominique Méry 3
1 MAIA - Autonomous intelligent machine
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
2 MADYNES - Management of dynamic networks and services
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
3 MOSEL - Proof-oriented development of computer-based systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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.
Complete list of metadatas

https://hal.inria.fr/inria-00435569
Contributor : Julien Siebert <>
Submitted on : Tuesday, November 24, 2009 - 2:35:21 PM
Last modification on : Wednesday, November 25, 2020 - 3:14:04 PM
Long-term archiving on: : Thursday, June 17, 2010 - 9:46:20 PM

File

RR-7081.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00435569, version 1

Citation

Julien Siebert, Joris Rehm, Vincent Chevrier, Laurent Ciarletta, Dominique Méry. AA4MM coordination model: Event-B specification. [Research Report] 7081, 2009. ⟨inria-00435569v1⟩

Share

Metrics

Record views

22

Files downloads

29