Relaxing B Sharing Restrictions within CSP||B - LINA-AELOS Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Relaxing B Sharing Restrictions within CSP||B

Résumé

This paper addresses the issue of state sharing in CSP$\|$B specifications: B machines controlled by various CSP parts are supposed not to refer to, share or modify the same state space. However, some kinds of B state sharing can be allowed without creating inconsistencies in CSP$\|$B specifications. To achieve this, we present a B-based solution for allowing architectures with B state sharing in the CSP$\|$B components. We show that the inconsistencies in state sharing can be identified by translating the CSP controllers into B specifications and then using a more refined consistency checking process. We also hint at possible extensions towards other CSP$\|$B architectural patterns with various types of sub-components sharing.
Fichier principal
Vignette du fichier
sc2012_submission_07.pdf (1.33 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00699997 , version 1 (22-05-2012)

Identifiants

  • HAL Id : hal-00699997 , version 1

Citer

Arnaud Lanoix, Olga Kouchnarenko, Samuel Colin, Vincent Poirriez. Relaxing B Sharing Restrictions within CSP||B. International Conference on Software Composition 2012, May 2012, Prague, Czech Republic. pp.35-50. ⟨hal-00699997⟩
149 Consultations
141 Téléchargements

Partager

Gmail Facebook X LinkedIn More