システム要求からの形式仕様の導出方法(<特集>マルチメディア通信と分散処理)
スポンサーリンク
概要
- 論文の詳細を見る
本論文では, 状態遷移システムをモデルとするソフトウェアやシステムの開発に対して, 開発者が意図している機能を宣言的に表した要求記述から自動的に状態遷移システムに変換する方法, およびこの方法論によるソフトウェアの開発支援環境を提供する.まず, システムの要求記述であるシステム要求を命題論理に基づいて定義し, このシステム要求から動作モデルとなる形式仕様(状態遷移システム)に変換する方法を提案する.この変換方法から生成される形式仕様が同型の場合を除いて唯一であることを, システム要求に対する形式仕様の健全性と完全性という新しい概念を定義することによって証明する.次に, 命題論理に基づくシステム要求よりも少ない記述で複雑なシステムを記述する手法として, 述語論理に基づいた拡張システム要求を提案し, その記述例を紹介する.最後に, 本方法論の特徴を活かしたツールを提案し, 効果的にシステムを開発するための統合型開発支援環境を紹介する.
- 一般社団法人情報処理学会の論文
- 1999-01-15
著者
関連論文
- ベクトル空間法を基礎としたカテゴリーマッピング法によるWebページの自動分類(セッション1:検索)
- ソーシャルブックマークデータを用いた推薦システムの開発 (「Web情報処理」および一般発表)
- 99.医療機器管理システムの開発と運用(一般演題講演集,第83回日本医療機器学会大会)
- 99 医療機器管理システム開発と運用(機器管理,医療機器の安全を支える人と情報技術-あすの病院経営・企業経営を探る-,第83回日本医療機器学会大会)
- 4H-5 遠隔型健康福祉サービスによる生活習慣の継続的モニタリングに関する実践研究(医療分野への応用(3),一般セッション,コンピュータと人間社会)
- 4H-4 生活習慣の継続的モニタリングと行動変容に応じた健康改善サービスの実践的検証 : 健康モデルに基づいた個人に適した健康改善サービスの構築を目指す(医療分野への応用(3),一般セッション,コンピュータと人間社会)
- 生活習慣病に対する疾病予防システムの設計開発 : 今後の研究実施計画とこれまでの成果を中心に(セッション6: 災害時通信・ヘルスケア)
- 変数を用いたWebアプリケーションのモデル化と形式的手法による検査(ワークショップ(査読付き),「次世代経営情報技術」,その他)
- 形式的手法によるWebアプリケーションのモデル化と検証
- 中小規模のサーバーAPI構築に適したWeb API frameworkの設計開発(Web2.0時代のビジネスモデル-検索エンジンと利用技術-)