形式的記述言語パターン解析によるプロトタイプ生成系について

概要

論文の詳細を見る
形式的仕様記述は, ソフトウエアのライフサイクルにおける仕様記述の段階で誤りを削滅するという意味で, 有効な手法である。特に, 仕様書とユーザの要求との違いをライフサイクルの早期に発見するために, プロトタイプを仕様の段階で作成することも重要である。しかし, プロトタイプ作成のための実現法の詳細を仕様書の中に書くことは, たとえ可能であったとしても, そうすべきではない。それは設計の自由度を阻害してしまうからである。本研究の目的は, 一般的には直接実行が不可能な形式的記述言語において, パターンマッチングによって, 実際にどの程度の仕様の直接実行が可能であるかを検証することである。このような研究を行なっている理由は, プロトタイプ実行としては, 仕様のすべてを実行する必要はない。部分的にでも実行できる部分を実行し, 実行できない部分に関してはその旨を示すことによって, 実用的には十分な効果を得ることができると考えているからである。本研究では, 直接実行不可能な形式的記述言語として, Z言語を採用した。Z言語は数多く存在する形式的記述言語のなかで最も広く使われているものの一つであり, 集合論に基づいているので, 理解, 検証などがスムーズに行なえるなどの特徴があるからである。また, アプリケーションを限定して考えることにした。アプリケーションを限定することによって, その範囲内のアプリケーションの仕様記述法をある程度網羅的に調べることができるからである。我々は, 複雑なアルゴリズムを必要としない関係型データベース関連アプリケーションについてだけ着目している。
一般社団法人情報処理学会の論文
1997-09-24

形式的記述言語パターン解析によるプロトタイプ生成系について

スポンサーリンク

概要

著者

関連論文

スポンサーリンク