Proposal of an Algorithm to Generate VDM++ by Using Words Extracted from the Natural Language Specification

DOI Open Access

Description

The natural language includes ambiguous expressions. VDM is one of methodology on the formal methods to write the specification without ambiguity. Because VDM++ is written by strict grammar, it is difficult to write a VDM++ specification. This research attempts to generate a VDM++ specification automatically from a natural language specification by machine learning. To generate a VDM++ specification, it is necessary to extract words which consist of predicate corresponding to the function and nouns corresponding to variable from the natural language specification. This paper proposes an approach to generate a VDM++ specification from the extracted words list. Identifiers are generated from the extracted words list, and then the VDM++ specification can be generated by converting them into VDM++ grammar.

Journal

Keywords

Details 詳細情報について

  • CRID
    1390002184876753792
  • DOI
    10.5954/icarob.2020.os14-5
  • ISSN
    21887829
  • Text Lang
    en
  • Data Source
    • JaLC
    • Crossref
    • OpenAIRE
  • Abstract License Flag
    Disallowed

Report a problem

Back to top