Share and Export
Share and Export
Farrell, Marie, 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
JP-Combining-2017.pdf
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: | 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) |
| Related URLs: | |
| URI: | https://mural.maynoothuniversity.ie/id/eprint/10221 |
| 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
Downloads per month over past year
