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. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Evans, N., & Butler, M. (2006). A proposal for records in event-B. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4085 LNCS, pp. 221–235). Springer Verlag. https://doi.org/10.1007/11813040_16
Mendeley helps you to discover research relevant for your work.