Systematic translation rules from ASTD to Event-B

Jérémy Milhau 1, 2 Marc Frappier 1 Frédéric Gervais 2 Régine Laleau 2
1 GRIL - Groupe de Recherche en Ingénierie du Logiciel [Sherbrooke]
Département d'informatique [Sherbrooke]
2 LACL - Laboratoire d'Algorithmique, Complexité et Logique
Abstract : This article presents a set of translation rules to generate Event-B machines from process-algebra based specification languages such as astd. Illustrated by a case study, it details the rules and the process of the translation. The ultimate goal of this systematic translation is to take advantage of Rodin, the Event-B platform to perform proofs, animation and model-checking over the translated specification.
Keywords : Process algebra Translations rules Systematic translation ASTD Event-B
Type de document :
Communication dans un congrès
Mery, Dominique and Merz, Stephan. Integrated Formal Methods - IFM 2010, Oct 2010, Nancy, France. Springer Berlin / Heidelberg, 6396, pp.245-259, 2010, Lecture Notes in Computer Science
Liste complète des métadonnées
https://hal.inria.fr/inria-00525182
Contributeur : Ist Inria Nancy Grand Est <>
Soumis le : lundi 11 octobre 2010 - 13:08:01
Dernière modification le : lundi 9 novembre 2015 - 15:35:44

Identifiants

  • HAL Id : inria-00525182, version 1

Collections

UPEC | UPEC-UPEM | LACL

Citation

Jérémy Milhau, Marc Frappier, Frédéric Gervais, Régine Laleau. Systematic translation rules from ASTD to Event-B. Mery, Dominique and Merz, Stephan. Integrated Formal Methods - IFM 2010, Oct 2010, Nancy, France. Springer Berlin / Heidelberg, 6396, pp.245-259, 2010, Lecture Notes in Computer Science. 〈inria-00525182〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

73

Contact


archive-ouverte@inria.fr