A Proposal for Records in Event-B

Evans, Neil and Butler, Michael, (2006) A Proposal for Records in Event-B Nipkow, Tobias, Misra, Jayadev and Sekerinski, Emil (eds.) At Formal Methods 2006, Canada. , pp. 221-235.


[img] PDF evansbutler.pdf - Other
Download (135kB)


The B method is a well known approach to the formal specification and development of sequential computer programs. Inspired by action systems, the B method has evolved to incorporate system modelling and distributed system development. This extension is called Event-B. Even though several of the structuring mechanisms of the original B method are absent from Event-B, the desire to define and maintain structured data persists. We propose the introduction of records to Event-B for this purpose. Our approach upholds the refinement principles of Event-B by allowing the stepwise development of records too.

Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: August 2006
Venue - Dates: Formal Methods 2006, Canada, 2006-08-01
Keywords: records, Event-B, B method, refinement
Organisations: Electronic & Software Systems
ePrint ID: 262024
Date :
Date Event
Date Deposited: 31 Mar 2006
Last Modified: 17 Apr 2017 21:48
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/262024

Actions (login required)

View Item View Item