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.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...