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).
|
(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
