モデル変換に基づく要求記述を利用した形式仕様の構築

機関リポジトリ 情報処理学会 Web Site

書誌事項

タイトル別名
  • Constructing Formal Specifications from Requirements Specifications Based on Model Transformation
  • モデル ヘンカン ニ モトズク ヨウキュウ キジュツ オ リヨウ シタ ケイシキ シヨウ ノ コウチク

この論文をさがす

抄録

近年，ソフトウェアの複雑化により，要求分析の重要性が認識されるとともに形式手法によるモデルの詳細化が注目されている．しかし，形式手法による仕様の記述は開発者にとって容易ではなく，要求を満足するソフトウェア構築は依然として容易ではない．そこで本研究では，要求分析法KAOSにより記述された要求記述を形式仕様言語VDM++の形式仕様へと自動変換する手法と，本手法を用いた開発プロセスを提案する．本研究により，形式仕様の構築が容易になるとともに，要求記述と形式仕様間の整合性が保証され，モデル詳細化によるソフトウェア開発が実現される．

Requirements analysis and formal methods are techniques for developing complex systems. However, there is little research on reconciling the requirements phase with the formal specification phase. To bridge this gap, we propose a model transformation method which utilizes the KAOS, as a requirement analysis method, into VDM++ formal specifications, and provide developers with a formal specification generator for model transformation. This method and generator enable consistent and effective software development activities.

収録刊行物

関連プロジェクト

もっと見る

キーワード

詳細情報 詳細情報について

問題の指摘

ページトップへ