2001/06/12 by Viacheslav Wolfengagen
Computer Science · #cs.LO #cs.DB #cs.SE
published as Proceedings of the 1-st International Workshop on Computer Science and Information Technologies CSIT'99, Moscow, Russia, 1999. Vol.1, pp. 88--97
arxiv created 2001/06/12 · arxiv updated 2009/11/30
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.