照合操作の識別のためのOCL解析方法

情報処理学会 Web Site

書誌事項

タイトル別名
  • ショウゴウ ソウサ ノ シキベツ ノ タメ ノ OCL カイセキ ホウホウ
  • An OCL Analysis Method for Identifying Collation Operations

この論文をさがす

抄録

情報システムのコンポーネントベース開発において，データの一貫性を保つために，照合操作が利用される．操作の仕様は，宣言型の記述言語であるOCL（Object Constraint Language）を用いて記述されるが，照合の表現が暗黙的であるため，人間が誤って解釈する恐れがある．本論文では，OCL仕様記述を静的に解析し，照合操作を識別する手法を提案する．この手法は，OCLの意味論に従う近似的な解釈（抽象解釈）を行う点が特徴である．本手法を用いて，照合操作の仕様の解釈の誤りを発見・除去することが可能になる．このことによって，データの一貫性が保たれた安全な情報システムを構築するための足がかりが得られる．

In component-based IS (information systems), collation operation is used for managing data consistency, and collations are specified implicitly with OCL (Object Constraint Language) in a declarative manner, which may cause human error in understanding their definitions. This paper presents an OCL analysis method for identifying collations, which employs an abstract interpretation in order to gain the meaning of description statically. With the method we can detect the human errors and correct them, which gives us a foothold to construct the consistent IS.

収録刊行物

キーワード

詳細情報 詳細情報について

問題の指摘

ページトップへ