OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Towards correct Evolution of Conversation Protocols

Benyagoub, Sarah and Ouederni, Meriem and Aït-Ameur, Yamine Towards correct Evolution of Conversation Protocols. (2016) In: 10th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS), 6 October 2016 - 7 October 2016 (Tunis, Tunisia).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader


Distributed software systems change dynamically due to the evolution of their environment and/or requirements, their internal designing policies, and/or their specification bugs which must be fixed. Hence, checking system changes must be run continuously. Such systems are usually composed of distributed software entities (called peers) interacting with each other through message exchanges, and this is to fulfil a common goal. The goal is often specified by a conversation protocol (CP), i.e. sequences of sent messages. If there exists a set of peers implementing CP, then CP is said to be realisable. In this paper, we propose a stepwise approach for checking whether an evolution, i.e. adding and/or removing messages and/or peers, can be applied to a CP that was realisable before updating it.We define a set of correct evolution patterns and we suggest an algebra of CP evolution. Our approach ensures that CP evolution preserves the realisability condition.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to CEUR editor, a free open-access publication service of Sun SITE Central Europe operated under the umbrella of RWTH Aachen University. This paper appears in vol 1689 Ceur Workshop Proceedings ISSN : 1613-0073 The definitive version is available at http://ceur-ws.org/Vol-1689/paper16.pdf
HAL Id:hal-03658738
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > Université Abdelhamid Ibn Badis Mostaganem (ALGERIE)
Laboratory name:
Deposited On:30 Jan 2020 14:17

Repository Staff Only: item control page