IIOSSにおけるUMLモデルの振舞い解析
スポンサーリンク
概要
- 論文の詳細を見る
オブジェクト指向ソフトウェア開発において用いられるモデリング図式UMLには,図式(ダイヤグラム)の文法チェック機能を備えた多くの編集ツールが開発されている.さらにダイヤグラムの振舞いや意味の正しさを調べるために,形式的仕様の上に行う論理的な自動検証の研究がさかんだが,それには論理的に完全な仕様記述が必要であり,モデル開発つまり設計中途における検証は行いにくい.本論文はソフトウェア設計の中途においても使用しやすい,ダイヤグラムの振舞いチェックを行うために,以下の5つの機能からなる方法を提案する.(i)図式シミュレーションとして,従来のモデルシミュレーションで行われるステートチャートに対してだけではなく4種類すべての振舞い図で実行可能である.(ii)他種のダイヤグラムにまたがったコレスポンデンス(対応)機能を提供する.(iii)同種の複数ダイヤグラムにまたがった,モデル要素間のメッセージ送受信機能を提供する.〈iv)モデル要素とJavaプログラムの間のメッセージ送受信機能を提供する.(v)ユーザインタラクティブなデバッガ機能を提供する.これらによりユーザは,複数の異なるビューのダイヤグラムを作成しシミュレーションを行うことで,設計途中でモデルの意味的な間違いを見つけることができる.ここで提案する動的な振舞いチェック機能は,オブジェクト指向統合ケースツールIIOSS(Integrated Inter-exchangeable Object-modeling and Simulation System)のモデルデバッグ機能として実現している.このシステム上でこれらの機能を用いて行った大規模な開発経験の評価についても報告する.
- 2006-05-15
著者
関連論文
- 2. コンピュータ科学領域(J07-CS)(情報専門学科カリキュラム標準J07)
- IIOSSにおけるUMLモデルの振舞い解析
- A Mapping System from Object-Z to C++
- デジタルコンテンツの二次利用(n次利用)と著作権保護
- メッセージ交換における優先度逆転とその対策
- M-096 実際的なページ操作の共有を実現したウェブブラウジング協調システム(ユビキタス・モバイルコンピューティング,一般論文)
- 3C-5 Webアプリケーションの汎用化のための中間表現の提案と実装(Web検索支援,一般セッション,データベースとメディア,情報処理学会創立50周年記念)
- 1C-2 OpenLaszloによるXHTMLからの柔軟なFlash生成システム(コンテンツ作成支援,一般セッション,データベースとメディア)
- デジタルデータ放送コンテンツのHTMLへの変換
- IIOSSにおけるUMLモデルのインタラクティブな動的検証
- Smalltalkにおけるリソースプログラミング
- 中間表現とフレームワークを用いたWebアプリケーションのメンテナンス法の提案と評価
- あいまい性が強い文脈自由文法の枝刈りに基づく効率的な構文解析
- 4G-10 CORBA環境におけるミーティングスケジューリングシステムFlexMeet
- CORBA分散処理による会合日決定アルゴリズムと評価
- カテゴリー理論とプログラミング : カルテシアン閉カテゴリー (関数型プログラミングと計算の基礎)
- 中間表現とフレームワークを用いたWebアプリケーションのメンテナンス法の提案と評価
- 一様遅れ演算の完全性 (クローン理論と離散数学・計算機科学をめぐる代数と論理)
- M-048 FlexアプリケーションのiOS環境でのHTML5変換による実行(作業支援ほか,M分野:ビキタス・モバイルコンピューティング)