[논문 리뷰] Event Driven Objects

Viacheslav Wolfengagen|ArXiv.org|2001. 06. 12.

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)을 수립한다.

제안 방법

• 객체를 이상화된 요소로 표현하며, 사전 이론에 기반한 잠재적 객체에 대한 할당을 통해 실제 객체를 생성한다.
• 무한정 변수를 위한 확장된 범위로 변수 도메인을 도입하며, 이는 유형과 이벤트로 파arameterized되어 잠재적 요소를 표현한다.
• 스크립트를 통해 이벤트 간 전이를 모델링하며, 평가를 교환 다이어그램과 형식적 규칙이 지배한다.
• λ-연산자 원리 적용: 규칙 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 표현식 내 데이터 객체와 이벤트를 포함하는 조합적이고 투명한 의미론을 보장하는 형식적 평가 규칙은 무엇인가?

주요 결과

• 부분 요소의 집합 𝒫는 데이터 객체를 포함하는 표현의 평가 의미론을 포괄하며, 계산의 글로벌 기반을 형성한다.
• 변수 도메인은 유형과 이벤트로 파arameterized된 가족으로 형식화되어, 무한정 변수의 범위로서 잠재적 요소를 표현할 수 있다.
• 이벤트 기반 전이는 스크립트를 통해 모델링되며, 이벤트의 흐름이 잠재적 객체에서 실제 객체를 생성한다.
• 표현식의 평가는 조합적이다: |(MN)|i = (|M|i)(|N|i), 이는 레이어와 유형 간 일관성을 보장한다.
• 메타연산자 ε는 적용의 동적 시각을 가능하게 하며, |(MN)| = ε ∘ ⟨|M|, |N|⟩로 표현되어 평가가 함수 조합과 연결된다.
• 상수는 이벤트에 독립적이다: |c|i = c로 표현되며, 이는 다양한 상태나 이벤트에서 안정적인 값 유지 보장을 한다.