ePubs
The open archive for STFC research publications
Home
About ePubs
Content Policies
News
Help
Privacy/Cookies
Suggest an Enhancement
Contact ePubs
Full Record Details
Persistent URL
http://purl.org/net/epubs/work/28915
Record Status
Checked
Record Id
28915
Title
Synthesising Structure from Flat Specifications
Contributors
BM Matthews (CCLRC Rutherford Appleton Lab.)
,
B Ritchie (CCLRC Rutherford Appleton Lab.)
,
JC Bicarregui (CCLRC Rutherford Appleton Lab.)
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
Keywords
Funding Information
Related Research Object(s):
Language
English (EN)
Type
Details
URI(s)
Local file(s)
Year
Paper In Conference Proceedings
In 2nd International B Conference, Montpellier, France, 22-24 Apr 1998, (1998): 148-161.
doi:10.1007/BFb0053359
1998
Showing record 1 of 1
Recent Additions
Browse Organisations
Browse Journals/Series
Login to add & manage publications and access information for OA publishing
Username:
Password:
Useful Links
Chadwick & RAL Libraries
SHERPA FACT
SHERPA RoMEO
SHERPA JULIET
Google Scholar