照合操作の識別のためのOCL解析方法
スポンサーリンク
概要
- 論文の詳細を見る
情報システムのコンポーネントベース開発において,データの一貫性を保つために,照合操作が利用される.操作の仕様は,宣言型の記述言語であるOCL(Object Constraint Language)を用いて記述されるが,照合の表現が暗黙的であるため,人間が誤って解釈する恐れがある.本論文では,OCL仕様記述を静的に解析し,照合操作を識別する手法を提案する.この手法は,OCLの意味論に従う近似的な解釈(抽象解釈)を行う点が特徴である.本手法を用いて,照合操作の仕様の解釈の誤りを発見・除去することが可能になる.このことによって,データの一貫性が保たれた安全な情報システムを構築するための足がかりが得られる.
- 2013-03-15
著者
関連論文
- マルチエージェントシステムにおけるメタデータを用いた協調プロトコル合成手法(モデル/理論,ソフトウェアエージェントとその応用論文)
- Location Scope : ロケーションアウェアソフトウェア開発支援手法の提案(位置情報サービス, ユビキタスITSとモバイルアプリケーション)
- 適応エージェントのためのユビキタスコンピューティングミドルウェア(エージェント)
- MANETにおける省資源性を考慮した位置依存情報収集手法(ネットワーク)
- CSTソリューションコンペティション2007及び2008の総括(ペトリネット,離散事象システム,一般)
- AI-2-1 CSTソリューションコンペティション2008 : 総括(AI-2.CSTソリューションコンペティション2008:表彰式・シンポジウム,ソサイエティ企画)
- AK-2-3 マルチカーエレベータ群管理アルゴリズムに関する研究動向 : CSTソリューションコンペティション2007の活動を通じて(AK-2.基礎・境界分野の研究最前線,ソサイエティ特別企画,ソサイエティ企画)
- CSTソリューションコンペティション2007 : 評価実験の詳細報告(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- AI-1-5 CSTソリューションコンペティション2007(総括)(AI-1. CSTソリューションコンペティション2007:表彰式・シンポジウム,依頼シンポジウム,ソサイエティ企画)
- モデリングは教育できるか?(要求/教育)
- 多数のノード取得攻撃に対応した無線センサネットワークにおける不正イベントの検知(センサネットワーク・P2Pネットワーク,ネットワークを支えるソフトウェア技術論文)
- 物理的相互作用に着目したスマート空間の形式仕様記述と検証
- プロセス間競合を考慮した自己適応システムの形式仕様構築
- A-12-8 CSTソリューションコンペティション2007 : 課題と評価ツール(A-12.コンカレント工学,一般講演)
- AP-2-5 CSTソリューションコンペティション2007(概要)(AP-2.コンカレント技術研究の方向性,パネル討論,ソサイエティ企画)
- Ruby 処理系へのスナップショット GC の実装
- 知的移動エージェントによる低消費電力なワイヤレスセンサネットワークアプリケーションの構築(モバイル/ユビキタス/P2P,ソフトウェアエージェントとその応用論文)
- 知的移動エージェントによるマルチパーパスワイヤレスセンサネットワークアプリケーション(モバイルアプリケーション,ユビキタス時代を支えるモバイル通信と高度交通システム)
- パターンを用いたセキュアなモバイルエージェントシステム設計法(モバイルコンピューティング)
- Event Calculusに基づく合意を用いたモバイルエージェントの協調(モバイル/ユビキタス/P2P,ソフトウェアエージェントとその応用論文)
- プロセス記述によるサービス合成のパーベイシブコンピューティングへの適用(モバイルコンピューティング)
- パーベイシブネットワークにおけるWebサービス連携のためのモバイルエージェントシステム(分散協調とエージェント)
- ソフトウェア論文座談会
- 産業界におけるソフトウェア・エンジニアリングの動向(ソフトウェアの品質保証について)
- 遺伝的アルゴリズムによるアナログLSIの素子配置
- タグに関連づけられた時間・場所の概念抽出(「Webインテリジェンス」及び一般)
- 8.パネル討論:エージェントの社会的インパクト(社会に向き合うエージェントシステム)
- JADEを利用したマルチエージェントシステムの開発(研究のツールボックス 第6回)
- 要求の重要度を用いたマルチエージェントシステムの分析モデル検証(モデル/理論,ソフトウェアエージェントとその応用論文)
- IMPULSE:KAOSを利用したマルチエージェントシステムの分析モデル構築(分析・設計技法,ソフトウェア工学の理論と実践)
- ゴール指向要求分析を用いたself-adaptiveシステムの構築
- 6.ユビキタス環境で活躍するエージェント(社会に向き合うエージェントシステム)
- 多数のノード取得攻撃に対応した無線センサネットワークにおける複製ノードの分散検知(センサネットワーク・P2Pネットワーク,ネットワークを支えるソフトウェア技術論文)
- 無線センサネットワークにおけるFalse Eventの検知(無線・モバイルネットワーク,情報洪水時代のネットワークサービス)
- variable-size DBFによる分散ハッシュテーブルのトラヒック量削減(モバイル/ユビキタス/P2P,ソフトウェアエージェントとその応用論文)
- Ringed Bloom Filterによる分散ハッシュテーブルのトラフィック量削減(ミドルウェア,マルチメディア,分散,協調とモバイル(DICOMO2006))
- ゴール指向要求工学方法論の共通用語モデルと共通パターン(ソフトウェア要求工学,インタラクション技術の原理と応用)
- 無線センサネットワークにおける複数プログラムの動的配備
- トップエスイー「サイエンスによる知的ものづくり教育」
- 組織音伝搬特性にもとづく体内埋込型人工心臓用電子聴診システムのフィルター設計
- CAD/CAM技術と数値流体解析を応用した体内埋込拍動型人工心臓の設計開発
- 電子聴診システムを用いた体内埋込型人工心臓発生音の計測
- トップエスイー : サイエンスによる知的ものづくり教育
- Teaching how to write security target of Common Criteria using the i* methodology (ソフトウェア工学)
- ユビキタス環境における動的なプロセス配備のためのプログラミング支援フレームワーク(モバイルアプリケーション,ユビキタス時代を支えるモバイル通信と高度交通システム)
- 「コンピュータソフトウェア」における論文とは
- セキュリティソフトウェア工学の最前線
- 経路情報を用いた複数タスクへのセンサ割当て
- ソフトウェアの問題記述のための実行可能な形式化自然語の提案
- Chordネットワークに配置された配列に対する並列範囲アクセス
- 同種サービスの併用を考慮した効率的なサービス選択
- 無線センサネットワークにおける対象追跡の分解能を調整可能なセンサモデル(スマートな社会を支えるインターネットアーキテクチャ論文)
- メタデータ制約を用いた協調プロトコルの自動合成手法
- SVMのバイオメトリクス認証への応用について : 分散システム下でのエージェント認証に向けて
- ページキャッシュの復元による遠隔地ライブマイグレーションの高速化
- ページキャッシュの復元による遠隔地ライブマイグレーションの高速化
- 参照整合性の検証のためのUML Activity解析方法
- ページキャッシュの復元とその他のメモリ転送の並列動作による遠隔地ライブマイグレーション高速化
- 照合操作の識別のためのOCL解析方法
- クラウドを動的に利用するWebサービス連携のための動作記述(「サービス・クラウドの応用及びマッシュアップ」及び一般)