Farrell, Marie and Monahan, Rosemary and Power, James F. (2016) A Logical Framework for Integrating Software Models via Refinement. In: 32nd British Colloquium of Theoretical Computer Science, March 22-24, 2016, Queens University, Belfast, Northern Ireland. (Unpublished)

Preview

Download (205kB) | Preview

Abstract

We propose the development of an institution-based framework within which software models can be combined not only at different levels of abstraction but across multiple formalisms. Event-B is an industrial-strength formalism that supports refinement, we envisage that the construction of an institution for Event-B, EVT, will not only increase the modularity of Event-B specifications but also provide a foundation for the interoperability of Event-B with other formalisms.

Item Type:	Conference or Workshop Item (Paper)
Keywords:	Integrating Software Models; Refinement; Event-B;
Academic Unit:	Faculty of Science and Engineering > Computer Science
Item ID:	8219
Depositing User:	Dr. James Power
Date Deposited:	17 May 2017 15:38
Refereed:	No
URI:
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