Advertisement

The evolving algebra semantics of class and role hierarchies

  • Georg Gottlob
  • Michael Schrefl
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1358)

Abstract

The formal description of the semantics of object-oriented data models is still a heavily debated research problem. This paper shows how evolving algebras provide an elegant way to specify the operational semantics of object-oriented data models. In particular, we define the formal semantics of a novice feature of object-oriented data models proposed recently by different authors: role hierarchies. As opposed to traditional class hierarchies, role hierarchies allow objects to dynamically acquire multiple independent types.

Keywords

evolving algebra operational semantics object-oriented data models inheritance roles 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [ABG093]
    A. Albano, R. Bergamini, G. Ghelli, and R. Orsini. An object data model with roles. In Proceedings of the International Conference on Very Large Databases, pages 39–51, Dublin, 1993.Google Scholar
  2. [B90a]
    E. Börger. A logical operational semantics of full Prolog, part I: Selection core and control. In E. Börger, H. Kleine Büning, and M. Richter, editors, CSL '89. Springer LCNS, 1990.Google Scholar
  3. [B90b]
    E. Börger. A logical operational semantics of full Prolog, part II: Built-in predicates for database manipulations. In MFCS '90. Springer LCNS, 1990.Google Scholar
  4. [B90c]
    E. Börger. A logical operational semantics of full Prolog, part III: Built-in predicates for files, terms, arithmetic and input-output. In Y. Moschovakis, editor, Proceedings of the Workshop on Logic for Computer Science, 1990.Google Scholar
  5. [Bee90]
    C. Beeri. A formal approach to object-oriented databases. Data & Knowledge Enigneering (5), pages 353–382, 1990.Google Scholar
  6. [Bla92]
    B. Blakley. A Smalltalk Evolving Algebra and its Uses. PhD thesis, University of Michigan, 1992.Google Scholar
  7. [GKS90]
    G. Gottlob, G. Kappel, and M. Schrefi. Semantics of object-oriented data models-the evolving algebra approach. In J. W. Schmidt and A. A. Stogny, editors, First International EastlWest Database Workshop-LNCS, page 504. Springer Verlag, 1990.Google Scholar
  8. [GM88]
    Y. Gurevich and J. M. Morris. Algebraic operational semantics and Modula-2. In E. Börger, H. Kleine Büning, and M. Richter, editors, CSL '87, pages 81–101. Springer, LNCS 329, 1988.Google Scholar
  9. [GM90]
    Y. Gurevich and L. S. Moss. Algebraic operational semantics and Occam. Rc15352, IBM Research Division, T. J. Watson Research Center, Yorktown Heights, 1990.Google Scholar
  10. [GSR96]
    G. Gottlob, M. Schrefl, and B. Röck. Extending object-oriented systems with roles. In: ACM Transactions on Information Systems, pages pp. 268–296, July 1996.Google Scholar
  11. [Gur88a]
    Y. Gurevich. Algorithmus in the world of bounded resources. In R. Herken, editor, The universal Turing machine-a half-century story, pages 407–416. Oxford University Press, 1988.Google Scholar
  12. [Gur88b]
    Y. Gurevich. Logic and the challenge of computer science. In E. Börger, editor, Trends in Theoretical Computer Science, pages 1–57. Computer Science Press, 1988.Google Scholar
  13. [Gur92]
    Y. Gurevich. The evolving algebra semantics of C. Cse-tr-141-92, EECS Department, University of Michigan, 1992.Google Scholar
  14. [Mor88]
    J. M. Morris. Algebraic Operational Semantics for Modula-2. PhD thesis, University of Michigan, 1988.Google Scholar
  15. [Pap91]
    M. P. Papazoglou. Roles: A methodology for representing multifaced objects. In Proceedings of the International Conference on Database and Expert Systems Applications, pages 7–12, 1991.Google Scholar
  16. [Per90]
    B. Pernici. Objects with roles. In Proceedings of the ACM Conference on Office Information Systems, pages 205–215, 1990.Google Scholar
  17. [RB92]
    E. Riccobene and E. Börger. A mathematical model of concurrent Prolog. Cstr-92-15, Dept. of Computer Science, University of Bristol, 1992.Google Scholar
  18. [RS91]
    J. Richardson and P. Schwarz. Aspects: Extending objects to support multiples, independent roles. In Proceedings of the International Conference on Management of Data, pages 298–307, 1991.Google Scholar
  19. [WdJS94]
    R. Wieringa, W. de Jonge, and P. Spruit. Roles and dynamic subclasses: A modal logic approach. In Proceedings of the Eighth European Conference on Object-Oriented Programming, 1994.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Georg Gottlob
    • 1
  • Michael Schrefl
    • 2
  1. 1.Institut für InformationssystemeTechnische Universität WienWien
  2. 2.Institut für WirtschaftsinformatikUniversität LinzWien

Personalised recommendations