A Proposal for Records in Event-B
A Proposal for Records in Event-B
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.
records, Event-B, B method, refinement
221-235
Evans, Neil
65fb759c-7b27-4d36-84ce-3ba5c3c9b9de
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Nipkow, Tobias
d2c88da3-c4e0-463b-ba48-bd6e0b8c917f
Misra, Jayadev
4eec7ac3-89f9-4ab0-abce-0d980f478498
Sekerinski, Emil
7cd2df62-a3b0-401a-a0fa-fa63224de336
2006
Evans, Neil
65fb759c-7b27-4d36-84ce-3ba5c3c9b9de
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Nipkow, Tobias
d2c88da3-c4e0-463b-ba48-bd6e0b8c917f
Misra, Jayadev
4eec7ac3-89f9-4ab0-abce-0d980f478498
Sekerinski, Emil
7cd2df62-a3b0-401a-a0fa-fa63224de336
Evans, Neil and Butler, Michael
(2006)
A Proposal for Records in Event-B.
Nipkow, Tobias, Misra, Jayadev and Sekerinski, Emil
(eds.)
Formal Methods 2006, McMaster, Canada.
.
Record type:
Conference or Workshop Item
(Paper)
Abstract
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.
Text
evansbutler.pdf
- Other
More information
Published date: 2006
Additional Information:
Event Dates: August 2006
Venue - Dates:
Formal Methods 2006, McMaster, Canada, 2006-08-01
Keywords:
records, Event-B, B method, refinement
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 262024
URI: http://eprints.soton.ac.uk/id/eprint/262024
PURE UUID: 2ffd8d0c-2fc7-4615-a0d7-6168a239a282
Catalogue record
Date deposited: 31 Mar 2006
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
Neil Evans
Author:
Michael Butler
Editor:
Tobias Nipkow
Editor:
Jayadev Misra
Editor:
Emil Sekerinski
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics