Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability

M. Farrell, R. Monahan, J.F. Power

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

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.
Original languageEnglish
Title of host publicationICFEM 2017: Formal Methods and Software Engineering
DOIs
Publication statusPublished - 2017

Fingerprint

Dive into the research topics of 'Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability'. Together they form a unique fingerprint.

Cite this