A formal model of objects is introduced. The definition is extended to temporal objects. A system of ECA rules allows the specification of event/trigger and dynamic constraints. The theory is founded by the definition of predicates and a... more
A formal model of objects is introduced. The definition is extended to temporal objects. A system of ECA rules allows the specification of event/trigger and dynamic constraints. The theory is founded by the definition of predicates and a set of axioms, characterizing the defined objects.