TY - GEN
T1 - Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability
AU - Farrell, M.
AU - Monahan, R.
AU - Power, J.F.
PY - 2017
Y1 - 2017
N2 - In this paper we present a formal framework designed to facilitate interoperability between the Event-B specification language and the process algebra CSP. Our previous work used the theory of institutions to provide a mathematically sound framework for Event-B, and this enables interoperability with CSP, which has already been incorporated into the institutional framework. This paper outlines a comorphism relationship between the institutions for Event-B and CSP, leveraging existing tool-chains to facilitate verification. We compare our work to the combined formalism Event-B ∥ CSP and use a supporting example to illustrate the benefits of our approach.
AB - In this paper we present a formal framework designed to facilitate interoperability between the Event-B specification language and the process algebra CSP. Our previous work used the theory of institutions to provide a mathematically sound framework for Event-B, and this enables interoperability with CSP, which has already been incorporated into the institutional framework. This paper outlines a comorphism relationship between the institutions for Event-B and CSP, leveraging existing tool-chains to facilitate verification. We compare our work to the combined formalism Event-B ∥ CSP and use a supporting example to illustrate the benefits of our approach.
U2 - 10.1007/978-3-319-68690-5_9
DO - 10.1007/978-3-319-68690-5_9
M3 - Conference contribution
BT - ICFEM 2017: Formal Methods and Software Engineering
ER -