モデル形成支援のための仕様記述変換技術

スポンサーリンク

概要

論文の詳細を見る
本研究の目的は,ソフトウェア開発の仕様記述の工程におけるモデル化の作業を支援することである.仕様記述の過程では,システムに対する理解が深まるにつれて,より最適なモデルを用いて仕様は書き換えられる.本研究では,モデル間の仕様記述の変換手法を提示することにより,対象システムのモデル化支援を図る.本論文では,形式仕様記述言語Zを用いて2項関係モデル間の対応を分析し,2項関係モデル間の系統的な仕様記述変換の手法を提示する.仕様記述変換技術は,仕様記述の内容を維持しつつモデルを相互に変換する手法を与えることにより,目的に応じた最適なモデルの選択を可能とし,また,仕様を記述する時の指針となり得ることが期待できる.
一般社団法人情報処理学会の論文
1999-12-15

著者

関連論文

スポンサーリンク