[論文レビュー] Event Driven Objects

Viacheslav Wolfengagen|ArXiv.org|Jun 12, 2001

Advanced Database Systems and Queries参考文献 8被引用数 20

ひとこと要約

本稿は、変数ドメイン、型、スクリプトを用いて、イベント駆動型の遷移を伴う動的データオブジェクトをモデル化する、イベント駆動型オブジェクト（EDO）の形式的枠組みを導入する。可換図式とλ計算スタイルの評価規則に基づく計算モデルを確立し、情報システムにおける永続的データおよびメタデータの型付きで拡張可能な意味論を可能にする。

ABSTRACT

A formal consideration in this paper is given for the essential notations to characterize the object that is distinguished in a problem domain. The distinct object is represented by another idealized object, which is a schematic element. When the existence of an element is significant, then a class of these partial elements is dropped down into actual, potential and virtual objects. The potential objects are gathered into the variable domains which are the extended ranges for unbound variables. The families of actual objects are shown to be parameterized with the types and events. The transitions between events are shown to be driven by the scripts. A computational framework arises which is described by the commutative diagrams.

研究の動機と目的

• 問題領域におけるオブジェクトの概念を形式化し、構造的意味論モデルを用いて実在のオブジェクト、可能性のあるオブジェクト、仮想オブジェクトを区別すること。
• データおよびメタデータをイベントとスクリプトによって制御される動的実体としてモデル化し、永続的でモジュラーな計算を可能にすること。
• データオブジェクト、型、イベントを含む式の形式的評価メカニズムを、λ計算の原則を用いて確立すること。
• 変数ドメインを、型とイベントによってインデックス付けされた可能性のあるオブジェクトのパラメトリック族として定義し、未束縛変数の評価を可能にすること。
• 状態、概念、知識ベースがメタオブジェクトと代入を介して再帰的に定義される、段階的計算モデル（段階0, 1, 2）を構築すること。

提案手法

• オブジェクトを理想化された要素として表現し、事前理論に基づく可能性のあるオブジェクトへの代入によって実在のオブジェクトを生成する。
• 未束縛変数のための拡張された範囲としての変数ドメインを導入し、型とイベントによってパラメータ化することで、可能性のある要素を表現する。
• スクリプトを用いてイベント間の遷移をモデル化し、評価を可換図式と形式的規則で制御する。
• λ計算の原則を適用する：規則1は関数適用、規則2はペアの評価、規則3はλ抽象化、規則4はメタオペレータεによる適用、規則5は定数の扱い。
• メタオブジェクト（メタ0, メタ1, メタ2）を用いて段階的なシステムを定義する：データベース、知識ベース、メタ知識ベースを構成し、イベントと世界を構造的要素として用いる。
• λ式による評価写像を定義し、|(MN)|i = (|M|i)(|N|i) および |(λ.M)d|i = |M|[i,d] とすることで、合成的意味論を保証する。

実験結果

リサーチクエスチョン

• RQ1 問題領域におけるオブジェクトは、どのように形式的に実在、可能性、仮想の三つに区別され、分類されるか？
• RQ2 イベントとスクリプトは、計算モデルにおける状態遷移とオブジェクトの生成にどのように機能するか？
• RQ3 未束縛変数と可能性のあるオブジェクトを表現するために、変数ドメインをどのように形式的に構築できるか？
• RQ4 メタオブジェクト系（メタ0, メタ1, メタ2）を用いた段階的で一貫性のあるアーキテクチャは、どのようにデータ、知識、メタ知識をモデル化できるか？
• RQ5 データオブジェクトとイベントを含む式の合成的かつ透明な意味論を保証する形式的評価規則は何か？

主な発見

• 部分的要素の集合𝒫は、データオブジェクトを含む式の評価の意味論を捉えており、計算のグローバルな基盤を形成する。
• 変数ドメインは、型とイベントによってパラメータ化された族として形式化され、未束縛変数の範囲としての可能性のある要素の表現を可能にする。
• イベント駆動型の遷移はスクリプトを介してモデル化され、イベントの流れが可能性のあるオブジェクトから実在のオブジェクトを生成する。
• 式の評価は合成的である：|(MN)|i = (|M|i)(|N|i) であり、層や型をまたがって一貫性が保証される。
• メタオペレータεにより、適用の動的視点が可能となり、|(MN)| = ε ∘ ⟨|M|, |N|⟩ とすることで、評価と関数的合成が結びつく。
• 定数はイベントに依存しない：|c|i = c であり、異なる状態やイベントにおいても安定した値を保証する。