Incremental construction of realizable choreographies

Autoren Sarah Benyagoub
Meriem Ouederni
Yamine Ait-Ameur
Atif Mashkoor
Editoren Aaron Dutle
Cesar Munoz
Anthony Narkawicz
Titel Incremental construction of realizable choreographies
Buchtitel NASA Formal Methods - Proc. NFM 2018
Typ in Konferenzband
Verlag Springer
Serie Lecture Notes in Computer Science
Band 10811
ISBN 978-3-319-77934-8
DOI 10.1007/978-3-319-77935-5_1
Monat April
Jahr 2018
Seiten 1-19
SCCH ID# 18033

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.