Incremental Construction of Realizable Choreographies - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Incremental Construction of Realizable Choreographies

Résumé

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.
Fichier principal
Vignette du fichier
benyagoub_24892.pdf (672.52 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02450856 , version 1 (23-01-2020)

Identifiants

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

Citer

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⟩
34 Consultations
71 Téléchargements

Partager

Gmail Facebook X LinkedIn More