{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T11:06:00Z","timestamp":1757588760150},"reference-count":69,"publisher":"Elsevier BV","issue":"6","license":[{"start":{"date-parts":[[1991,10,1]],"date-time":"1991-10-01T00:00:00Z","timestamp":686275200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Data & Knowledge Engineering"],"published-print":{"date-parts":[[1991,10]]},"DOI":"10.1016\/0169-023x(91)90025-s","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T17:15:20Z","timestamp":1047662120000},"page":"479-508","source":"Crossref","is-referenced-by-count":13,"title":["Towards object-oriented conceptual modeling"],"prefix":"10.1016","volume":"6","author":[{"given":"Cristina","family":"Sernadas","sequence":"first","affiliation":[]},{"given":"Jos\u00e9","family":"Fiadeiro","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0169-023X(91)90025-S_BIB1","series-title":"Proc. 13th ACM Symp. on Principles of Programming Languages","first-page":"194","article-title":"Operational semantics of a parallel object-oriented language","author":"America","year":"1986"},{"key":"10.1016\/0169-023X(91)90025-S_BIB2","series-title":"First Internat. Conf. on Deductive and Object-oriented Databases","first-page":"40","article-title":"The object-oriented database system manifesto","author":"Atkinson","year":"1989"},{"issue":"2","key":"10.1016\/0169-023X(91)90025-S_BIB3","doi-asserted-by":"crossref","DOI":"10.1145\/3857.3859","article-title":"Galileo: A strongly typed interactive conceptual language","volume":"10","author":"Albano","year":"1986","journal-title":"ACM TODS"},{"key":"10.1016\/0169-023X(91)90025-S_BIB4","series-title":"Arrows, Structures and Functors","author":"Arbib","year":"1975"},{"key":"10.1016\/0169-023X(91)90025-S_BIB5","series-title":"Proc. ACM-SIGMOD","article-title":"Object oriented database systems","author":"Banchillon","year":"1988"},{"key":"10.1016\/0169-023X(91)90025-S_BIB6","series-title":"First Internat. Conf. on Deductive and Object-oriented Databases","first-page":"370","article-title":"formal models for object-oriented databases","author":"Beeri","year":"1989"},{"issue":"10","key":"10.1016\/0169-023X(91)90025-S_BIB7","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1145\/323648.323756","article-title":"An algebraic model of subtypes in object-oriented languages","volume":"21","author":"Bruce","year":"1986","journal-title":"SIGPLAN Notices"},{"key":"10.1016\/0169-023X(91)90025-S_BIB8","series-title":"Readings in Object-oriented Database Systems","first-page":"59","article-title":"Semantics of multiple inheritance","author":"Cardelli","year":"1989"},{"key":"10.1016\/0169-023X(91)90025-S_BIB9","first-page":"31","volume":"46","author":"Carmo","year":"1988","journal-title":"A temporal logic framework for a layered approach to systems specification and verification"},{"key":"10.1016\/0169-023X(91)90025-S_BIB10","series-title":"First Internat. Conf. on Deductive and Object-oriented Databases","first-page":"294","article-title":"Reloop: An algebra based query language for an object oriented database system","author":"Cluet","year":"1989"},{"issue":"1","key":"10.1016\/0169-023X(91)90025-S_BIB11","doi-asserted-by":"crossref","DOI":"10.1145\/320434.320440","article-title":"The entity-relationship model: Towards a unified view of data","volume":"1","author":"Chen","year":"1976","journal-title":"ACM TODS"},{"key":"10.1016\/0169-023X(91)90025-S_BIB12","series-title":"Proc. Workshop on Object-oriented Database Systems","year":"1986"},{"key":"10.1016\/0169-023X(91)90025-S_BIB13","series-title":"Proc. 5th Conf. on Entity-Relationship Approach","article-title":"Complex entities for Engineering applications","author":"Dittrich","year":"1986"},{"key":"10.1016\/0169-023X(91)90025-S_BIB14","series-title":"Advances in Object-oriented Database Systems","author":"Dittrich","year":"1988"},{"key":"10.1016\/0169-023X(91)90025-S_BIB15","series-title":"Simulation 67: Common Base Language","author":"Dahl","year":"1967"},{"key":"10.1016\/0169-023X(91)90025-S_BIB16","unstructured":"H.-D. Ehrich, J. Goguen and A. Sernadas, A categorical theory of objects as observed processes, in: REX90: Foundations of Object-oriented Languages (Springer, to be published)."},{"key":"10.1016\/0169-023X(91)90025-S_BIB17","series-title":"Fundamentals of Algebraic Specifications I: Equations and Initial Semantics","author":"Ehrig","year":"1985"},{"key":"10.1016\/0169-023X(91)90025-S_BIB18","series-title":"REX89: Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness","first-page":"239","article-title":"Algebraic implementation of objects over objects","author":"Ehrich","year":"1989"},{"key":"10.1016\/0169-023X(91)90025-S_BIB19","series-title":"Advances in Object-Oriented Database Systems","article-title":"Abstract object types for databases","author":"Ehrich","year":"1988"},{"key":"10.1016\/0169-023X(91)90025-S_BIB20","series-title":"Categorical Methods in Computer Sciencw with Aspects from Topology","first-page":"142","article-title":"Objects, object types and object identity","author":"Ehrich","year":"1989"},{"issue":"1\/2","key":"10.1016\/0169-023X(91)90025-S_BIB21","first-page":"33","article-title":"From data types to object types","volume":"EIK 26","author":"Ehrich","year":"1990","journal-title":"J. Inform. Proc. Cybernet."},{"key":"10.1016\/0169-023X(91)90025-S_BIB22","doi-asserted-by":"crossref","unstructured":"J. Fiadeiro and T. Maibaum, Temporal reasoning over deontic specifications, J. Logic Computat., to be published.","DOI":"10.1093\/logcom\/1.3.357"},{"key":"10.1016\/0169-023X(91)90025-S_BIB23","series-title":"Technical Report","article-title":"Towards object calculi","author":"Fiadeiro","year":"1990"},{"key":"10.1016\/0169-023X(91)90025-S_BIB24","doi-asserted-by":"crossref","unstructured":"J. Fiadeiro and T. Maibaum, Describing, structuring and implementing objects, in: REX90: Foundations of Object-orientation Languages (Springer, to be published).","DOI":"10.1007\/BFb0019447"},{"key":"10.1016\/0169-023X(91)90025-S_BIB25","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0306-4379(86)90023-2","article-title":"The Infolog linear tense logic of events and transactions","volume":"11","author":"Fiadeiro","year":"1986","journal-title":"Inform. Syst."},{"key":"10.1016\/0169-023X(91)90025-S_BIB26","doi-asserted-by":"crossref","first-page":"625","DOI":"10.1007\/BF00291052","article-title":"Specification and verification of database dynamics","volume":"25","author":"Fiadeiro","year":"1988","journal-title":"Acta Inform."},{"issue":"2","key":"10.1016\/0169-023X(91)90025-S_BIB27","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1093\/logcom\/1.2.187","article-title":"Logic of modal terms for systems specification","volume":"1","author":"Fiadeiro","year":"1990","journal-title":"J. Logic Computat."},{"key":"10.1016\/0169-023X(91)90025-S_BIB28","unstructured":"J. Fiadeiro, C. Sernadas, T. Maibaum and G. Saake, Proof-theoretic semantics of object-oriented specification constructs in: R. Meersman and B. Kent, eds., Object-oriented Databases: Analysis, Design and Construction (North-Holland, Amsterdam, to be published)."},{"issue":"2","key":"10.1016\/0169-023X(91)90025-S_BIB29","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/356924.356929","article-title":"Logic databases: A deductive approach","volume":"16","author":"Gallaire","year":"1984","journal-title":"Comput. Surv."},{"key":"10.1016\/0169-023X(91)90025-S_BIB30","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1080\/03081077408960783","article-title":"Objects","volume":"1","author":"Goguen","year":"1975","journal-title":"Internat. J. General Syst."},{"key":"10.1016\/0169-023X(91)90025-S_BIB31","series-title":"Topoi, the Categorial Analysis of Logic","author":"Godblatt","year":"1979"},{"issue":"10","key":"10.1016\/0169-023X(91)90025-S_BIB32","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/323648.323755","article-title":"Extensions and foundations of object-oriented programming","volume":"21","author":"Goguen","year":"1986","journal-title":"SIGPLAN Notices"},{"key":"10.1016\/0169-023X(91)90025-S_BIB33","series-title":"Smalltalk 80: The Language and its Implementation","author":"Goldberg","year":"1983"},{"key":"10.1016\/0169-023X(91)90025-S_BIB34","series-title":"Concepts and Terminology for the conceptual schema and the information base","year":"1982"},{"key":"10.1016\/0169-023X(91)90025-S_BIB35","unstructured":"Information Systems: COrrectness and REusability, ESPRIT Basic Research Action n03023."},{"key":"10.1016\/0169-023X(91)90025-S_BIB36","unstructured":"R. Jungclaus, G. Saake and C. Sernadas, Using active objects for querying processing, R. Meersman and B. Kent, eds., Object-oriented Databases: Analysis, Design and Construction (North-Holland, Amsterdam, to be published)."},{"issue":"4","key":"10.1016\/0169-023X(91)90025-S_BIB37","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1016\/0306-4379(88)90002-6","article-title":"Design of engineering databases: A case for more varied semantic modeling concepts","volume":"13","author":"Karl","year":"1988","journal-title":"Inform. Syst."},{"issue":"1","key":"10.1016\/0169-023X(91)90025-S_BIB38","article-title":"Inheritance in Smalltalk-80: A denotational definition","volume":"5","author":"Kamin","year":"1988","journal-title":"ACM TOPLAS"},{"issue":"11","key":"10.1016\/0169-023X(91)90025-S_BIB39","doi-asserted-by":"crossref","DOI":"10.1145\/960112.28739","article-title":"Object identity","volume":"21","author":"Khoshafian","year":"1986","journal-title":"Sigplan Notices"},{"key":"10.1016\/0169-023X(91)90025-S_BIB40","series-title":"Temporal Logic in Specification","first-page":"243","article-title":"The prescription and description of state-based systems","author":"Khosla","year":"1989"},{"key":"10.1016\/0169-023X(91)90025-S_BIB41","series-title":"Object-oriented Concepts, Databases and Applications","year":"1988"},{"issue":"4","key":"10.1016\/0169-023X(91)90025-S_BIB42","article-title":"Special issue on object-oriented systems","volume":"8","author":"Lochovski","year":"1985","journal-title":"IEEE Database Engrg."},{"key":"10.1016\/0169-023X(91)90025-S_BIB43","series-title":"Data and Knowledge","first-page":"245","article-title":"Towards models for practical reasoning about conceptual schema design","author":"Meersman","year":"1988"},{"key":"10.1016\/0169-023X(91)90025-S_BIB44","series-title":"Information Systems Design Methodologies: A Comparative Review","first-page":"285","article-title":"Dades: A methodology for specification and design of information systems","author":"Oliv\u00e9","year":"1982"},{"key":"10.1016\/0169-023X(91)90025-S_BIB45","series-title":"Information System Concepts: An In-depth Analysis","first-page":"193","article-title":"About entities, complex objects and object-oriented data models","author":"Parent","year":"1989"},{"key":"10.1016\/0169-023X(91)90025-S_BIB46","series-title":"Temporal Aspects of Information Systems","year":"1988"},{"key":"10.1016\/0169-023X(91)90025-S_BIB47","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/0169-023X(89)90003-7","article-title":"Mokum: An object-oriented active knowledge base system","volume":"4","author":"van de Riet","year":"1989","journal-title":"Data Knowledge Engrg."},{"key":"10.1016\/0169-023X(91)90025-S_BIB48","series-title":"Information Systems Design Methodologies: A Comparative Review","first-page":"369","article-title":"The Remora methodology for information systems design and management","author":"Rolland","year":"1982"},{"key":"10.1016\/0169-023X(91)90025-S_BIB49","series-title":"Computational Category Theory","author":"Rydeheard","year":"1988"},{"issue":"1","key":"10.1016\/0169-023X(91)90025-S_BIB50","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/0169-023X(91)90015-P","article-title":"Descriptive specification of database object behaviour","volume":"6","author":"Saake","year":"1991","journal-title":"Data Knowledge Engrg."},{"key":"10.1016\/0169-023X(91)90025-S_BIB51","series-title":"Proc. CSL '88 2nd Workshop Computer Science Logic","first-page":"288","article-title":"Using finite-linear temporal logic for specifying database dynamics","volume":"385","author":"Saake","year":"1989"},{"key":"10.1016\/0169-023X(91)90025-S_BIB52","series-title":"Information Systems: Theoretical and Formal Aspects","year":"1985"},{"issue":"1","key":"10.1016\/0169-023X(91)90025-S_BIB53","first-page":"7","article-title":"From processes to objects","volume":"1","author":"Sernadas","year":"1990","journal-title":"INESC J. Res. Develop."},{"key":"10.1016\/0169-023X(91)90025-S_BIB54","unstructured":"A. Sernadas and H.-D. Ehrich, What is an object, after all, in: Object-oriented Databases: Analysis, Design and Construction, R. Meersman and B. Kent, eds. (North-Holland, Amsterdam, to be published)."},{"key":"10.1016\/0169-023X(91)90025-S_BIB55","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0306-4379(80)90009-5","article-title":"Temporal aspects of logical procedure definition","volume":"5","author":"Sernadas","year":"1980","journal-title":"Inform. Syst."},{"key":"10.1016\/0169-023X(91)90025-S_BIB56","series-title":"Decision Support Systems: Theory and Practice","first-page":"91","article-title":"Conceptual modeling for knowledge-based DSS development","author":"Sernadas","year":"1987"},{"key":"10.1016\/0169-023X(91)90025-S_BIB57","series-title":"The Role of Artificial Intelligence in Databases and Information Systems","first-page":"305","article-title":"Object-oriented conceptual modeling from law","author":"Sernadas","year":"1990"},{"key":"10.1016\/0169-023X(91)90025-S_BIB58","series-title":"Information System Concepts: An In-depth Analysis","first-page":"225","article-title":"The basic building blocks of information systems","author":"Sernadas","year":"1989"},{"key":"10.1016\/0169-023X(91)90025-S_BIB59","series-title":"Temporal Logic in Specification","first-page":"324","article-title":"Abstract object types: A temporal perspective","author":"Sernadas","year":"1989"},{"issue":"1","key":"10.1016\/0169-023X(91)90025-S_BIB60","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/0097-8493(90)90006-J","article-title":"An object-oriented tool for graphical interfaces","volume":"14","author":"Sousa","year":"1990","journal-title":"Comput. Graphics"},{"key":"10.1016\/0169-023X(91)90025-S_BIB61","series-title":"Oblog: An informal introduction","author":"Sernadas","year":"1991"},{"key":"10.1016\/0169-023X(91)90025-S_BIB62","article-title":"Formal semantics of object-oriented languages for conceptual modeling","author":"Sernadas","year":"1989","journal-title":"INESC Research Report"},{"key":"10.1016\/0169-023X(91)90025-S_BIB63","series-title":"Proc. 13th Conf. on Very Large Data Bases","first-page":"107","article-title":"Object-oriented specification of databases: An algebraic approach","author":"Sernadas","year":"1987"},{"key":"10.1016\/0169-023X(91)90025-S_BIB64","article-title":"Algebraic approach to inheritance","author":"Sernadas","year":"1990","journal-title":"INESC Research Report"},{"key":"10.1016\/0169-023X(91)90025-S_BIB65","series-title":"Information System Concepts: An In-depth Analysis","first-page":"31","article-title":"Three roles of conceptual models in information system design and use","author":"Wieringa","year":"1989"},{"key":"10.1016\/0169-023X(91)90025-S_BIB66","unstructured":"R. Wieringa, Equational specification of dynamic objects, in: R. Meersman and B. Kent, eds., Object-oriented Databases: Analysis, Design and Construction (North-Holland, to be published)."},{"key":"10.1016\/0169-023X(91)90025-S_BIB67","series-title":"The Role of Artificial Intelligence in Databases and Information Systems","first-page":"411","article-title":"Algebraic specification of object dynamics in knowledge base domains","author":"Wieringa","year":"1990"},{"key":"10.1016\/0169-023X(91)90025-S_BIB68","series-title":"Proc. 13th Conf. on Very Large Data Bases","first-page":"3","article-title":"Database support for knowledge-based image evaluation","author":"Walter","year":"1987"},{"issue":"2","key":"10.1016\/0169-023X(91)90025-S_BIB69","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/0169-023X(89)90038-4","article-title":"Specifying dynamics and deontic integrity constraints","volume":"4","author":"Wieringa","year":"1989","journal-title":"Data Knowledge Engrg."}],"container-title":["Data & Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169023X9190025S?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169023X9190025S?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,17]],"date-time":"2020-03-17T23:36:08Z","timestamp":1584488168000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0169023X9190025S"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,10]]},"references-count":69,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1991,10]]}},"alternative-id":["0169023X9190025S"],"URL":"https:\/\/doi.org\/10.1016\/0169-023x(91)90025-s","relation":{},"ISSN":["0169-023X"],"issn-type":[{"value":"0169-023X","type":"print"}],"subject":[],"published":{"date-parts":[[1991,10]]}}}