Skip to the content

From English to formal specifications

Vadera, S and Meziane, F 1994, 'From English to formal specifications' , Computer Journal, 37 (9) , pp. 753-763.

[img]
Preview
PDF - Accepted Version
Download (2MB) | Preview

Abstract

Formal methods provide an approach in which design steps can be shown to satisfy a specification. However, if a formal specification is wrong, then although the design steps may satisfy the formal specification, they are unlikely to satisfy the requirements of the system. Since most users are unfamiliar with formal methods, requirements specifications are often written in English. Such requirements, expressed in English, are then somehow translated to formal specifications. This transition has some potential for introducing errors and inconsistencies. In this paper we propose an interactive approach to proceeding from an informal specification to a formal specification in a systematic manner. The approach uses research in the area of natural language understanding to analyse English specifications in order to detect ambiguities and to generate an entity relationship model. The entity relationship model is then used as a basis for producing VDM data types and the specifications of some common operations. We illustrate the effectiveness of our approach by applying it to the specification of part of a route planning database system.

Item Type: Article
Themes: Subjects / Themes > Q Science > QA Mathematics > QA075 Electronic computers. Computer science
Subjects outside of the University Themes
Schools: Colleges and Schools > College of Science & Technology
Colleges and Schools > College of Science & Technology > School of Computing, Science and Engineering
Colleges and Schools > College of Science & Technology > School of Computing, Science and Engineering > Data Mining and Pattern Recognition Research Centre
Journal or Publication Title: Computer Journal
Publisher: Oxford University Press
Refereed: Yes
ISSN: 00104620
Depositing User: Prof Farid Meziane
Date Deposited: 16 Jan 2009 11:30
Last Modified: 20 Aug 2013 15:55
URI: http://usir.eprints.org/id/eprint/1676

Actions (login required)

Edit record (repository staff only) Edit record (repository staff only)

Downloads

Downloads per month over past year