Temporal constraints for object migration and behavior modeling using colored petri nets

  • Authors:
  • Hideki Sato;Akifumi Makinouchi

  • Affiliations:
  • School of Community Policy, Aichi Gakusen University, Toyota, Japan;Graduate School of Information Science and Electrical Engineering, Kyushu University, Fukuoka, Japan

  • Venue:
  • ER'00 Proceedings of the 19th international conference on Conceptual modeling
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

Abstract

In databases based on a multi-aspects object-oriented 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. To keep an object consistent in OM, this paper introduces temporal consistency constraints such as temporal transitional constraints and temporal multiplicity constraints by extending OM consistency constraints for snapshot databases. To this end, a temporal interval is attached to each aspect of an object for representing its duration in the real world. Then, temporal transitional constraints are represented by transitional rules with conditions referring to temporal intervals. Additionally, temporal multiplicity constraints are represented by object-schemas. Furthermore, the paper proposes OM behavior modeling using Colored Petri Nets (CPN) based on temporal consistency constraints.