Back to Search
Start Over
Java implementation platform for the integrated state- and event-based specification in PROB.
- Source :
- Concurrency & Computation: Practice & Experience; Jun2010, Vol. 22 Issue 8, p1007-1022, 16p, 1 Diagram, 1 Chart
- Publication Year :
- 2010
-
Abstract
- 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. Copyright © 2009 John Wiley & Sons, Ltd. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 15320626
- Volume :
- 22
- Issue :
- 8
- Database :
- Complementary Index
- Journal :
- Concurrency & Computation: Practice & Experience
- Publication Type :
- Academic Journal
- Accession number :
- 50316731
- Full Text :
- https://doi.org/10.1002/cpe.1425