The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/28915
Record Status Checked
Record Id 28915
Title Synthesising structure from flat specifications
Abstract Within the design process, a high-level specification is subject to two conflicting tensions. It is used as a vehicle for validating the requirements, and also as a first step of the refinement process. Whilst the structuring mechanisms available in the B method are well-suited for the latter purpose, the rich type constructions of VDM are useful for the former. In this paper we propose a method which synthesises a structured B design from a flat VDM specification by analysing how type definitions are used within the VDM state in order to generate a corresponding B machine hierarchy.
Organisation CCLRC , BITD
Funding Information
Related Research Object(s): 49292313
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Journal Article Lecture Notes in Computer Science 1393 (1998): 148-161. Is in proceedings of: 2nd International B Conference (B’98: Recent Advances in the Development and Use of the B Method), Montpellier, France, 22-24 Apr 1998. https://doi.org/10.1007/BFb0053359 1998