Evans, Neil and Butler, Michael,
A Proposal for Records in Event-B
Nipkow, Tobias, Misra, Jayadev and Sekerinski, Emil (eds.)
At Formal Methods 2006, Canada.
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.
Conference or Workshop Item
||Event Dates: August 2006
|Venue - Dates:
||Formal Methods 2006, Canada, 2006-08-01
||records, Event-B, B method, refinement
||Electronic & Software Systems
||31 Mar 2006
||17 Apr 2017 21:48
|Further Information:||Google Scholar|
Actions (login required)