by Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur, Atif Mashkoor
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.
Reference:
Incremental Construction of Realizable Choreographies (Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur, Atif Mashkoor), In Proceedings of NASA Formal Methods - 10th International Symposium, (NFM 2018), Newport News, USA, 2018.
Bibtex Entry:
@Conference{DBLP:conf/nfm/BenyagoubOAM18,
author = {Sarah Benyagoub and Meriem Ouederni and Yamine A{\"{\i}}t Ameur and Atif Mashkoor},
title = {Incremental Construction of Realizable Choreographies},
booktitle = {Proceedings of NASA Formal Methods - 10th International Symposium, (NFM 2018), Newport News, USA},
year = {2018},
pages = {1--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.},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/bib/conf/nfm/BenyagoubOAM18},
crossref = {DBLP:conf/nfm/2018evelopingan},
doi = {10.1007/978-3-319-77935-5_1},
file = {:Conferences\\NFM 2018 - Incremental Construction of Realizable Choroegraphies\\Incremental Construction of Realizable Choreographies-preprint.pdf:PDF},
keywords = {SCCH},
timestamp = {Fri, 04 May 2018 08:06:41 +0200},
url = {https://doi.org/10.1007/978-3-319-77935-5_1},
}