Sarah Benyagoub, Yamine Ait Ameur, Meriem Quederni, Atif Mashkoor,
"Handling Reparation in Incremental Construction of Realizable Conversation Protocols"
, in El Hassan Abdelwahed andLadjel Bellatreche and Djamal Benslimane and Matteo Golfarelli and St'ephane Jean and Dominique M'ery and Kazumi Nakamatsu and Carlos Ordonez: New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings, Springer, Seite(n) 159-166, 10-2018
Original Titel:
Handling Reparation in Incremental Construction of Realizable Conversation Protocols
Sprache des Titels:
Englisch
Original Buchtitel:
New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings
Original Kurzfassung:
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.