Sarah Benyagoub, Meriem Quederni, Yamine Ait Ameur, Atif Mashkoor,
"Incremental Construction of Realizable Choreographies"
, in Aaron Dutle and César A. Munoz and Anthony Narkawicz: NASA Formal Methods - 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings, Springer, Seite(n) 1-19, 3-2018
Original Titel:
Incremental Construction of Realizable Choreographies
Sprache des Titels:
Englisch
Original Buchtitel:
NASA Formal Methods - 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
Original Kurzfassung:
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.