著者・編者小飼, 敬 / 上田, 賀一
KOGAI, Kei / UEDA, Yoshikazu
並列タイトル等Formal Specifications of Diagrammatic Models using Meta Hierarchy
メタ カイソウカ ニ ヨル ズシキ モデル ノ ケイシキテキ キジュツ
タイトル(掲載誌)情報処理学会研究報告. ソフトウェア工学研究会報告
一般注記application/pdf
テクニカルレポート
ソフトウェア開発においてソフトウェアの仕様を矛盾や曖昧さがないように記述するためには, 仕様を形式化して検証するというアプローチが有効であるL. しかし仕様の規模が大きくなると, 形式化する手間も多くなってくるため作業が困難となる. 本研究では, ソフトウェア仕様で利用される図式モデルに焦点をあて, 図式モデルを記述するための制約をメタモデルとして定義した. これによって, 仕様記述者はメタモデルの制約に従ってモデルを形式化できるため ,この作業が容易になる. また, メタモデルに対しては形式的記述の際の指針を与えることで, ある程度手間を軽減することができる.
A software specification is formalized so that it is guaranteed to be described without a contradiction and a ambiguity. In large scale software, however, it is difficult to formalize specifications. This work focuses on diagrammatic models using software specifications, and defines the meta models that have a semantic description of a diagrammatic model. So, it is enable that a model is described using its meta model, consequently the specifications is formalized simply. For meta models, this work proposes a guideline for formalizing meta models to describe formal specifications easily.
著作権情報情報処理学会
本文データは学協会の許諾に基づきCiNiiから複製したものである
連携機関・データベース国立情報学研究所 : 学術機関リポジトリデータベース(IRDB)(機関リポジトリ)