Event Driven Objects

TL;DR

This paper develops a formal framework for representing objects and their state transitions driven by events, using schematic elements, variable domains, and scripts within a computational structure.

Contribution

It introduces a formal notation system for object characterization and models event-driven object transitions using commutative diagrams.

Findings

Formal notation for object characterization

Modeling of event-driven state transitions

Framework using commutative diagrams

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.