{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T13:48:37Z","timestamp":1725716917367},"publisher-location":"London","reference-count":46,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540197324"},{"type":"electronic","value":"9781447138648"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-1-4471-3864-8_15","type":"book-chapter","created":{"date-parts":[[2013,2,19]],"date-time":"2013-02-19T09:03:03Z","timestamp":1361264583000},"page":"275-299","source":"Crossref","is-referenced-by-count":5,"title":["The Reification Dimension in Object-oriented Data Base Design"],"prefix":"10.1007","author":[{"given":"Cristina","family":"Sernadas","sequence":"first","affiliation":[]},{"given":"Paula","family":"Gouveia","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o","family":"Gouveia","sequence":"additional","affiliation":[]},{"given":"Am\u00edlcar","family":"Sernadas","sequence":"additional","affiliation":[]},{"given":"Pedro","family":"Resende","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"volume-title":"Proc. of the International Workshop on Object-oriented Database Systems","year":"1986","key":"15_CR1","unstructured":"Dayal, U. and Dittrich, K. (eds), Proc. of the International Workshop on Object-oriented Database Systems, Los Angeles, IEEE Computer Society, 1986"},{"key":"15_CR2","volume-title":"Springer Verlag","author":"Dittrich","year":"1988","unstructured":"Dittrich, K., Advances in Object-oriented Database Systems, Springer Verlag, 1988"},{"volume-title":"Object-oriented Concepts","year":"1988","key":"15_CR3","unstructured":"Kim, W. and Lochovski, F. (eds), Object-oriented Concepts, Databases and Applications, ACM Press, Addison-Wesley, 1988"},{"key":"15_CR4","unstructured":"Lochovski, F., Special Issue on Object-oriented Systems, IEEE Database Engineering, 8 (4), 1985"},{"key":"15_CR5","unstructured":"W. Kim, J.-M. Nicolas and S. Nishio (eds), First International Conference on Deductive and Object-oriented Databases, 1989, 370\u2013395"},{"key":"15_CR6","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1007\/BF00291052","volume":"25","author":"J Fiadeiro","year":"1988","unstructured":"Fiadeiro, J. and Sernadas, A., \u201cSpecification and Verification of Database Dynamics\u201d, Acta Informatioa 25, 1988, 625\u2013661","journal-title":"Acta Informatioa"},{"key":"15_CR7","unstructured":"Gustafsson, M., Karlsson, T. and Bubenko, J., A Declarative Approach to Conceptual Information Modeling, 011e, W., Sol, H. and Verrijn-Stuart, A., Information Systems Design Methodologies: A Comparative Review, North-Holland, 1982, 93\u2013142"},{"key":"15_CR8","unstructured":"Oliv\u00e9, A., \u201cDades: A Methodology for Specification and Design of Information Systems\u201d, 011e, W., Sol, H. and Verrijn-Stuart, A., Information Systems Design Methodologies: A Comparative Review, North-Holland, 1982, 285\u2013334"},{"key":"15_CR9","volume-title":"North-Holland","author":"C Rolland","year":"1988","unstructured":"Rolland, C., Bodart, F. and Leonard, M. (eds), Temporal Aspects of Information Systems, North-Holland, 1988"},{"key":"15_CR10","unstructured":"Rolland, C. and Richard, C., \u201cThe Remora Methodology for Information Systems Design and Management\u201d, 011e, W., Sol, H. and Verrijn-Stuart, A., Information Systems Design Methodologies: A Comparative Review, North-Holland, 1982, 369\u2013426"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Saake, G. and Lipeck, U., \u201cUsing Finite-Linear Temporal Logic for Specifying Database Dynamics\u201d, Proc. CSL\u201988 2nd Workshop Computer Science Logic, Borger, E. Kleine Buening, H. and Richter, M., LNCS 385, Springer Verlag, 1989, 288\u2013300","DOI":"10.1007\/BFb0026308"},{"key":"15_CR12","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0306-4379(80)90009-5","volume":"5","author":"A Sernadas","year":"1980","unstructured":"Sernadas, A., \u201cTemporal Aspects of Logical Procedure Definition\u201d, Information Systems 5, 1980, 167\u2013187","journal-title":"Information Systems"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Sernadas, A. and Sernadas, C., \u201cConceptual Modeling for Knowledge-Based DSS Development\u201d, Holsapple, C. and Whinston, A. (eds), Decision Support Systems: Theory and Practice, North-Holland, 1986, 121\u2013140","DOI":"10.1007\/978-3-642-83088-4_4"},{"key":"15_CR14","first-page":"40","volume-title":"\u201cThe Object-oriented Database System Manifesto\u201d, First International Conference on Deductive and Object-oriented Databases, W. Kim, J.-M","author":"M Atkinson","year":"1989","unstructured":"Atkinson, M., Bancilhon, F., DeWitt, D., Dittrich, K., Maier, D. and Zdonik, S., \u201cThe Object-oriented Database System Manifesto\u201d, First International Conference on Deductive and Object-oriented Databases, W. Kim, J.-M. Nicolas and S. Nishio (eds), 1989, 40\u201357"},{"key":"15_CR15","volume-title":"Procs of the ACM SigactSIGMOD-SIGART Conference on the Principles of Database Systems","author":"F Bancilhon","year":"1988","unstructured":"Bancilhon, F., \u201cObject-oriented Database Systems\u201d, Procs of the ACM SigactSIGMOD-SIGART Conference on the Principles of Database Systems, 1988"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Cluet, S. Delobel, C., L\u00e9cluse, C. and Richard, P., \u201cReloop, An Algebra Query Language for an Object-oriented Database System\u201d, in [KNN89], 294\u2013313","DOI":"10.1016\/B978-0-444-88433-6.50025-3"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Khoshafian, S. and Copeland, G., \u201cObject Identity\u201d, Sigplan Notices, 21 [11], 1986","DOI":"10.1145\/960112.28739"},{"key":"15_CR18","unstructured":"Wieringa, R., \u201cEquational Specification of Dynamic Objects\u201d, Object-oriented Databases: Analysis, Design and Construction,R. Meersman and Kent, B. (eds), North-Holland, to be published"},{"key":"15_CR19","first-page":"59","volume-title":"\u201cSemantics of Multiple Inheritance\u201d, Readings in Object-oriented Database Systems, S. Zdonik and D","author":"L Cardelli","year":"1989","unstructured":"Cardelli, L., \u201cSemantics of Multiple Inheritance\u201d, Readings in Object-oriented Database Systems, S. Zdonik and D. Maier (eds), Morgan Kaufmann Publ, 1989, 59\u201383"},{"key":"15_CR20","volume-title":"Elsevier Science","author":"S Navathe","year":"1983","unstructured":"Navathe, S. and Cheng, A., \u201cA Methodology for Database Schema Mapping from Extended Entity Relationship Models into the Hierarchical Model\u201d, Davis, C. et al, Entity Relationship Approach to Software Engineering, Elsevier Science, 1983"},{"key":"15_CR21","volume-title":"Springer Verlag","author":"O Troyer","year":"1986","unstructured":"De Troyer, O. and Meersman, R., \u201cTransforming Conceptual Schema Semantics to Relational Data Applications\u201d, Information Modelling and Data Base Management, Springer Verlag, 1986"},{"key":"15_CR22","doi-asserted-by":"crossref","unstructured":"Ehrich, H.-D. and Sernadas, A., \u201cAlgebraic Implementation of Objects over Objects\u201d, de Bakker, J., de Roever, W. and Rozenberg (eds), REX89: Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, Springer Verlag, 1989, 239\u2013266","DOI":"10.1007\/3-540-52559-9_67"},{"issue":"1","key":"15_CR23","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1145\/322290.322303","volume":"29","author":"H-D Ehrich","year":"1982","unstructured":"Ehrich, H.-D., \u201cOn the Theory of Specification, Implementation, and Parametrization of Abstract Data Types\u201d, Journal of the ACM, 29 (1), 1982, 206\u2013227","journal-title":"Journal of the ACM"},{"key":"15_CR24","doi-asserted-by":"crossref","unstructured":"Ehrich, H.-D., Sernadas, A. and Sernadas, C., \u201cAbstract Object Types for Databases\u201d, Advances in Object-Oriented Database Systems,in [Dit88]","DOI":"10.1007\/3-540-50345-5_10"},{"key":"15_CR25","unstructured":"Sernadas, A. and Ehrich, H.-D., \u201cWhat is an Object, After All\u201d, Object-oriented Databases: Analysis, Design and Construction,Meersman, R. and Kent, B. (eds), North-Holland, to be published"},{"key":"15_CR26","first-page":"225","volume-title":"\u201cThe Basic Building Blocks of Information Systems\u201d, Information System Concepts: An In-depth Analysis, Falkenberg, E. and Lindgreen, P","author":"A Sernadas","year":"1989","unstructured":"Sernadas, A., Fiadeiro, J., Sernadas, C. and Ehrich, H.-D., \u201cThe Basic Building Blocks of Information Systems\u201d, Information System Concepts: An In-depth Analysis, Falkenberg, E. and Lindgreen, P. ( eds ), North Holland, 1989, 225\u2013246"},{"key":"15_CR27","unstructured":"C. Semadas, P. Resende, P. Gouveia and A. Sernadas. \u201cIn-the-large Object-oriented Design of Information Systems\u201d. The Object-Oriented Approach in Information Systems,F. Van Assche, B. Moulin and C. Rolland (eds), North Holland, to be published"},{"key":"15_CR28","first-page":"107","volume-title":"\u201cObject-Oriented Specification of Databases: An Algebraic Approach\u201d, Proc. 13th Conference on Very Large Data Bases, VLDB","author":"A Sernadas","year":"1987","unstructured":"Sernadas, A., Sernadas, C. and Ehrich, H.-D., \u201cObject-Oriented Specification of Databases: An Algebraic Approach\u201d, Proc. 13th Conference on Very Large Data Bases, VLDB, Hammersley, P. (ed), 1987, 107\u2013116"},{"key":"15_CR29","volume-title":"INESC","author":"J-F Costa","year":"1991","unstructured":"Costa, J.-F. and Sernadas, A., Process Models Within a Categorial Framework, INESC, 1991"},{"key":"15_CR30","first-page":"7","volume-title":"and Costa","author":"A Sernadas","year":"1990","unstructured":"Sernadas, A., Ehrich, H.-D. and Costa, J.-F-, \u201cFrom Processes to Objects\u201d, The INESC Journal of Research and Development, 1990, 7\u201327"},{"key":"15_CR31","unstructured":"Sernadas, C., Gouveia, P., Costa, J.-F. and Sernadas, A., Graph-theoretic Semantics of Oblog: Diagrammatic Language for Object-oriented Specifications, Procs IS-CORE Workshop 91,Saake, G. and Semadas, A. (eds), to be published"},{"key":"15_CR32","volume-title":"Refinement","author":"C Semadas","year":"1991","unstructured":"Semadas, C., Gouveia, P. and Sernadas, A., Refinement: Layered Definition of Conceptual Schemata, INES C 1991"},{"key":"15_CR33","unstructured":"Ehrich, H.-D., Goguen, J. and Sernadas, A., \u201cA Categorial Theory of Objects as Observed Processes\u201d, REX90: Foundations of Object-oriented Languages,Springer-Verlag, to be published"},{"key":"15_CR34","doi-asserted-by":"crossref","unstructured":"Ehrich, H.-D., Sernadas, A. and Sernadas, C.,, \u201cObjects, Object Types and Object Identity\u201d, Categorical Methods in Computer Science with Aspects from Topology, H. Ehrig et al, Springer Verlag, 1989, 142\u2013156","DOI":"10.1007\/3-540-51722-7_9"},{"issue":"12","key":"15_CR35","first-page":"33","volume":"26","author":"H-D Ehrich","year":"1990","unstructured":"Ehrich, H.-D., Sernadas, A. and Sernadas, C., \u201cFrom Data Types to Object Types\u201d, Journal of Information Processing and Cybernetics, EIK 26 (1\/2), 1990, 33\u201348","journal-title":"EIK"},{"key":"15_CR36","first-page":"324","volume-title":"H.-D.,\u201cAbstract Object Types: A Temporal Perspective\u201d, Temporal Logic in Specification, Banieqbal, B., Barringer, H. and Pnueli, A","author":"A Sernadas","year":"1989","unstructured":"Sernadas, A., Fiadeiro, J., Sernadas, C. and Ehrich, H.-D.,\u201cAbstract Object Types: A Temporal Perspective\u201d, Temporal Logic in Specification, Banieqbal, B., Barringer, H. and Pnueli, A. ( eds ), Springer Verlag, 1989, 324\u2013350"},{"key":"15_CR37","unstructured":"Jungclaus, R., Saake, G. and Sernadas, C., \u201cUsing Active Objects for Querying Processing\u201d, Object-oriented Databases: Analysis, Design and Construction,Meersman, R. and Kent, B. (eds), North-Holland, to be published"},{"key":"15_CR38","volume-title":"INESC","author":"P Resende","year":"1990","unstructured":"Resende, P. and Rito, A., A Formal Object-oriented Approach to System Specification\u2014Package Router Revisited, INESC 1990"},{"key":"15_CR39","first-page":"305","volume-title":"\u201cObject-oriented Conceptual Modeling from Law\u201d, The Role of Artificial Intelligence in Databases and Information Systems, Meersman, R., Shi, Z. and Kung","author":"C Sernadas","year":"1990","unstructured":"Sernadas, C., Fiadeiro, J. and Sernadas, A., \u201cObject-oriented Conceptual Modeling from Law\u201d, The Role of Artificial Intelligence in Databases and Information Systems, Meersman, R., Shi, Z. and Kung, C., North-Holland, 1990, 305\u2013327"},{"issue":"2","key":"15_CR40","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1093\/logcom\/1.2.187","volume":"1","author":"J Fiadeiro","year":"1990","unstructured":"Fiadeiro, J. and Sernadas, A., \u201cLogics of Modal Ternis for Systems Specification\u201d, Journal of Logic and Computation, 1 (2), 1990, 187\u2013227","journal-title":"Journal of Logic and Computation"},{"key":"15_CR41","doi-asserted-by":"crossref","unstructured":"Fiadeiro, J. and Maibaum, T., \u201cTemporal Reasoning Over Deontic Specifications\u201d, Journal of Logic and Computation, 2 (1), 1991","DOI":"10.1093\/logcom\/1.3.357"},{"key":"15_CR42","unstructured":"Fiadeiro, J. and Maibaum, T., Describing, Structuring and Implementing Objects, REX90: Foundations of Object-oriented Languages,Springer-Verlag, to be published"},{"key":"15_CR43","unstructured":"Fiadeiro, J., Sernadas, C., Maibaum, T. and Saake, G., \u201cProof-theoretic Semantics of Object-oriented Specification Constructs\u201d, R. Meersman and B. Kent (eds), Object-oriented Databases: Analysis, Design and Construction,North-Holland, to be published"},{"key":"15_CR44","unstructured":"C. Sernadas, P. Gouveia, L. Silva and A. Lopes. \u201cObjects as Structuring Units for Incorporating Dynamics in Deductive Conceptual Modeling\u201d. Proceedings of the International Workshop on the Deductive Approach to Information Systems and Databases, 93\u2013110, 1990"},{"key":"15_CR45","unstructured":"Jungclaus, R., Saake, G. and Sernadas, C., \u201cFormal Specification of Object Systems\u201d, Abramsky, S. and Maibaum, T. (eds), TAPSOFT\u201991,to be published"},{"key":"15_CR46","volume-title":"and Lopes","author":"C Sernadas","year":"1990","unstructured":"Sernadas, C., Gouveia, P. and Lopes, A., \u201cGentzen-type System for Verification in Conceptual Modeling and Knowledge Representation\u201d, INESC, 1990"}],"container-title":["Workshops in Computing","Specifications of Database Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3864-8_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,9]],"date-time":"2019-07-09T21:52:59Z","timestamp":1562709179000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3864-8_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540197324","9781447138648"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3864-8_15","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1992]]}}}