AA4MM coordination model and 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.
Type de document :
Rapport
[Research Report] 7081, 2009, pp.22
Liste complète des métadonnées

https://hal.inria.fr/inria-00435569
Contributeur : Julien Siebert <>
Soumis le : mercredi 2 décembre 2009 - 15:44:29
Dernière modification le : vendredi 6 février 2015 - 13:33:02
Document(s) archivé(s) le : jeudi 23 septembre 2010 - 11:12:13

Fichier

RR-7081.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00435569, version 2

Citation

Julien Siebert, Joris Rehm, Vincent Chevrier, Laurent Ciarletta, Dominique Méry. AA4MM coordination model and event-B specification. [Research Report] 7081, 2009, pp.22. <inria-00435569v2>

Partager

Métriques

Consultations de
la notice

1

Téléchargements du document

43