Skip to Main content Skip to Navigation
Conference papers

Handling Reparation in Incremental Construction of Realizable Conversation Protocols

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.
Complete list of metadata

Cited literature [5 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Thursday, February 20, 2020 - 4:24:04 PM
Last modification on : Wednesday, June 9, 2021 - 10:00:26 AM
Long-term archiving on: : Thursday, May 21, 2020 - 4:32:18 PM


Files produced by the author(s)


  • HAL Id : hal-02486106, version 1
  • OATAO : 24891


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⟩



Record views


Files downloads