A Proposal for Records in B, System Research Groups, Research Events, Computing Science, University of Newcastle

For Researchers

Contacts

Organisation

Overview
Dependability
Distributed Systems
Data-Intensive Systems
Theory

Projects

Funding Success
Active Projects
Closed Projects

Publications

All Publications
Journal Articles
Conf. Papers
Conf. Proceedings
Books/Chapters
School Technical Report Series
Theses
Dissertations
Other Publications

Events

Colloquia
Asynchronous Systems Labs (ASLs)
System Research Group Seminars (SRGs)
Conferences
International Seminars

PhD and MPhil

Readme

A Proposal for Records in B

Speaker: Neil Evans

Abstract

Our current work in the RODIN project involves the redevelopment of an existing VDM specification using Event B. Although the aim is not to construct a translation from VDM to Event B, we propose the introduction of records in Event B (akin to those of VDM). In this talk I will explain how records can be used in the construction of Event B specifications and, more importantly, how these records are amenable to refinement.