Automatic Refinement for Event-B through Annotated Patterns - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Automatic Refinement for Event-B through Annotated Patterns

Résumé

In this paper, we investigate how patterns could be used in order to generate Event-B refinements automatically through DSL(s) for temporal, timed or distribution patterns. Our ultimate goal is to generate code for a concurrent, or distributed framework, e.g., BIP.
Fichier principal
Vignette du fichier
siala_19076.pdf (266.36 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01887899 , version 1 (04-10-2018)

Identifiants

Citer

Badr Siala, Jean-Paul Bodeveix, M Filali, Tahar Bhiri. Automatic Refinement for Event-B through Annotated Patterns. 25th Euromicro International Conference on Parallel, Distributed and network-based Processing (PDP 2017), Mar 2017, Saint Petersburg, Russia. pp.287-290, ⟨10.1109/PDP.2017.72⟩. ⟨hal-01887899⟩
62 Consultations
68 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More