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

DOI オープンアクセス

説明

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.

収録刊行物

キーワード

詳細情報 詳細情報について

  • CRID
    1390002184876753792
  • DOI
    10.5954/icarob.2020.os14-5
  • ISSN
    21887829
  • 本文言語コード
    en
  • データソース種別
    • JaLC
    • Crossref
    • OpenAIRE
  • 抄録ライセンスフラグ
    使用不可

問題の指摘

ページトップへ