Skip to main content
SpringerLink
Log in

Roles and dynamic subclasses: A modal logic approach

  • Conference paper
  • First Online:
Object-Oriented Programming (ECOOP 1994)

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

Included in the following conference series:

Abstract

In this paper, we argue that object-oriented models must be able to represent three kinds of taxonomic structures: static subclasses, dynamic subclasses and role classes. If CAR is a static subclass of VEHICLE, then a vehicle that is not a car can never migrate to the CAR subclass. If EM Ployee is a dynamic subclass of PERSON, then a PERSON that is not an employee may migrate to EMP. In both cases, an instance of the subclass is identical to an instance of the superclass. Finally, if EMP is modeled as a role class of PERSON every employee differs from every person, but a PERSON instance can acquire one or more EMP instances as roles. We outline an approach to formalizing these taxonomic structures in order-sorted dynamic logic with equality.

This research is partially supported by Esprit Basic Research Action IS-CORE (working group 6071).

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. A. Albano, R. Bergamini, G. Ghelli, and R. Orsini. An object data model with roles. In R. Agrawal, S. Baker, and D. Bell, editors, Proceedings of the 18th International Conference on Very Large Databases, pages 39–51, Dublin, Ireland, August 24–27 1993.

    Google Scholar 

  2. C.W. Bachman and M. Daya. The role concept in data models. In Proceedings of the Third International Conference on Very Large Databases, pages 464–476, 1977.

    Google Scholar 

  3. L. Cardelli. A semantics of multiple inheritance. In G. Kahn, D. MacQueen, and G. Plotkin, editors, Semantics of Datatypes, pages 51–67. Springer, 1984. Lecture Notes in Computer Science 173.

    Google Scholar 

  4. G. Chambers. Predicate classes. In European Conference on Object-Oriented Programming (ECOOP93), pages 268–296. Springer, 1993.

    Google Scholar 

  5. E.F. Codd. Extending the database relational model to capture more meaning. ACM Transactions on Database Systems, 4:397–434, 1979.

    Article  Google Scholar 

  6. J.F. Costa, A. Sernadas, and C. Sernadas. OBL-89 User's Manual, version 2.3. Instituto Superior Técnico, Lisbon, May 1989.

    Google Scholar 

  7. P. Coad and E. Yourdon. Object-Oriented Analysis. Yourdon Press/Prentice-Hall, 1990.

    Google Scholar 

  8. R. Elmasri, I. El-Assal, and V. Kouramajian. Semantics of temporal data in an extended er model. In H. Kangalasso, editor, Entity-Relationship Approach: The Core of Conceptual Modelling, pages 239–154. Elsevier, 1991.

    Google Scholar 

  9. H.-D. Ehrich, M. Gogolla, and U.W. Lipeck. Algebraische Spezifikation abstrakter Datentypen. B.G. Teubner, 1989.

    Google Scholar 

  10. H.-D. Ehrich, R. Jungclaus, and G. Denker. Object roles and phases. In U.W. Lipeck and G. Koschorreck, editors, Proceedings of the International Workshop on Information Systems — Correctness and Reusability (ISCORE'93), pages 114–121. Institut für Informatik, UniversitÄt Hannover, Postfach 6009, Hannover, Germany, 1993.

    Google Scholar 

  11. R. Elmasri and V. Kouramajian. A temporal query language based on conceptual entities and roles. In G. Pernul and A.M. Tjoa, editors, Entity-Relationship Approach-ER'92, pages 375–388. Springer, 1992. Lecture Notes in Computer Science 645.

    Google Scholar 

  12. R.B. Feenstra and R.J. Wieringa. LCM 3.0: a language for describing conceptual models. Technical Report IR-344, Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam, December 1993.

    Google Scholar 

  13. Joseph Goguen, Jean-Pierre Jouannaud, and José Meseguer. Operational semantics of order-sorted algebra. In W. Brauer, editor, Proceedings, 1985 International Conference on Automata, Languages and Programming, pages 221–231. Springer, 1985. Lecture Notes in Computer Science, Volume 194.

    Google Scholar 

  14. D. Gabbay and J.M. Moravcsik. Sameness and individuation. The Journal of Philosophy, 70:513–526, 1973.

    Article  Google Scholar 

  15. J.A. Goguen and J. Meseguer. Completeness of many-sorted equational logic. SIGPLAN Notices, 17(1):9–17, 1982.

    Article  Google Scholar 

  16. J.A. Goguen and J. Meseguer. EQLOG: Equality, types, and generic modules for logic programming. In D. DeGroot and G. Lindstrom, editors, Logic Programming: Functions, Relations, and Equations, pages 295–363. Prentice-Hall, 1986.

    Google Scholar 

  17. J.A. Goguen and J. Meseguer. Models and equality for logical programming. In H. Ehrig, R. Kowalski, G. Levi, and U. Montanari, editors, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT'87) Volume 2, pages 1–22. Springer, 1987. Lecture Notes in Computer Science 250.

    Google Scholar 

  18. J.A. Goguen and J. Meseguer. Unifying functional, object-oriented and relational programming with logical semantics. In B. Shriver and P. Wegner, editors, Research Directions in Object-Oriented Programming, pages 417–477. MIT Press, 1987.

    Google Scholar 

  19. Joseph Goguen and José Meseguer. Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theoretical Computer Science, 105:217–273, 1992.

    Article  MathSciNet  Google Scholar 

  20. F. Golshani, T.S.E. Maibaum, and M.R. Sadler. A modal system of algebras for database specification and query/update support. In Proceedings of the Nineth International Conference on Very Large Databases, pages 331–359, 1983.

    Google Scholar 

  21. G. Gottlob, M. Schreffl, and B. Röck. Extending object-oriented systems with roles. Manuscript, 1993.

    Google Scholar 

  22. D. Harel. Dynamic logic. In D.M. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic II, pages 497–604. Reidel, 1984.

    Google Scholar 

  23. P. Hall, J. Owlett, and S. Todd. Relations and entities. In G.M. Nijssen, editor, Modelling in Database Management Systems, pages 201–220. North-Holland, 1976.

    Google Scholar 

  24. P. Jeremaes, S. Khosla, and T.S.E. Maibaum. A modal (action) logic for requirements specification. In D. Barnes and P. Brown, editors, Software Engineering 86, pages 278–294. Peter Peregrinus Ltd., 1986.

    Google Scholar 

  25. H.W.B. Joseph. An Introduction to Logic. Clarendon Press, 1916.

    Google Scholar 

  26. R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. Object-oriented specification of information systems: The TROLL language. Technical report, Abt. Datenbanken, Tech. UniversitÄt Braunschweig, P.B. 3329, Braunschweig, Germany, 1991.

    Google Scholar 

  27. S.N. Khoshafian and G.P. Copeland. Object identity. In Object-Oriented Programming Systems, Languages and Applications, pages 406–416, 1986. SIGPLAN Notices 22 (12).

    Article  Google Scholar 

  28. S. Khosla, T.S.E. Maibaum, and M. Sadler. Database specification. In T.B. Jr. Steel and R. Meersman, editors, Database Semantics (DS-1), pages 141–158. North-Holland, 1986.

    Google Scholar 

  29. D. Kozen and J. Tiuryn. Logics of programs. In Jan van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 789–840. Elsevier Science Publishers, 1990.

    Google Scholar 

  30. Jacques van Leeuwen. Individuals and Sortal Concepts: An Essay in Logical Descriptive Metaphysics. PhD thesis, University of Amsterdam, 1991.

    Google Scholar 

  31. H. Lieberman. Using prototypical objects to implement shared behavior in object oriented systems. In N. Meyrowitz, editor, Object-Oriented Programming: Systems, Languages and Applications, pages 214–223, October 1986.

    Google Scholar 

  32. Jacques van Leeuwen and Henk Zeevat. Identity and common nouns in intensional logic. In J. Groenendijk, M. Stokhof, and F. Veltman, editors, Proceedings of the Sixth Amsterdam Colloquium, pages 219–241, Amsterdam, 1987. Institute for Language, Logic and Information.

    Google Scholar 

  33. J. Meseguer. Solving the inheritance anomaly in concurrent object-oriented programming. In O.M. Nierstrasz, editor, European Conference on Object-Oriented Programming (ECOOP'93), pages 220–246, Kaiserslautern, July 1993. Springer. Lecture Notes in Computer Science 707.

    Google Scholar 

  34. J. Meseguer and J.A. Goguen. Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems. Information and Computation, 103:114–158, 1993.

    Article  MathSciNet  Google Scholar 

  35. J. Meseguer and X. Qian. A logical semantics for object-oriented databases. In Proceedings of the 1993 ACM SIGMOD International Conference on the Management of Data, pages 89–98. ACM Press, May 26–28 1993. Sigmod Record 22(2), June 1993.

    Google Scholar 

  36. B. Pernici. Objects with roles. In IEEE/ACM Conference on Office Information Systems, Cambridge, Mass., 1990.

    Google Scholar 

  37. N. Rescher. Introduction to Logic. St. Martin's Press, 1964.

    Google Scholar 

  38. M. Ryan, J. Fiadeiro, and T. Maibaum. Sharing actions and attributes in modal action logic. In T. Ito and A.R. Meyer, editors, Theoretical Aspects of Computer Software, pages 569–593. Springer, 1991. Lecture Notes in Computer Science 526.

    Google Scholar 

  39. J. Richardson and P. Schwartz. Aspects: Extending objects to support multiple, independent roles. In ACM-SIGMOD International Conference on Management of Data, pages 298–307, Denver, Colorado, May 1991. ACM. Sigmod Record, Vol. 20.

    Google Scholar 

  40. E. Sciore. Object specialization. ACM Transactions on Information Systems, 7(2):103–122, 1989.

    Article  Google Scholar 

  41. P.A. Spruit. Function symbols in dynamic database logic. Technical report, Department of Mathematics and Computer Science, Vrije Universiteit, Amsterdam, 1993.

    Google Scholar 

  42. P. Strawson. Individuals. Methuen, 1959.

    Google Scholar 

  43. J. Su. Dynamic constraints and object migration. In G.M. Lohman, A. Sernadas, and R. Camps, editors, Proceedings of the Seventeenth International Conference on Very Large Databases, pages 233–242, Barcelona, Spain, September 3–6 1991.

    Google Scholar 

  44. P.A. Spruit, R.J. Wieringa, and J.-J.Ch. Meyer. Axiomatization, declarative semantics and operational semantics of passive and active updates in logic databases. Technical Report IR-294, Department of Mathematics and Computer Science, Vrije Universiteit, Amsterdam, June 1992. To be published, Journal of Logic and Computation.

    Google Scholar 

  45. P.A. Spruit, R.J. Wieringa, and J.-J.Ch. Meyer. Dynamic database logic: The first-order case. In U.W. Lipeck and B. Thalheim, editors, Modelling Database Dynamics, pages 103–120. Springer, 1993.

    Google Scholar 

  46. R.J. Wieringa. Role change in database domains. Technical Report IR-180, Faculty of Mathematics and Computer Science, Free University, Amsterdam, 1989.

    Google Scholar 

  47. R.J. Wieringa. A formalization of objects using equational dynamic logic. In C. Delobel, M. Kifer, and Y. Masunaga, editors, 2nd International Conference on Deductive and Object-Oriented Databases, pages 431–452. Springer, 1991. Lecture Notes in Computer Science 566.

    Google Scholar 

  48. R.J. Wieringa. Steps towards a method for the formal modeling of dynamic objects. Data and Knowledge Engineering, 6:509–540, 1991.

    Article  Google Scholar 

  49. D. Wiggins. Sameness and Substance. Basil Blackwell, 1980.

    Google Scholar 

  50. R.J. Wieringa and W. de Jonge. Object identifiers, keys, and surrogates. In preparation.

    Google Scholar 

  51. R.J. Wieringa and W. de Jonge. The identification of objects and roles. Technical Report IR-267, Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam, December 1991.

    Google Scholar 

  52. R.J. Wieringa and J.-J.Ch. Meyer. Actors, actions, and initiative in normative system specification. Annals of Mathematics and Artificial Intelligence, 7:289–346, 1993.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Mathematics and Computer Science, Vrije Universiteit, De Boelelaan 1081a, 1081, HV Amsterdam

    Roel Wieringa, Wiebren de Jonge & Paul Spruit

Authors
  1. Roel Wieringa
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Wiebren de Jonge
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Paul Spruit
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Mario Tokoro Remo Pareschi

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wieringa, R., de Jonge, W., Spruit, P. (1994). Roles and dynamic subclasses: A modal logic approach. In: Tokoro, M., Pareschi, R. (eds) Object-Oriented Programming. ECOOP 1994. Lecture Notes in Computer Science, vol 821. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0052175

Download citation

  • DOI: https://doi.org/10.1007/BFb0052175

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58202-1

  • Online ISBN: 978-3-540-48567-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation