Automatic Refinement for Event-B through Annotated Patterns

Abstract : 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.
Complete list of metadatas

Cited literature [8 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01887899
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Thursday, October 4, 2018 - 3:32:38 PM
Last modification on : Thursday, October 24, 2019 - 2:44:12 PM
Long-term archiving on: Saturday, January 5, 2019 - 4:06:04 PM

File

siala_19076.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01887899, version 1
  • OATAO : 19076

Citation

Badr Siala, Jean-Paul Bodeveix, Mamoun 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. ⟨hal-01887899⟩

Share

Metrics

Record views

44

Files downloads

108