Farrell, Marie and Monahan, Rosemary and Power, James F. (2017) Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability. In: ICFEM 2017: Formal Methods and Software Engineering. Lecture Notes in Computer Science (LNCS) (10610). Springer, pp. 140-156. ISBN 9783319686899

Preview

Download (456kB) | Preview

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.

Item Type:	Book Section
Additional Information:	Cite as: Farrell M., Monahan R., Power J.F. (2017) Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability. In: Duan Z., Ong L. (eds) Formal Methods and Software Engineering. ICFEM 2017. Lecture Notes in Computer Science, vol 10610. Springer, Cham
Keywords:	Event-B specification language; process algebra CSP; Interoperability; theory of institutions;
Academic Unit:	Faculty of Science and Engineering > Computer Science
Item ID:	10221
Identification Number:	https://doi.org/10.1007/978-3-319-68690-5_9
Depositing User:	Dr. James Power
Date Deposited:	15 Nov 2018 18:09
Publisher:	Springer
Refereed:	Yes
Funders:	Irish Research Council (IRC)
URI:	https://link.springer.com
Use Licence:	This item is available under a Creative Commons Attribution Non Commercial Share Alike Licence (CC BY-NC-SA). Details of this licence are available here

Repository Staff Only(login required)

Item control page

Downloads

Origin of downloads