Incremental construction of realizable choreographies

Authors Sarah Benyagoub
Meriem Ouederni
Yamine Ait-Ameur
Atif Mashkoor
Editors Aaron Dutle
Cesar Munoz
Anthony Narkawicz
Title Incremental construction of realizable choreographies
Booktitle NASA Formal Methods - Proc. NFM 2018
Type in proceedings
Publisher Springer
Series Lecture Notes in Computer Science
Volume 10811
ISBN 978-3-319-77934-8
DOI 10.1007/978-3-319-77935-5_1
Month April
Year 2018
Pages 1-19
SCCH ID# 18033
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.