IIOSSにおけるUMLモデルのインタラクティブな動的検証
スポンサーリンク
概要
- 論文の詳細を見る
既存のUMLツールは、文法上の間違いをチエックできるが、意味上の間違いは見つけることができない。本稿では、これを解決する方法として、モデル要素間のメッセージ通信機能を使った、UMLモデルのシミュレーションによる動的な検証を提案する。ユーザによる会話的な指示も用いる。また、実装オブジェクトとのメッセージ通信による、モデルと実装済みのプログラムが混在した環境でのシミュレーションについても提案する。
- 一般社団法人情報処理学会の論文
- 2001-09-19
著者
関連論文
- 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分野:ビキタス・モバイルコンピューティング)