2122 SysMLによる製品システムモデルの検証ツール(OS6-1 モデル駆動型の製品システム開発,OS6 モデル駆動型の製品システム開発)
スポンサーリンク
概要
- 論文の詳細を見る
OMG SysML^<TM> defines a modeling language, which is based on UML, for specifying and designing complex systems. It helps a team consisting of systems engineers and domain engineers to share various kind of knowledge with little ambiguity. In addition, its definiteness also enable us to create software tools for verifying system models in a relatively generic manner. This paper discusses several types of model verifications that seem effective in eliminating problems in a system model at earlier stages of system development, and also provides a brief introduction of their prototype implementations.
- 2009-10-28
著者
-
小野 康一
日本アイ・ビー・エム株式会社 東京基礎研究所
-
小野 康一
日本アイ・ビー・エム株式会社東京基礎研究所
-
坂入 隆
日本アイ・ビー・エム(株)東京基礎研究所
-
河原 亮
日本アイ・ビー・エム株式会社東京基礎研究所
-
広瀬 紳一
日本アイ・ビーエム株式会社東京基礎研究所
-
坂入 隆
日本アイ・ビー・エム株式会社
関連論文
- 時間/機能制約による仕様に対する実行可能なUML/SysMLモデルの動的検査手法
- IBMプロフェッショナル論文 組み込みシステムのアーキテクチャー設計と性能評価のためのモデル・ベース手法
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価 (ディペンダブルコンピューティング)
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価 (コンピュータシステム)
- アスペクト指向技術の適用によるドメインフレームワークのモジュール性向上(オブジェクト指向とWeb技術)
- アスペクト指向の導入によるフレームワークの理解容易性の向上(組込みソフトウェア工学及び一般)
- アスペクト指向の導入によるフレームワークの理解容易性の向上
- 携帯端末用Webページから通常端末用ページを構成する手法--Webページのモデル化とその評価 (ソフトウェアサイエンス)
- 時間/機能制約による仕様に対する実行可能なUML/SysMLモデルの動的検査手法
- 動的解析による Web アプリケーション・モデル抽出支援手法(情報システム開発の支援環境と手法)(情報システム論文)
- 動的解析による Web アプリケーション・モデル抽出支援手法
- マルチメディア会議システムRTPにおける共有黒板の制御方式
- 二次元グラフィックエディタの拡張
- ページ・機能のモジュール性を高めるWebアプリケーションフレームワークの提案
- ブラウザ同期を用いたWWW共有型アプリケーションの構築環境
- 非対称協同作業のための既存アプリケーションの共有方式
- 5. モバイルアプリケーション 5-2 モバイルビデオ会議システム (モバイルコンピューティング)
- モーバイル・ビデオ会議システム-アプリケーション
- モーバイル・ビデオ会議システム-アーキテクチャ
- 仮想会議システム(5)共有アプリケーション
- 仮想会議システム(4)会議制御
- 仮想会議システム(3)通信
- 仮想会議システム(2)ユーザインタフェース
- 仮想会議システム(1)アーキテクチャ
- モデル駆動型開発に基づくSOAのセキュリティ開発プロセス
- モデル駆動型開発に基づくセキュリティ設定 : Webサービスのための認証設定(モデル指向(一般セッション))
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 携帯端末用Webページから通常端末用ページを構成する手法 : Webページのモデル化とその評価
- 多種端末向けWebコンテンツ適用のための変換方式とオーサリングツール (2000年情報学シンポジウム--ネットワーク型情報メディアの活用と情報を活かす新技術) -- (セッション6:情報の可視化)
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- コンポーネント指向Webアプリケーションフレームワークにおけるモジュール性の向上のための一手法
- Model2アーキテクチャのコンポーネント間関係に基づいたWebアプリケーション開発支援
- 標準的使用法の提示によるオブジェクト指向フレームワークの対話的理解支援
- アスペクト指向の導入によるフレームワークの理解容易性の向上
- B-17 オブジェクト指向フレームワークの標準的使用法に基づく対話的理解支援(オブジェクト指向とパターン,B.ソフトウェア)
- フレームワーク製作者の意図を考慮した再構成手法
- 制約記述の導入によるフレームワークのカスタマイズ作法の提示
- 標準的実装からの逸脱度によるフレームワークの設計評価
- スライシングを用いたフレームワークの再構成支援技法
- 5ZC-5 ユーザの実装逸脱度に基づくフレームワークの設計評価メトリクス
- フレームワーク・ナビゲータ : フレームワークを用いたアプリケーション実装の支援
- 仕様記述言語ZZと実行時仕様
- ドメインモデルの形式的記述手法ならびに要求仕様獲得への活用
- プログラム変更に対する正当性検証技法と分割技法の適用
- 論理型仕様の理解支援のための一手法
- 移動エージェントAgletsのセキュリティ・モデル(特集●インターネット)
- B-017 時間制約を持つ仕様に対するUML/SysMLモデルの動的検査手法(B分野:ソフトウェア,一般論文)
- マルチメディア会議システムRTPと電子白板との組合せによる教育への応用
- RB-002 MARTEプロファイルを適用したUMLモデルによる組込みシステムの性能評価シミュレーション(B分野:ソフトウェア,査読付き論文)
- ODA :多様な文書のための標準様式 (情報処理最前線)
- マルチメディア会議システムにおける連続メディアの参加者間同期方式
- 次世代アーキテクチャ分析のための性能解析モデリング手法の提案 (ディペンダブルコンピューティング)
- 次世代アーキテクチャ分析のための性能解析モデリング手法の提案 (コンピュータシステム)
- SysMLモデルの検証についての考察(検証/セキュリティ)
- 非対称共同作業のためのプラットフォーム : MCC(3) 共有黒板・ユーザインタフェース
- 非対称共同作業のためのプラットフォーム : MCC(1)アプリケーションインタフェース
- 共有黒板のハイパーメディア化とその応用
- 複合文書処理システムMOEにおける複合オブジェクトの取扱い
- 4N-8 テキストマイニングシステムにおける文書データとその付加情報の可視化手法
- 共有アプリケーションにおけるクリップボードの機構
- 非矩形の表の編集方法
- 表エディターTabIeMannerの打鍵レベル模型による評価
- 複合文書処理システムMOEにおけるインクリメンタル・フォーマッター(その3)
- 複合文書処理システムMOEにおけるインクリメンタル・フォーマッター(その2)
- 複合文書処理システムMOEにおけるインクリメンタル・フォーマッター(その1)
- 3T-9 多種端末向けWebアプリケーション・フレームワークDharmaのHTML変形プロクシー・サーバーへの適用の試み
- 4V-9 DOMインターフェースに基づくSGMLパーザー
- Dharma さまざまなインターネット端末にコンテンツを適応させるソフトウェア技術
- 多種端末向けWebアプリケーション構築システム : Dharma : ビューオブジェクト生成とHTML生成機構
- 多種端末向けWebアプリケーション構築システム : Dharma : システム概要とアプリケーションオブジェクト
- JSIAIワークステーション(9) : 知識表現言語SPOOLとそのプログラミング環境
- 次世代アーキテクチャ分析のための性能解析モデリング手法の提案
- 次世代アーキテクチャ分析のための性能解析モデリング手法の提案
- オブジェクト指向に基づく分析結果とプログラムからの設計上の決定抽出
- 階層構造を持つデータの入力システムのためのアプリケーション・ビルダーの試作
- 協調型スケジューリング・システムにおけるヒューリスティック・ルールの役割について
- バックトラッキング機構を持ったプロダクション・システム言語
- 2A2-C09 SysMLを用いたロボットシステムのモデルベース設計に関する研究 : 屋外用自立移動ロボットへの適用
- 2122 SysMLによる製品システムモデルの検証ツール(OS6-1 モデル駆動型の製品システム開発,OS6 モデル駆動型の製品システム開発)
- Ajaxアプリケーションの保守容易性計測のためのソフトウェアメトリクス
- UMLモデルからの変換によるWebアプリケーションの形式検証
- 組込みソフトウェアの動的振舞いによるシステム性能の評価手法
- UMLモデルからの変換による Web アプリケーションの形式検証