Title | ||
---|---|---|
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 [2] that satisfy sufficient 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. |
Year | DOI | Venue |
---|---|---|
2018 | 10.1007/978-3-030-02852-7_15 | Communications in Computer and Information Science |
Field | DocType | Volume |
Conversation,Computer science,Theoretical computer science,Realizability | Conference | 929 |
ISSN | Citations | PageRank |
1865-0929 | 0 | 0.34 |
References | Authors | |
2 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Sarah Benyagoub | 1 | 2 | 1.07 |
Yamine Aït Ameur | 2 | 287 | 52.61 |
Meriem Ouederni | 3 | 140 | 10.73 |
Atif Mashkoor | 4 | 125 | 22.32 |