The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Composition and Refinement in the B-Method
B '98 Proceedings of the Second International B Conference on Recent Advances in the Development and Use of the B Method
Interpreting the B-Method in the Refinement Calculus
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Compositional Symmetric Sharing in B
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
csp2B: A Practical Approach to Combining CSP and B
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Using a Process Algebra to Control B Operations
IFM '99 Proceedings of the 1st International Conference on Integrated Formal Methods
A Layered Behavioural Model of Platelets
ICECCS '06 Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems
Interactive tool support for CSP || B consistency checking
Formal Aspects of Computing
Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles
TASE '08 Proceedings of the 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering
Towards Validating a Platoon of Cristal Vehicles Using CSP||B
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Decomposition Structures for Event-B
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Using CSP||B Components: Application to a Platoon of Vehicles
Formal Methods for Industrial Critical Systems
A CSP approach to control in event-B
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Changing system interfaces consistently: A new refinement strategy for CSP||B
Science of Computer Programming
Bounded Retransmission in Event-B||CSP: a Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
Supporting reuse in event b development: modularisation approach
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Using b as a high level programming language in an industrial project: roissy VAL
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Hi-index | 0.00 |
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.