OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Incremental Construction of Realizable Choreographies

Benyagoub, Sarah and Ouederni, Meriem and Aït-Ameur, Yamine and Mashkoor, Atif Incremental Construction of Realizable Choreographies. (2018) In: 11th International Symposium on NASA Formal Methods (NFM 2018), 17 April 2018 - 19 April 2018 (Newport News, United States).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: https://doi.org/10.1007/978-3-319-77935-5_1


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.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in volume 10811 of Lecture Notes in Computer Science ISSN : 0302-9743 ISBN 978-3-319-77934-8 The original PDF is available at: https://link.springer.com/chapter/10.1007/978-3-319-77935-5_1
HAL Id:hal-02450856
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > Linz Johannes Kepler University (AUSTRIA)
Other partners > Université Abdelhamid Ibn Badis Mostaganem (ALGERIE)
Laboratory name:
Austrian Ministry for Transport, Innovation and Technology (Autriche) - Federal Ministry of Science, Research and Economy, and the Province of Upper Austria (Autriche)
Deposited On:15 Jan 2020 14:53

Repository Staff Only: item control page