Skip to main content

Temporal Constraints for Object Migration and Behavior Modeling Using Colored Petri Nets

  • Conference paper
  • First Online:
Conceptual Modeling — ER 2000 (ER 2000)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1920))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Cattel, R. G. G., Barry, D. G. (eds.): The Object Database Standard: ODMG2.0. Morgan Kaufmann (1997)

    Google Scholar 

  2. Sciore, E.: Object Specialization. ACM Trans. Office Information Systems, Vol.7, 2 (1989) 103–127

    Article  Google Scholar 

  3. Steing, L. A., Zdonik, S. B.: Clovers: The Dynamic Behavior of Type and Instances. Brown University Technical Report, No.CS-89-42 (1989)

    Google Scholar 

  4. Richardson, J., Schwarz, P.: Aspects: Extending Object to Support Multiple, Independent Roles. Proc. ACM International Conference on Management of Data (1991) 298–307

    Google Scholar 

  5. Tsukada, H., Sugimura, T.: MAC-model: An Extended Object-Oriented Data Model for Multiple Classification. Computer Software, Vol.11, 5 (1994) 44–57

    Google Scholar 

  6. Ishimaru, T., Uemura, S.: An Object Oriented Data Model for Multiple Representation of Object Semantics. IEICE Transaction D-I, Vol.J78-D-I, 3 (1995) 349–357

    Google Scholar 

  7. Aritsugi, M., Makinouchi, A.: Design and Implementation of Multiple Type Objects in a Persistent Programming Language. Proc. COMPSAC 95 (1995) 70–76

    Google Scholar 

  8. Gottlob, G., Schrefl, M., Rock, B.: Extending Object-Oriented System with Roles. ACM Trans. Information Systems, Vol.14, 3 (1996) 268–296

    Article  Google Scholar 

  9. Su, J.: Dynamic Constraints and Object Migration. Proc. International Conference on Very Large Data Bases (1991) 233–242

    Google Scholar 

  10. Qing, L., Guozhu, D.: A Framework for Object Migration in Object-Oriented Databases. Data and Knowledge Engineering, Vol.12, (1994) 221–242

    Google Scholar 

  11. Mendelzon, A. O., Milo, T., Walker, E.: Object Migration. Proc. PODS94 (1994) 232–242

    Google Scholar 

  12. Onizuka, M., Yamamuro, M.,. Ishigaki, S: A Class-Based Object-Oriented Database Design to Support Object Evolution. IEICE Transaction D-I, Vol.J79-D-I, 10 (1996) 803–810

    Google Scholar 

  13. Sato, H., Ikeda, M., Funahashi, S., Hayashi, T.: MAORI: A Multi-Aspects Object-Oriented Data Model. IEICE Transaction D-I, Vol.J79-D-I, 10 (1996) 781–790

    Google Scholar 

  14. Sato, H., Funahashi, S., Hayashi, T.: A Framework of Object Migration in Multi-Aspects Object-Oriented Databases. IEICE Transaction D-I, Vol.J81-D-I, 3 (1998) 271–282

    Google Scholar 

  15. Sato, H., Hayashi, T.: Object Migration Behavior Modeling with Petri-Nets. Proc. IASTED International Conference, Artificial Intelligence and Soft Computing (1998) 250–253

    Google Scholar 

  16. Sato, H., Hayashi, T.: Object Migration Behavior Modeling Using Colored Petri Nets. IPSJ Transaction on Databases, Vol.40, No.SIG8 (1999) 13–28

    Google Scholar 

  17. Peterson, J. L.: Petri Net Theory and the Modeling of Systems. North-Holland (1981)

    Google Scholar 

  18. Allen, J. F.: Maintaining Knowledge about Temporal Intervals. Communications of the ACM, Vol.26, 11 (1983) 832–843

    Article  MATH  Google Scholar 

  19. Jensen, K.: Coloured Petri Nets: A High Level Language for System Design and Analysis. In: Rozenberg, G. (ed.): Petri Nets 1990. Lecture Notes in Computer Science, Vol.483. Springer-Verlag (1990) 342–416

    Google Scholar 

  20. Snodgrass, R. T.: Temporal Object-Oriented Databases: A Critical Comparison. In: Kim, W. (ed): Modern Database Systems. Addison-Wesley (1995) 386–408

    Google Scholar 

  21. Snodgrass, R. T.: Temporal Databases. In: Zaniolo, C. (ed.): Advanced Database Systems. Morgan Kaufmann (1997) 97–126

    Google Scholar 

  22. Sakai, H.: Object Oriented Database Design. Journal of IPSJ, Vol.32, 5 (1991) 568–576

    Google Scholar 

  23. Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W.: Object-Oriented Modeling and Design., Prentice-Hall (1991)

    Google Scholar 

  24. Fowler, M., Scott, K.: UML DISTILLED: Applying the Standard Object Modeling Language. Addison-Wesley (1997)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sato, H., Makinouchi, A. (2000). Temporal Constraints for Object Migration and Behavior Modeling Using Colored Petri Nets. In: Laender, A.H.F., Liddle, S.W., Storey, V.C. (eds) Conceptual Modeling — ER 2000. ER 2000. Lecture Notes in Computer Science, vol 1920. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45393-8_7

Download citation

  • DOI: https://doi.org/10.1007/3-540-45393-8_7

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41072-0

  • Online ISBN: 978-3-540-45393-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics