{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,21]],"date-time":"2026-03-21T18:07:23Z","timestamp":1774116443704,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":52,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540582021","type":"print"},{"value":"9783540485674","type":"electronic"}],"license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/bfb0052175","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T03:59:15Z","timestamp":1149652755000},"page":"32-59","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":24,"title":["Roles and dynamic subclasses: A modal logic approach"],"prefix":"10.1007","author":[{"given":"Roel","family":"Wieringa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wiebren","family":"de Jonge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Spruit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,16]]},"reference":[{"key":"3_CR1","unstructured":"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\u201351, Dublin, Ireland, August 24\u201327 1993."},{"key":"3_CR2","unstructured":"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\u2013476, 1977."},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"L. Cardelli. A semantics of multiple inheritance. In G. Kahn, D. MacQueen, and G. Plotkin, editors, Semantics of Datatypes, pages 51\u201367. Springer, 1984. Lecture Notes in Computer Science 173.","DOI":"10.1007\/3-540-13346-1_2"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"G. Chambers. Predicate classes. In European Conference on Object-Oriented Programming (ECOOP93), pages 268\u2013296. Springer, 1993.","DOI":"10.1007\/3-540-47910-4_15"},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1145\/320107.320109","volume":"4","author":"E.F. Codd","year":"1979","unstructured":"E.F. Codd. Extending the database relational model to capture more meaning. ACM Transactions on Database Systems, 4:397\u2013434, 1979.","journal-title":"ACM Transactions on Database Systems"},{"key":"3_CR6","volume-title":"OBL-89 User's Manual, version 2.3","author":"J.F. Costa","year":"1989","unstructured":"J.F. Costa, A. Sernadas, and C. Sernadas. OBL-89 User's Manual, version 2.3. Instituto Superior T\u00e9cnico, Lisbon, May 1989."},{"key":"3_CR7","unstructured":"P. Coad and E. Yourdon. Object-Oriented Analysis. Yourdon Press\/Prentice-Hall, 1990."},{"key":"3_CR8","unstructured":"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\u2013154. Elsevier, 1991."},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"H.-D. Ehrich, M. Gogolla, and U.W. Lipeck. Algebraische Spezifikation abstrakter Datentypen. B.G. Teubner, 1989.","DOI":"10.1007\/978-3-322-94709-3"},{"key":"3_CR10","first-page":"114","volume-title":"Proceedings of the International Workshop on Information Systems \u2014 Correctness and Reusability (ISCORE'93)","author":"H.-D. Ehrich","year":"1993","unstructured":"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 \u2014 Correctness and Reusability (ISCORE'93), pages 114\u2013121. Institut f\u00fcr Informatik, Universit\u00c4t Hannover, Postfach 6009, Hannover, Germany, 1993."},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"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\u2013388. Springer, 1992. Lecture Notes in Computer Science 645.","DOI":"10.1007\/3-540-56023-8_23"},{"key":"3_CR12","volume-title":"Technical Report IR-344","author":"R.B. Feenstra","year":"1993","unstructured":"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."},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Joseph Goguen, Jean-Pierre Jouannaud, and Jos\u00e9 Meseguer. Operational semantics of order-sorted algebra. In W. Brauer, editor, Proceedings, 1985 International Conference on Automata, Languages and Programming, pages 221\u2013231. Springer, 1985. Lecture Notes in Computer Science, Volume 194.","DOI":"10.1007\/BFb0015747"},{"key":"3_CR14","doi-asserted-by":"publisher","first-page":"513","DOI":"10.2307\/2025364","volume":"70","author":"D. Gabbay","year":"1973","unstructured":"D. Gabbay and J.M. Moravcsik. Sameness and individuation. The Journal of Philosophy, 70:513\u2013526, 1973.","journal-title":"The Journal of Philosophy"},{"issue":"1","key":"3_CR15","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/947886.947887","volume":"17","author":"J.A. Goguen","year":"1982","unstructured":"J.A. Goguen and J. Meseguer. Completeness of many-sorted equational logic. SIGPLAN Notices, 17(1):9\u201317, 1982.","journal-title":"SIGPLAN Notices"},{"key":"3_CR16","unstructured":"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\u2013363. Prentice-Hall, 1986."},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"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\u201322. Springer, 1987. Lecture Notes in Computer Science 250.","DOI":"10.1007\/BFb0014969"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"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\u2013477. MIT Press, 1987.","DOI":"10.1145\/323779.323755"},{"key":"3_CR19","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90302-V","volume":"105","author":"J. Goguen","year":"1992","unstructured":"Joseph Goguen and Jos\u00e9 Meseguer. Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theoretical Computer Science, 105:217\u2013273, 1992.","journal-title":"Theoretical Computer Science"},{"key":"3_CR20","unstructured":"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\u2013359, 1983."},{"key":"3_CR21","unstructured":"G. Gottlob, M. Schreffl, and B. R\u00f6ck. Extending object-oriented systems with roles. Manuscript, 1993."},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"D. Harel. Dynamic logic. In D.M. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic II, pages 497\u2013604. Reidel, 1984.","DOI":"10.1007\/978-94-009-6259-0_10"},{"key":"3_CR23","unstructured":"P. Hall, J. Owlett, and S. Todd. Relations and entities. In G.M. Nijssen, editor, Modelling in Database Management Systems, pages 201\u2013220. North-Holland, 1976."},{"key":"3_CR24","unstructured":"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\u2013294. Peter Peregrinus Ltd., 1986."},{"key":"3_CR25","unstructured":"H.W.B. Joseph. An Introduction to Logic. Clarendon Press, 1916."},{"key":"3_CR26","volume-title":"Technical report, Abt. Datenbanken","author":"R. Jungclaus","year":"1991","unstructured":"R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. Object-oriented specification of information systems: The TROLL language. Technical report, Abt. Datenbanken, Tech. Universit\u00c4t Braunschweig, P.B. 3329, Braunschweig, Germany, 1991."},{"issue":"12","key":"3_CR27","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1145\/960112.28739","volume":"22","author":"S.N. Khoshafian","year":"1986","unstructured":"S.N. Khoshafian and G.P. Copeland. Object identity. In Object-Oriented Programming Systems, Languages and Applications, pages 406\u2013416, 1986. SIGPLAN Notices 22 (12).","journal-title":"SIGPLAN Notices"},{"key":"3_CR28","unstructured":"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\u2013158. North-Holland, 1986."},{"key":"3_CR29","doi-asserted-by":"crossref","unstructured":"D. Kozen and J. Tiuryn. Logics of programs. In Jan van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 789\u2013840. Elsevier Science Publishers, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50019-6"},{"key":"3_CR30","unstructured":"Jacques van Leeuwen. Individuals and Sortal Concepts: An Essay in Logical Descriptive Metaphysics. PhD thesis, University of Amsterdam, 1991."},{"key":"3_CR31","doi-asserted-by":"crossref","unstructured":"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\u2013223, October 1986.","DOI":"10.1145\/960112.28718"},{"key":"3_CR32","first-page":"219","volume-title":"Identity and common nouns in intensional logic","author":"J. van Leeuwen","year":"1987","unstructured":"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\u2013241, Amsterdam, 1987. Institute for Language, Logic and Information."},{"key":"3_CR33","first-page":"220","volume-title":"Lecture Notes in Computer Science 707","author":"J. Meseguer","year":"1993","unstructured":"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\u2013246, Kaiserslautern, July 1993. Springer. Lecture Notes in Computer Science 707."},{"key":"3_CR34","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1006\/inco.1993.1016","volume":"103","author":"J. Meseguer","year":"1993","unstructured":"J. Meseguer and J.A. Goguen. Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems. Information and Computation, 103:114\u2013158, 1993.","journal-title":"Information and Computation"},{"key":"3_CR35","doi-asserted-by":"crossref","unstructured":"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\u201398. ACM Press, May 26\u201328 1993. Sigmod Record 22(2), June 1993.","DOI":"10.1145\/170036.170057"},{"key":"3_CR36","doi-asserted-by":"crossref","unstructured":"B. Pernici. Objects with roles. In IEEE\/ACM Conference on Office Information Systems, Cambridge, Mass., 1990.","DOI":"10.1145\/91474.91542"},{"key":"3_CR37","unstructured":"N. Rescher. Introduction to Logic. St. Martin's Press, 1964."},{"key":"3_CR38","doi-asserted-by":"crossref","unstructured":"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\u2013593. Springer, 1991. Lecture Notes in Computer Science 526.","DOI":"10.1007\/3-540-54415-1_65"},{"key":"3_CR39","first-page":"298","volume-title":"Sigmod Record, Vol. 20","author":"J. Richardson","year":"1991","unstructured":"J. Richardson and P. Schwartz. Aspects: Extending objects to support multiple, independent roles. In ACM-SIGMOD International Conference on Management of Data, pages 298\u2013307, Denver, Colorado, May 1991. ACM. Sigmod Record, Vol. 20."},{"issue":"2","key":"3_CR40","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1145\/65935.65936","volume":"7","author":"E. Sciore","year":"1989","unstructured":"E. Sciore. Object specialization. ACM Transactions on Information Systems, 7(2):103\u2013122, 1989.","journal-title":"ACM Transactions on Information Systems"},{"key":"3_CR41","volume-title":"Technical report","author":"P.A. Spruit","year":"1993","unstructured":"P.A. Spruit. Function symbols in dynamic database logic. Technical report, Department of Mathematics and Computer Science, Vrije Universiteit, Amsterdam, 1993."},{"key":"3_CR42","unstructured":"P. Strawson. Individuals. Methuen, 1959."},{"key":"3_CR43","unstructured":"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\u2013242, Barcelona, Spain, September 3\u20136 1991."},{"key":"3_CR44","volume-title":"Technical Report IR-294","author":"P.A. Spruit","year":"1992","unstructured":"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."},{"key":"3_CR45","doi-asserted-by":"crossref","unstructured":"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\u2013120. Springer, 1993.","DOI":"10.1007\/978-1-4471-3554-8_7"},{"key":"3_CR46","volume-title":"Technical Report IR-180","author":"R.J. Wieringa","year":"1989","unstructured":"R.J. Wieringa. Role change in database domains. Technical Report IR-180, Faculty of Mathematics and Computer Science, Free University, Amsterdam, 1989."},{"key":"3_CR47","doi-asserted-by":"crossref","unstructured":"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\u2013452. Springer, 1991. Lecture Notes in Computer Science 566.","DOI":"10.1007\/3-540-55015-1_23"},{"key":"3_CR48","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1016\/0169-023X(91)90026-T","volume":"6","author":"R.J. Wieringa","year":"1991","unstructured":"R.J. Wieringa. Steps towards a method for the formal modeling of dynamic objects. Data and Knowledge Engineering, 6:509\u2013540, 1991.","journal-title":"Data and Knowledge Engineering"},{"key":"3_CR49","unstructured":"D. Wiggins. Sameness and Substance. Basil Blackwell, 1980."},{"key":"3_CR50","unstructured":"R.J. Wieringa and W. de Jonge. Object identifiers, keys, and surrogates. In preparation."},{"key":"3_CR51","volume-title":"Technical Report","author":"R.J. Wieringa","year":"1991","unstructured":"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."},{"key":"3_CR52","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/BF01556356","volume":"7","author":"R.J. Wieringa","year":"1993","unstructured":"R.J. Wieringa and J.-J.Ch. Meyer. Actors, actions, and initiative in normative system specification. Annals of Mathematics and Artificial Intelligence, 7:289\u2013346, 1993.","journal-title":"Annals of Mathematics and Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0052175","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,17]],"date-time":"2023-02-17T23:15:48Z","timestamp":1676675748000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/BFb0052175"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540582021","9783540485674"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/bfb0052175","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]},"assertion":[{"value":"16 May 2006","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}