MURAL - Maynooth University Research Archive Library



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


    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

    [img]
    Preview
    Download (456kB) | Preview


    Share your research

    Twitter Facebook LinkedIn GooglePlus Email more...



    Add this article to your Mendeley library


    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:

    Repository Staff Only(login required)

    View Item Item control page

    Downloads

    Downloads per month over past year