Correct-by-Construction Evolution of Realisable Conversation Protocols - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Correct-by-Construction Evolution of Realisable Conversation Protocols

Résumé

Distributed software systems are built by composing independent and autonomous peers with cross-organisational interaction and no centralised control. These peers can be administrated and executed by geographically distributed and autonomous companies. In a top-down design of distributed software systems, the peers’ interaction is often described by a global specification called Conversation Protocol (CP) and one have to check its realisability i.e., whether there exists a set of peers implementing this CP. In dynamic environments, CP needs to be updated wrt. new environment changes and end-user interaction requirements. This paper tackles CP evolution such that its realisability must be preserved. We define some evolution patterns and prove that they ensure realisability. We also show how our proposal can be supported by existing methods and tools based on refinement and theorem proving, using the event-B language and RODIN development tools.
Fichier principal
Vignette du fichier
singh_23590.pdf (587.88 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02353832 , version 1 (07-11-2019)

Identifiants

  • HAL Id : hal-02353832 , version 1
  • OATAO : 23590

Citer

Sarah Benyagoub, Meriem Ouederni, Neeraj Kumar Singh, Yamine Aït-Ameur. Correct-by-Construction Evolution of Realisable Conversation Protocols. MEDI 2016 - Model and Data Engineering - 6th International Conference, Sep 2016, Almería, Spain. pp.260-273. ⟨hal-02353832⟩
38 Consultations
63 Téléchargements

Partager

Gmail Facebook X LinkedIn More