カラーペトリネットによるオブジェクトマイグレーションの振舞いモデリング

情報処理学会 Web Site 被引用文献1件 参考文献33件

書誌事項

タイトル別名
  • カラーペトリネット ニ ヨル オブジェクトマイグレーション ノ フルマイ モデリング
  • Object Migration Behavior Modeling Using Colored Petri Nets

この論文をさがす

説明

実世界の実体の多面的な性質の表現 任意のアスペクトの動的な獲得・喪失を可能とする多面的オブジェクト指向データモデルに基づくデータベースでは オブジェクトの性質の進化に伴い オブジェクトのクラスへの所属関係を更新するオブジェクトマイグレーション（Object Migration; OM）が生起する.このOMはオブジェクトの一貫性を維持するうえで重要であるが OMに関する更新操作の体系 すなわちOMの振舞いモデリングおよび設計技法に関する研究は未だ十分に行われていない.本論文では 著者等が提案したOMの枠組みを基に カラーベトリネット（Colored Petri Nets; CPN）を用いたOM振舞いモデルの構築を提案する.提案する方法に従うOM振舞いモデルは オブジェクトに関する一貫性制約（型制約 遷多制約 静的制約）を記述するCPNとなる.このOM振舞いモデリングは （1）型制約 遷多制約（条件付き 文脈依存） 静的制約（アスペクト数の上限 排他的アスペクト 属性値条件）に対する記述力 （2）図式表現によるモデルの理解の容易さ （3）CPNの発火則に従った実行可能モデルといった特徴を持つ.また 仮想アスペクトや導出アスペクトを特殊なOM生起とみなして OM振舞いモデルに統合することも可能となる.

In database based on a Multi-Aspects Object-Oriented data model which enables multiple aspects of real-world entities to be represented and to be acquired/lost dynamically, Object Migration (OM) updating membership relationships between an object and classes occurs, as the properties of the object evolve in its lifetime. Although it is important to keep objects consistent in OM, researches on OM behavior modeling and design methods have not been fully carried out yet. This paper presents a method of OM behavior modeling using Colored Petri Nets (CPN), based on the OM framework proposed by the authors. An OM behavior model is a CPN describing consistency constraints such as type constraints, transitional constraints, and static constraints about an object. The OM behavior modeling has features such as (1) descriptive power for type constraints, transitional constraints (conditional, context-sensitive), and static constraints (maximum number of aspects, exclusive aspects, and attribute condition), (2) easiness to understand OM behavior models with graphical representation, and (3) executable models under CPN firing rule. It is also possible to integrate virtual aspects and derived aspects into an OM behavior model by treating them as a special kind of OM occurrences.

収録刊行物

被引用文献 (1)*注記

もっと見る

参考文献 (33)*注記

もっと見る

キーワード

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

問題の指摘

ページトップへ