3543 articles – 5273 Notices  [english version]

inria-00435569, version 2

AA4MM coordination model and event-B specification

Julien Siebert () 1, 2, Joris Rehm () 3, Vincent Chevrier () 1, Laurent Ciarletta () 2, Dominique Méry () 3

N° 7081 (2009)

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.

  • 1 :  MAIA (INRIA Lorraine - LORIA)
  • INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL)
  • 2 :  MADYNES (INRIA Lorraine - LORIA)
  • INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL)
  • 3 :  MOSEL (INRIA Lorraine - LORIA)
  • INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL)
  • Collaboration : Julien Siebert - Joris Rehm équipes MAIA, MADYNES, MOSEL
 
  • inria-00435569, version 2
  • http://hal.inria.fr/inria-00435569
  • oai:hal.inria.fr:inria-00435569
  • Contributeur : Julien Siebert <>
  • Soumis le : Mercredi 2 Décembre 2009, 15:44:29
  • Dernière modification le : Mardi 6 Avril 2010, 15:48:11