A combined approach to specification and development
CSP||B (pronounced CSP parallel B) is an approach which combines a state and event based approach to describing complex systems.
The approach establishes the principles of combining the B-Method and the process algebra CSP. The B-Method is a mathematically rigorous method for the specification, design and implementation of software components. CSP is a specification language and formal notation for describing concurrency behaviour in systems.
Uniquely, the CSP||B approach is motivated by the desire to exploit existing technology for both state-based development and event level analysis and to be able to combine results. A number of theoretical results have been established which identify conditions for combining B and CSP descriptions in a consistent way, and for compositional analysis, verification and development.
The initial research work on CSP||B was funded under an EPSRC grant (GR/R96859/01) which received an overall review of "Tending to Outstanding".Recently, CSP||B has been applied in the interesting application domain of biological systems. One of the case studies, in this area, was conducted as part of an EPSRC feasibility study - TUNA (Theory Underpinning Nanotech Assemblers) involving York, Kent and Surrey Universities with Professor Susan Stepney as Principal Investigator.
If you have any questions about our approach to rigorous development of systems we would be pleased hear from you: contact H. Treharne.
Helen Treharne gave an Overview of CSP||B at Aberystwyth University on 12 November 2007. Here are the slides from the seminar.
|Hosted by Computing @ Surrey||
This page is maintained by