Handling Reparation in Incremental Construction of Realizable Conversation Protocols

Sarah Benyagoub (1, 2) , Yamine Aït-Ameur (2, 3) , Meriem Ouederni (2, 3) , Atif Mashkoor (4, 5)

1 Université Abdelhamid Ibn Badis de Mostaganem
2 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
3 Toulouse INP - Institut National Polytechnique (Toulouse)
4 JKU - University of Linz - Johannes Kepler Universität Linz
5 SCCH - Software Competence Center Hagenberg

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.

Mots clés: Conversation Protocol (CP)

Domaines: Base de données [cs.DB]; Modélisation et simulation

Sarah Benyagoub, Yamine Aït-Ameur, Meriem Ouederni, Atif Mashkoor. Handling Reparation in Incremental Construction of Realizable Conversation Protocols. 8th International Conference On Model and Data Engineering (MEDI 2018), Oct 2018, Marrakech, Morocco. pp.159-166. ⟨hal-02486106⟩