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

• Item type: Trans(1)
• 公開日: 1999-11-15
• タイトル: カラーペトリネットによるオブジェクトマイグレーションの振舞いモデリング
• タイトル / 言語: en
• タイトル: Object Migration Behavior Modeling Using Colored Petri Nets
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 研究論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 愛知学泉大学コミュニティ政策学部
• 著者所属: 名古屋工業大学電気情報工学科
• 著者所属(英): en
• 著者所属(英): School of Community Policy, Aichi Gakusen University
• 著者所属(英): en
• 著者所属(英): Department of Electrical and Computer Engineering, Nagoya Institute of Technology
• 著者名: 佐藤, 秀樹; 林, 達也
• 著者名(英): Hideki, Sato; Tatsuya, Hayashi
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 実世界の実体の多面的な性質の表現 任意のアスペクトの動的な獲得・喪失を可能とする多面的オブジェクト指向データモデルに基づくデータベースでは オブジェクトの性質の進化に伴い オブジェクトのクラスへの所属関係を更新するオブジェクトマイグレーション（Object Migration; OM）が生起する.このOMはオブジェクトの一貫性を維持するうえで重要であるが OMに関する更新操作の体系 すなわちOMの振舞いモデリングおよび設計技法に関する研究は未だ十分に行われていない.本論文では 著者等が提案したOMの枠組みを基に カラーベトリネット（Colored Petri Nets; CPN）を用いたOM振舞いモデルの構築を提案する.提案する方法に従うOM振舞いモデルは オブジェクトに関する一貫性制約（型制約 遷多制約 静的制約）を記述するCPNとなる.このOM振舞いモデリングは （1）型制約 遷多制約（条件付き 文脈依存） 静的制約（アスペクト数の上限 排他的アスペクト 属性値条件）に対する記述力 （2）図式表現によるモデルの理解の容易さ （3）CPNの発火則に従った実行可能モデルといった特徴を持つ.また 仮想アスペクトや導出アスペクトを特殊なOM生起とみなして OM振舞いモデルに統合することも可能となる.
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: 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.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464847
• 書誌情報: 情報処理学会論文誌データベース（TOD）; 巻 40, 号 SIG08(TOD4), p. 13-28, 発行日 1999-11-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7799
• 出版者 / 言語: ja
• 出版者: 情報処理学会