WEKO3
アイテム
ペトリネットによるオブジェクトマイグレーション振舞いモデリング
https://ipsj.ixsq.nii.ac.jp/records/19975
https://ipsj.ixsq.nii.ac.jp/records/199754e725512-6d18-4607-99d9-2fb707858c8e
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
|
|
Copyright (c) 1998 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1998-01-19 | |||||||
| タイトル | ||||||||
| タイトル | ペトリネットによるオブジェクトマイグレーション振舞いモデリング | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Object Migration Behavior Modeling with Petri - Nets | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 株式会社デンソー | ||||||||
| 著者所属 | ||||||||
| 名古屋工業大学電気情報工学科 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| DENSO CORPORATION | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Dept. of Electrical & Computer Engineering, Nagoya Institute of Technology | ||||||||
| 著者名 |
佐藤, 秀樹
林, 達也
× 佐藤, 秀樹 林, 達也
|
|||||||
| 著者名(英) |
Hideki, Sato
Tatsuya, Hayashi
× Hideki, Sato Tatsuya, Hayashi
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 実世界の実体の多面的な性質の表現,任意の側面(aspect)の動的な獲得・喪失を扱う多面的データモデルに基づくデータベースでは,オブジェクトの性質の進化に伴い,オブジェクトのクラスへの所属関係の更新であるオブジェクトマイグレーション(Object Migaration; OM)が起きる.本論文では,多面的オブジェクト指向データモデルMAORI(Multi-Aspects Object-Oriented Data Model)に基づくデータベースにおいて,ペトリネット応用によるOM振舞いモデルの構築を提案する。モデル化のために述語/遷移ネットを拡張したクラス/遷移ネットを提案し,これに基づき,遷移制約に対するOM振舞い構造ネット,静的制約に対するOM振舞いチェックネットを構築する. | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | In databases based on a multi-aspects object-oriented data model which aims to represent multiple aspects of real-world entities and to handle dynamical acquiring/losing of these aspects, object migration (hereafter OM) occurs, as the properties of an object evolve in its lifetime. This paper proposes OM behavior model for databases based on MAORI, a multi-aspects object-orineted data model. In the modeling framework, Class/Transition net, an extension of Predicate/Transition net, is used to make OM Behavior Structure net for transition constraints and OM Behavior Check net for static constraints. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10112482 | |||||||
| 書誌情報 |
情報処理学会研究報告データベースシステム(DBS) 巻 1998, 号 2(1997-DBS-114), p. 23-30, 発行日 1998-01-19 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||