Handling reparation in incremental construction of realizable choreographies
Authors |
Sarah Benyagoub Yamine Ait-Ameur Meriem Ouederni Atif Mashkoor |
Editors |
|
Title | Handling reparation in incremental construction of realizable choreographies |
Booktitle | New Trends in Model and Data Engineering - Proc. MEDI 2018 |
Type | in proceedings |
Series | Communications in Computer and Information Science |
Volume | 929 |
ISBN | 978-3-030-02851-0 |
DOI | 10.1007/978-3-030-02852-7_15 |
Month | October |
Year | 2018 |
Pages | 159-166 |
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 onversation protocol. In this paper, we consider the incremental reparability 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. |