知識ベースを用いたシステム設計における仕様の検証と直接実行(高信頼ソフトウェア設計・解析)
スポンサーリンク
概要
- 論文の詳細を見る
実時間・分散システムを対象とした、知識ベースを用いたシステム設計方式を本論文で提案する。本研究のアプローチは論理的なアプローチに属し、本方式のモデルは状態記述を基としている。知識ベースにおけるモデルは、本方式独自の仕様記述言語の記述から組み立てられる。これらの知識ベースにおけるモデルは、ソフトウェア開発の上流工程におけるシステム設計の(半)自動化(本研究では、検証によるデッドロックの検出、仕様の直接実行システムによる仕様の確認を扱った)に大いに貢献する。本論文ではATMシステムを例に本方式の利用形態について説明する。
- 2005-05-31