Skip to the content

From English to formal specifications

Meziane, F 1994, From English to formal specifications , PhD thesis, University of Salford.

[img]
Preview
PDF
Download (575kB) | Preview
    Official URL: http://www.cse.salford.ac.uk/profiles/meziane/Mezi...

    Abstract

    Specifications provide the foundation upon which a system can be formally developed. If a specification is wrong, then no matter what method of design is used, or what quality assurance procedures are in place, they will not result in a system that meets the requirements. The specification of a system involves people of different profiles who favour different representations. At the beginning natural language is used because the specification document acts as a contract between the user and the developers. Most of the time, the only representation that users understand and agree on is natural language. At the other end, developers find natural language specifications ambiguous and incomplete and may therefore prefer formal specifications. The transition from informal specifications to formal ones is an error prone and time consuming process. This transition must be supported to ensure that the formal specifications are consistent with the informal ones. In this research we propose an interactive approach for producing formal specifications from English specifications. The approach uses research in the area of natural language understanding to analyse English specifications in order to detect ambiguities. The method used for analysing natural language text is based on McCord’s approach. This method consists of translating natural language sentences into a logical form language representation. This helps to identify ambiguities present in natural language specifications and to identify the entities and relationships. These entities and relationships are used as a basis for producing VDM data types. We also investigate the production of data type invariants for restricted sentences and the production of some common specifications. We test our approach by implementing it in Prolog-2 and apply it to an independent case study.

    Item Type: Thesis (PhD)
    Contributors: Vadera, S(Supervisor)
    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
    Depositing User: Prof Farid Meziane
    Date Deposited: 20 Feb 2009 17:21
    Last Modified: 19 Feb 2014 15:55
    URI: http://usir.salford.ac.uk/id/eprint/1732

    Actions (login required)

    Edit record (repository staff only)

    No Altmetrics available

    Downloads per month over past year

    View more statistics