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 an approach where inconsistencies in state sharing can be identified by translating the CSP controllers to B specifications and then using a more refined consistency checking process.
Domaines
Génie logiciel [cs.SE]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...