形式的仕様記述におけるわかりやすいネーミング

概要

論文の詳細を見る
形式的仕様記述を用いて動作仕様を定義することにより、ソースコードの自動生成や仕様検証等の支援を可能にする研究が盛んに行われている。しかし、それら高度な支援を実現するために人間にとっての理解性を犠牲にして計算機にとって解釈が容易なものにする場合が多い。一つのシステムを複数に分割して記述した時、各仕様からソースコートを生成する際に、仕様上で同じ名前のものをソースコート上でも同じ名前にしなければならない。そのためにはネーミングに規則を設ける必要がある。また、検証を行うために、名前の意味を解析できることは重要である。ソースコードへの変換を考慮したり、記号に意味を持たせて、仕様上の名前に付加し、それにより解析を可能にするという規則は、人間にとっての理解性を低下させる。これを改善するために、我々日本人にとって最も理解しやすい日本語の文章で仕様を記述するネーミング手法を提案する。本報告では仕様上に記述された日本語の名前をソースコート上の名前に変換するためのネーミング規則、およびその解析アルゴリズム、また本提案による効果について、ATM (現金自動取引装置)向けCASEツールへの適用における、特にメッセージ名を例にとって述べる。
社団法人情報処理学会の論文
1996-09-04

形式的仕様記述におけるわかりやすいネーミング

スポンサーリンク

概要

著者

関連論文

スポンサーリンク