Incremental construction of realizable choreographies

S. Benyagoub, M. Ouederni, Y. Ait-Ameur. Incremental construction of realizable choreographies. volume 10811, pages 1-19, DOI 10.1007/978-3-319-77935-5_1, 4, 2018.

Autoren
  • Sarah Benyagoub
  • Meriem Ouederni
  • Yamine Ait-Ameur
BuchNASA Formal Methods - Proc. NFM 2018
TypIn Konferenzband
VerlagSpringer
SerieLecture Notes in Computer Science
Band10811
DOI10.1007/978-3-319-77935-5_1
ISBN978-3-319-77934-8
Monat4
Jahr2018
Seiten1-19
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.