Translation for Constraint Descriptions into a Colored Petri Net to Analyze Object Migration Behavior(Databases)

概要

論文の詳細を見る
In databases based on a multi-aspects object data model which enables multiple aspects of a real-world entity to be represented and to be acquired/lost dynamically, Object Migration (OM) updating membership relationships between an object and classes occurs, as the properties of the object evolve in its lifetime. We have proposed an OM behavior modeling framework using Colored Petri Nets (CPN) to analyze OM behavior. Based on the proposed framework, this paper presents a technique for constructing OM behavior models from OM constraint descriptions and class schemas as its input. The presented technique makes it easy to construct consistent and complete OM behavior models, since OM constraints are described in a simple, modular, and declarative form.
一般社団法人電子情報通信学会の論文
2003-12-01