Handling Reparation in Incremental Construction of Realizable Conversation Protocols

Sarah Benyagoub; Yamine Ait Ameur; Meriem Quederni; Atif Mashkoor

doi:10.1007/978-3-030-02852-7_15

Handling Reparation in Incremental Construction of Realizable Conversation Protocols

Sarah Benyagoub
, Yamine Ait Ameur
, Meriem Quederni
, Atif Mashkoor

Institute of Software Systems Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

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.

Original language	English
Title of host publication	New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings
Editors	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
Publisher	Springer
Pages	159-166
Number of pages	8
DOIs	https://doi.org/10.1007/978-3-030-02852-7_15
Publication status	Published - Oct 2018

Fields of science

102 Computer Sciences
102022 Software development

JKU Focus areas

Computation in Informatics and Mathematics
Engineering and Natural Sciences (in general)

Access to Document

10.1007/978-3-030-02852-7_15

Cite this

Benyagoub, S., Ameur, Y. A., Quederni, M., & Mashkoor, A. (2018). 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 (Ed.), New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings (pp. 159-166). Springer. https://doi.org/10.1007/978-3-030-02852-7_15

Benyagoub, Sarah ; Ameur, Yamine Ait ; Quederni, Meriem et al. / Handling Reparation in Incremental Construction of Realizable Conversation Protocols. New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings. editor / 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. Springer, 2018. pp. 159-166

@inproceedings{42fe9d375d2d4845a5b3ac2597b1961a,

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.",

author = "Sarah Benyagoub and Ameur, \{Yamine Ait\} and Meriem Quederni and Atif Mashkoor",

year = "2018",

month = oct,

doi = "10.1007/978-3-030-02852-7\_15",

language = "English",

pages = "159--166",

editor = "\{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\}",

booktitle = "New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings",

publisher = "Springer",

}

Benyagoub, S, Ameur, YA, Quederni, M & Mashkoor, A 2018, 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 (ed.), New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings. Springer, pp. 159-166. https://doi.org/10.1007/978-3-030-02852-7_15

Handling Reparation in Incremental Construction of Realizable Conversation Protocols. / Benyagoub, Sarah; Ameur, Yamine Ait; Quederni, Meriem et al.
New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings. ed. / 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. Springer, 2018. p. 159-166.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

TY - GEN

T1 - Handling Reparation in Incremental Construction of Realizable Conversation Protocols

AU - Benyagoub, Sarah

AU - Ameur, Yamine Ait

AU - Quederni, Meriem

AU - Mashkoor, Atif

PY - 2018/10

Y1 - 2018/10

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/85055817295

U2 - 10.1007/978-3-030-02852-7_15

DO - 10.1007/978-3-030-02852-7_15

M3 - Conference proceedings

SP - 159

EP - 166

BT - New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings

A2 - 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, null

PB - Springer

ER -

Benyagoub S, Ameur YA, Quederni M, Mashkoor A. 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, editor, New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings. Springer. 2018. p. 159-166 doi: 10.1007/978-3-030-02852-7_15

Handling Reparation in Incremental Construction of Realizable Conversation Protocols

Abstract

Fields of science

JKU Focus areas

Access to Document

Other files and links

Cite this