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 Vert CSP and use a supporting example to illustrate the benefits of our approach.
CITATION STYLE
Farrell, M., Monahan, R., & Power, J. F. (2017). Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10610 LNCS, pp. 140–156). Springer Verlag. https://doi.org/10.1007/978-3-319-68690-5_9
Mendeley helps you to discover research relevant for your work.