5.2.2.2 OBJECT CLASS AND OBJECT

The object class basically consists of the class of all objects, an object is an instance of that class. Other independent variables in the object tuple include a series of rules the predicate-trigger rules, the syntax rules, and the semantic rules.

An object has some behavior that takes place only when specified predicate events (E) occur.  Additionally, syntactic rules (Syn) are required to address the elements in the display of the object instance on the Screen, which will be defined next. Semantic rules (Sem) deal with the mapping of an input tuple to the consequent output tuple.They deal with the change of object state: in effect the behavior of the object with respect to the screen, object inter-relation, and affects on other object predicate-triggers.

(EQ 2) O* = < E, Sem, Syn >

An instance of O* is the object O and requires an attribute list of specific values, expressions, data structures as required to sufficiently account for that specific object.

(EQ 3) O = <O*, P(O) >

Figure 58 Object Class and Object