Java implementation platform for the integrated state- and event-based specification in PROB
Yang, Letu and Poppleton, Michael (2009) Java implementation platform for the integrated state- and event-based specification in PROB. Concurrency and Computation: Practice and Experience, 22, (8), 1007-1022.
- Published Version
PROB is an animation and model checking tool, which supports integrated event- and state-based specifications combining B and CSP. We present an initial strategy for implementing the combined specification model as a concurrent Java program. Our Java implementation for the combined B and CSP model uses a similar approach to that of JCSP. The restricted operational semantics for the integrated B and CSP model in PROB is defined. Then a new Java package, JCSProB, is developed for implementing the semantics. The new package supports external choice with multi-way synchronization, and introduces an improved multi-threading implementation from JCSP.
|Keywords:||B-method, concurrency, CSP, formal methods, JCSP, PROB|
|Divisions:||Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems
|Date Deposited:||06 May 2010 14:13|
|Last Modified:||23 Aug 2012 04:08|
|Contributors:||Yang, Letu (Author)
Poppleton, Michael (Author)
|Date:||29 October 2009|
|Contact Email Address:||email@example.com|
|Further Information:||Google Scholar|
|ISI Citation Count:||0|
|RDF:||RDF+N-Triples, RDF+N3, RDF+XML, Browse.|
Actions (login required)