[论文解读] 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用于常量。
• 使用元对象（meta 0、meta 1、meta 2）定义分层系统：数据库、知识库和元知识库，事件和世界作为结构组件。
• 通过λ-表达式定义求值映射，其中 |(MN)|i = (|M|i)(|N|i)，且 |(λ.M)d|i = |M|[i,d]，确保语义的组合性。

实验结果

研究问题

• RQ1 如何在形式上区分并分类问题领域中的对象，将其划分为实际、潜在或虚拟对象？
• RQ2 事件和脚本在计算模型中如何驱动状态转换和对象实例化？
• RQ3 如何正式构建变量域，以表示未绑定变量和潜在对象？
• RQ4 如何利用分层的元对象系统（meta 0、meta 1、meta 2）一致地建模数据、知识和元知识？
• RQ5 哪些形式化求值规则可确保涉及数据对象和事件的表达式具有组合性和透明的语义？

主要发现

• 偏元素的集合 𝒫 捕获了包含数据对象的表达式求值语义，构成了计算的全局基础。
• 变量域被形式化为以类型和事件为参数的族，支持将潜在元素表示为未绑定变量的取值范围。
• 事件驱动的转换通过脚本建模，事件流可将潜在对象转化为实际对象。
• 表达式求值具有组合性：|(MN)|i = (|M|i)(|N|i)，确保在各层和类型间的一致性。
• 元算子ε实现了应用的动态视图，其中 |(MN)| = ε ∘ ⟨|M|, |N|⟩，将求值与函数复合联系起来。
• 常量与事件无关：|c|i = c，确保在不同状态或事件中保持值的稳定性。