Skip to Main content Skip to Navigation
Conference papers

Incremental Construction of Realizable Choreographies

Abstract : This paper proposes a correct-by-construction method to build realizable choreographies described using conversation protocols (CPs). We define a new language consisting of an operators set for incremental construction of CPs. We suggest an asynchronous model described with the Event-B method and its refinement strategy, ensuring the scalability of our approach.
Document type :
Conference papers
Complete list of metadatas

Cited literature [21 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02450856
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Thursday, January 23, 2020 - 10:29:08 AM
Last modification on : Tuesday, September 8, 2020 - 9:44:02 AM
Long-term archiving on: : Friday, April 24, 2020 - 1:23:29 PM

File

benyagoub_24892.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02450856, version 1
  • OATAO : 24892

Citation

Sarah Benyagoub, Meriem Ouederni, Yamine Aït-Ameur, Atif Mashkoor. Incremental Construction of Realizable Choreographies. 11th International Symposium on NASA Formal Methods (NFM 2018), Apr 2018, Newport News, United States. pp.1-19. ⟨hal-02450856⟩

Share

Metrics

Record views

69

Files downloads

156