Java implementation platform for the integrated state‐ and event‐based specification in P RO B | Zendy

Yang L. | Zendy; Poppleton M. R. | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Premium

Java implementation platform for the integrated state‐ and event‐based specification in P RO B

Author(s) -

Yang L.,

Poppleton M. R.

Publication year - 2009

Publication title -

concurrency and computation: practice and experience

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.309

H-Index - 67

eISSN - 1532-0634

pISSN - 1532-0626

DOI - 10.1002/cpe.1425

Subject(s) - java , computer science , programming language , semantics (computer science) , operating system , synchronization (alternating current) , model checking , event (particle physics) , computer network , physics , quantum mechanics , channel (broadcasting)

P RO B 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 P RO B 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.

This content is not available in your region!

Continue researching here.

Having issues? You can contact us here

Accelerating Research