Construction of object migration behaviour models from temporal constraints

A multi-aspects object data model enables multiple aspects of a real-world entity to be represented and to be acquired/lost dynamically. In multi-aspects object databases, object migration (OM) updating membership relationships between an object and classes occur, as the properties of the object evolve in its lifetime. Temporal object migration (TOM) behaviour modelling framework using coloured Petri nets (CPN) has been presented to construct TOM behaviour models, a temporally extended version of OM behaviour models. In manual construction of TOM behaviour models, however, it becomes more difficult to make the models consistent and complete as their scales grow larger. To overcome the problem, this paper proposes a technique for automatically constructing TOM behaviour models from TOM consistency constraints and class schemas, which are described in a concise, fragmentary, and declarative form.