OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Handling Reparation in Incremental Construction of Realizable Conversation Protocols

Benyagoub, Sarah and Aït-Ameur, Yamine and Ouederni, Meriem and Mashkoor, Atif Handling Reparation in Incremental Construction of Realizable Conversation Protocols. (2018) In: 8th International Conference On Model and Data Engineering (MEDI 2018), 24 October 2018 - 26 October 2018 (Marrakech, Morocco).

[img]
Preview
(Document in English)

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

Official URL: https://doi.org/10.1007/978-3-030-02852-7_15

Abstract

A main concern, already addressed by the research community, relates to the verification of Conversation Protocol (CP) realizability, which means the existence of a set of peers whose communication behavior is equivalent to a given conversation protocol.In this paper, we consider the incremental repairability of CPs identified as un-realizable using the set of composition operators, defined in that satisfy suficient conditions for realizability preservation. Reparation consists in identifying a set of changes completing intermediate un-realizable CPs so that the resulting CP becomes realizable. Our proposal is validated through a successful application of the presented approach on un-realizable CPs borrowed from the literature.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in volume 929 of CCIS : Communications in Computer and Information Science book series ISSN: 1865-0929 ISBN 978-3-030-02851-0 The original PDF is available at: https://link.springer.com/chapter/10.1007/978-3-030-02852-7_15
HAL Id:hal-02486106
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 > Software Competence Center Hagenberg - SCCH (AUSTRIA)
Other partners > Université Abdelhamid Ibn Badis Mostaganem (ALGERIE)
Laboratory name:
Funders:
Austrian Ministry for Transport, Innovation and Technology (Autriche) - Federal Ministry of Science, Research and Economy, and the Province of Upper Austria (Autriche)
Statistics:download
Deposited On:04 Feb 2020 10:46

Repository Staff Only: item control page