{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T14:53:50Z","timestamp":1725634430235},"publisher-location":"Berlin, Heidelberg","reference-count":59,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540551829"},{"type":"electronic","value":"9783642773129"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-3-642-77312-9_1","type":"book-chapter","created":{"date-parts":[[2011,11,17]],"date-time":"2011-11-17T06:35:35Z","timestamp":1321511735000},"page":"1-19","source":"Crossref","is-referenced-by-count":12,"title":["Concepts of Object\u2014Orientation"],"prefix":"10.1007","author":[{"given":"Hans-Dieter","family":"Ehrich","sequence":"first","affiliation":[]},{"given":"Gunter","family":"Saake","sequence":"additional","affiliation":[]},{"given":"Amilcar","family":"Sernadas","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","first-page":"40","volume-title":"1st Int. Conf. on Deductive and Object-Oriented Databases","author":"Atkinson","year":"1989","unstructured":"Atkinson et. al.: The Object-Oriented Database System Manifesto. 1st Int. Conf. on Deductive and Object-Oriented Databases, Kim, W. et. al. (eds.), 1989, 40\u201357"},{"key":"1_CR2","unstructured":"Beeri, C.: Theoretical Foundations for OODB\u2019s - a Personal Perspective. Database Engineering, to appear"},{"key":"1_CR3","volume-title":"A Model for Active Object Oriented Database","author":"C Beeri","year":"1991","unstructured":"Beeri, C.; Milo, T.: A Model for Active Object Oriented Database. Proc. 17th VLDB, Sernadas, A. (ed.), Barcelona 1991, to appear"},{"key":"1_CR4","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1145\/125223.125254","volume":"34","author":"P Butterworth","year":"1991","unstructured":"Butterworth, P.; Otis, A.; Stein, J.: The GemStone Object Database Management System. Comm. ACM 34 (1991), 64\u201377","journal-title":"Comm. ACM"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Cook, W.; Palsberg, J.: A Denotational Semantics of Inheritance and its Correctness. Proc. OOPSLA\u201989, ACM Press, 433\u2013443","DOI":"10.1145\/74877.74922"},{"key":"1_CR6","unstructured":"Costa, J.-F.; Sernadas, A.: Process Models within a Categor\u00eda! Framework. INESC Research Report, Lisbon 1991, submitted for publication"},{"key":"1_CR7","first-page":"25","volume-title":"Information Systems \u2014 Correctness and Reusability, Proc. ISCORE Workshop91","author":"J-F Costa","year":"1991","unstructured":"Costa, J.-F.; Sernadas, A.; Sernadas, C.: Objects as Non-Sequential Machines. Information Systems \u2014 Correctness and Reusability, Proc. ISCORE Workshop\u201991 (G.Saake, A.Sernadas, eds.), Informatik-Berichte 91\u201303, Tech. Univ. Braunschweig 1991, 25\u201360"},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/BF01898400","volume":"3","author":"E Cusack","year":"1991","unstructured":"Cusack, E.: Refinement, Conformance and Inheritance. Formal Aspects of Computing 3 (1991), 129\u2013141","journal-title":"Formal Aspects of Computing"},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/125223.125238","volume":"34","author":"O Deux","year":"1991","unstructured":"Deux, O. et al: The O2 System. Comm. ACM 34 (1991), 35\u201348","journal-title":"Comm. ACM"},{"key":"1_CR10","volume-title":"Norwegian Computer Center","author":"O-J Dahl","year":"1967","unstructured":"Dahl, O.-J.; Myrhaug, B.; Nygaard, K.: SIMULA 67, Common Base Language. Norwegian Computer Center, Oslo 1967"},{"key":"1_CR11","volume-title":"Generalization and Specialization of Object Dynamics","author":"VG Dignum","year":"1989","unstructured":"Dignum, V.G.; van de Riet, R.P.; Wieringa, R.: Generalization and Specialization of Object Dynamics. Rapportnr. IR-204, Vrije Universiteit Amsterdam 1989"},{"key":"1_CR12","first-page":"203","volume-title":"A Categorial Theory of Objects as Observed Processes","author":"H-D Ehrich","year":"1991","unstructured":"Ehrich, H.-D.; Goguen, J.A.; Sernadas, A.: A Categorial Theory of Objects as Observed Processes. Proc. REX\/FOOL School\/Workshop, deBakker, J.W. et. al. (eds.), LNCS 489, Springer-Verlag, Berlin 1991, 203\u2013228"},{"issue":"2","key":"1_CR13","first-page":"33","volume":"1","author":"H-D Ehrich","year":"1990","unstructured":"Ehrich, H.-D.; Sernadas, A.; Sernadas, C.: From Data Types to Object Types. Journal of Information Processing and Cybernetics EIK 26 (1990) 1 \/2, 33\u201348","journal-title":"Journal of Information Processing and Cybernetics"},{"key":"1_CR14","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/3-540-52559-9_67","volume-title":"Proc. REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalism, Correctness","author":"H-D Ehrich","year":"1990","unstructured":"Ehrich, H.-D.; Semadas, A.: Algebraic Implementation of Objects over Objects. Proc. REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalism, Correctness. deBakker, J.W.; deRoever, W.-P.; Rozenberg, G. (eds.), LNCS 430, Springer-Verlag, Berlin 1990, 239\u2013266"},{"key":"1_CR15","first-page":"1","volume-title":"Information Systems \u2014 Correctness and Reusability","author":"H-D Ehrich","year":"1991","unstructured":"Ehrich, H.-D.; Sernadas, A.: Fundamental Object Concepts and Constructions. Information Systems \u2014 Correctness and Reusability, Proc. ISCORE Workshop\u201991 (G.Saake, A.Sernadas, eds.), Informatik-Berichte 91-03, Techn. Univ. Braunschweig 1991, 1\u201324"},{"key":"1_CR16","volume-title":"Process Semantics of Temporal Logic Specification","author":"J Fiadeiro","year":"1991","unstructured":"Fiadeiro, J.; Costa, J.-F.; Sernadas, A.; Maibaum, T.: (Terminal) Process Semantics of Temporal Logic Specification. Unpublished draft, Dept. of Computing, Imperial College, London 1991"},{"key":"1_CR17","volume-title":"ACM Trans. Off. Inf. Sys","author":"D Fishman","year":"1987","unstructured":"Fishman, D. et al: IRIS: An Object-Oriented Database Management System. ACM Trans. Off. Inf. Sys. 5 (1987)"},{"key":"1_CR18","volume-title":"Describing, Structuring and Implementing Objects","author":"J Fiadeiro","year":"1991","unstructured":"Fiadeiro, J.; Maibaum, T.: Describing, Structuring and Implementing Objects. Proc. REX\/FOOL School\/Workshop, deBakker, J.W. et. al. (eds.), LNCS 489, Springer-Verlag, Berlin 1991"},{"key":"1_CR19","unstructured":"Fiadeiro, J.; Maibaum, T.: Temporal Theories as Modularisation Units for Concurrent System Specification, to appear in Formal Aspects of Computing"},{"key":"1_CR20","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1093\/logcom\/1.3.357","volume":"1","author":"J Fiadeiro","year":"1991","unstructured":"Fiadeiro, J.; Sernadas, A.: Logics of Modal Terms for System Specification. Journal of Logic and Computation 1 (1991), 357\u2013395","journal-title":"Journal of Logic and Computation"},{"key":"1_CR21","volume-title":"Proof-Theoretic Semantics of Object-Oriented Specification Constructs","author":"J Fiadeiro","year":"1991","unstructured":"Fiadeiro, J.; Sernadas, C.; Maibaum, T.; Saake, G.: Proof-Theoretic Semantics of Object-Oriented Specification Constructs. Proc. IFIP 2.6 Working Conference DS-4, Meersman, R.; Kent, W. (eds.), North-Holland, Amsterdam 1991"},{"key":"1_CR22","volume-title":"Proc. Int. Workshop on Information Systems for the 90\u2019s","author":"G Gottlob","year":"1991","unstructured":"Gottlob, G.; Kappel, G.; Schrefi, M.: Semantics of Object-Oriented Data Models \u2014 The Evolving Algebra Approach. Proc. Int. Workshop on Information Systems for the 90\u2019s, Schmidt, J.W. (ed. ), Springer LNCS 1991"},{"key":"1_CR23","first-page":"121","volume-title":"Advances in Cybernetics and Systems Research","author":"J Goguen","year":"1973","unstructured":"Goguen, J.: Categorical Foundations for General Systems Theory. Advances in Cybernetics and Systems Research, Transcripta Books, 1973, 121\u2013130"},{"key":"1_CR24","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1080\/03081077408960783","volume":"1","author":"J Goguen","year":"1975","unstructured":"Goguen, J.: Objects. International Journal of General Systems, 1 (1975), 237\u2013243","journal-title":"Objects. International Journal of General Systems"},{"key":"1_CR25","volume-title":"A Categorical Manifesto. Technical Report PRG-72, Programming Research Group","author":"J Goguen","year":"1989","unstructured":"Goguen, J.: A Categorical Manifesto. Technical Report PRG-72, Programming Research Group, Oxford University, March 1989. To appear in Mathematical Structures in Computer Science."},{"key":"1_CR26","volume-title":"To appear in Mathematical Structures in Computer Science","author":"J Goguen","year":"1990","unstructured":"Goguen, J.: Sheaf Semantics of Concurrent Interacting Objects, 1990. To appear in Mathematical Structures in Computer Science."},{"key":"1_CR27","volume-title":"Smalltalk 80: The Language and its Implementation","author":"A Goldberg","year":"1983","unstructured":"Goldberg, A.; Robson, D.: Smalltalk 80: The Language and its Implementation. Addison-Wesley, New York 1983"},{"key":"1_CR28","volume-title":"Proc. IFIP 2.6 Working Conference DS-4","author":"J Goguen","year":"1991","unstructured":"Goguen, J.; Wolfram, D.: On Types and FOOPS. Proc. IFIP 2.6 Working Conference DS-4, Meersman, R.; Kent, W. (eds.), North-Holland, Amsterdam 1991"},{"key":"1_CR29","volume-title":"Objects and Inheritance: An Algebraic View","author":"F Hayes","year":"1989","unstructured":"Hayes, F.; Coleman, D.: Objects and Inheritance: An Algebraic View. Technical Memo, HP Labs, Information Management Lab, Bristol 1989"},{"key":"1_CR30","volume-title":"Algebraic Theory of Processes","author":"M Hennessy","year":"1988","unstructured":"Hennessy, M.: Algebraic Theory of Processes. The MIT Press, Cambridge, Mass. 1988"},{"key":"1_CR31","volume-title":"HOOD: A Hierarchical Object-Oriented Design Method","author":"M Heitz","year":"1988","unstructured":"Heitz, M.: HOOD: A Hierarchical Object-Oriented Design Method. Proc. 3rd German Ada Users Congress, Munich 1988, 12-1\u201312-9"},{"key":"1_CR32","first-page":"97","volume-title":"Information Systems - Correctness and Reusability","author":"R Jungclaus","year":"1991","unstructured":"Jungclaus, R.; Hartmann, T.; Saake, G.; Sernadas, C.: Introduction to TROLL \u2014 A Language for Object-Oriented Specification of Information Systems. Information Systems - Correctness and Reusability, Proc. ISCORE Workshop\u201991 (G.Saake, A.Sernadas, eds.), Informatik-Berichte 91-03, Techn. Univ. Braunschweig 1991, 97\u2013128"},{"key":"1_CR33","first-page":"309","volume-title":"Proc. 10th Int. Conf. on the ER-approach","author":"R Jungclaus","year":"1991","unstructured":"Jungclaus, R.; Saake, G.; Hartmann, T.: Language Features for Object-Oriented Conceptual Modeling. In: Proc. 10th Int. Conf. on the ER-approach ( T.J. Teorey, ed.), San Mateo, E\/R Institute 1991, 309\u2013324."},{"key":"1_CR34","volume-title":"Object-Oriented Specification of Information Systems: The TROLL Language","author":"R Jungclaus","year":"1991","unstructured":"Jungclaus, R.; Saake, G.; Hartmann, T.; Sernadas, C.: Object-Oriented Specification of Information Systems: The TROLL Language. Informatik-Bericht, TU Braunschweig 1991. To appear"},{"key":"1_CR35","volume-title":"Using Active Objects for Query Processing","author":"R Jungclaus","year":"1991","unstructured":"Jungclaus, R.; Saake, G.; Sernadas, C.: Using Active Objects for Query Processing. Proc. IFIP 2.6 Working Conference DS-4, Meersman, R.; Kent, W. (eds.), North-Holland, Amsterdam 1991"},{"key":"1_CR36","first-page":"365","volume-title":"Formal Specification of Object Systems","author":"R Jungclaus","year":"1991","unstructured":"Jungclaus, R.; Saake, G.; Sernadas, C.: Formal Specification of Object Systems. Proc. TAP- SOFT\u201991, Abramsky, S.; Maibaum, T.S.E. (eds.), Brighton ( UK ), Springer 1991, 365\u2013407"},{"key":"1_CR37","volume-title":"MOOD: A Methodology for Structured Object-Oriented Design","author":"N Kerth","year":"1988","unstructured":"Kerth, N,: MOOD: A Methodology for Structured Object-Oriented Design. Tutorial presented at OOPSLA\u201988, San Diego 1988"},{"key":"1_CR38","volume-title":"Object-Oriented Concepts, Databases, and Applications","author":"W Kim","year":"1988","unstructured":"Kim, W. et al: Features of the ORION Object-Oriented DBMS. In Object-Oriented Concepts, Databases, and Applications, Kim, W. and Lochovsky, E.H. ( eds. ), Addison-Wesley 1988"},{"key":"1_CR39","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1109\/69.60796","volume":"2","author":"W Kim","year":"1990","unstructured":"Kim, W.: Object-Oriented Databases: Definition and Research Directions. IEEE Transactions on Knowledge and Data Engineering 2 (1990), 327\u2013341","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"1_CR40","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/3-540-51803-7_30","volume-title":"Temporal Logic in Specification","author":"S Khosla","year":"1989","unstructured":"Khosla, S.; Maibaum, T.: The Prescription and Description of State-based Systems. In: B. Banieqbal, H. Barringer and A. Pnueli (eds) Temporal Logic in Specification, LNCS 398, Springer-Verlag 1989, 243\u2013294"},{"key":"1_CR41","volume-title":"Object \/ Behavior Diagrams","author":"G Kappel","year":"1990","unstructured":"Kappel, G.; Schrefl, M.: Object\/Behavior Diagrams. Technical Report CD-TR 90\/12, TU Wien, 1990. To appear in Proc. Int. Conf. on Data Engineering 1991."},{"key":"1_CR42","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/BF01888231","volume":"2","author":"H Lin","year":"1990","unstructured":"Lin, H.; Pong, M.: Modelling Multiple Inheritance with Colimits. Formal Aspects of Computing 2 (1990), 301\u2013311","journal-title":"Formal Aspects of Computing"},{"key":"1_CR43","volume-title":"Object-Oriented Software Construction","author":"B Meyer","year":"1988","unstructured":"Meyer, B.: Object-Oriented Software Construction. Prentice-Hall, Englewood Cliffs 1988"},{"key":"1_CR44","volume-title":"Conditional Rewriting Logic as a Unified Model of Concurrency","author":"J Meseguer","year":"1991","unstructured":"Meseguer, J.: Conditional Rewriting Logic as a Unified Model of Concurrency. Technical Report SRI-CSL-91-05, Computer Science Laboratory, SRI International, Menlo Park 1991"},{"key":"1_CR45","volume-title":"Proc. IFIP 2.6 Working Conference DS-4","author":"A Sernadas","year":"1991","unstructured":"Sernadas, A.; Ehrich, H.-D.: What is an object, after all? Proc. IFIP 2.6 Working Conference DS-4, Meersman, R.;Kent, W. (eds.), North-Holland, Amsterdam 1991"},{"key":"1_CR46","first-page":"7","volume":"1","author":"A Sernadas","year":"1990","unstructured":"Sernadas, A.; Ehrich, H.-D.; Costa, J.-F.: From Processes to Objects. The INESC Journal of Research and Development 1 (1990), 7\u201327","journal-title":"The INESC Journal of Research and Development"},{"key":"1_CR47","first-page":"225","volume-title":"The Basic Building Blocks of Information Systems","author":"A Sernadas","year":"1989","unstructured":"Sernadas, A.; Fiadeiro, J.; Sernadas, C.; Ehrich, H.-D.: The Basic Building Blocks of Information Systems. Proc. IFIP 8.1 Working Conference, Falkenberg, E.; Lindgreen, P. (eds.), North-Holland, Amsterdam 1989, 225\u2013246"},{"key":"1_CR48","first-page":"61","volume-title":"Information Systems \u2014 Correctness and Reusability","author":"C Sernadas","year":"1991","unstructured":"Sernadas, C.; Gouveia, P.; Costa, J.-F.; Sernadas, A.: Graph-theoretic Semantics of Oblog \u2014 Diagrammatic Language for Object-oriented Specifications. Information Systems \u2014 Correctness and Reusability, Proc. ISCORE Workshop\u201991 (G.Saake, A.Sernadas, eds.), Informatik-Berichte 91-03, Tech. Univ. Braunschweig 1991, 61\u201396"},{"key":"1_CR49","volume-title":"The Reification Dimension in Object-oriented Database Design. Proc. Int. Workshop on Specification of Database Systems","author":"C Sernadas","year":"1991","unstructured":"Sernadas, C.; Gouveia, P.; Gouveia, J.; Sernadas, A.; Resende, P.: The Reification Dimension in Object-oriented Database Design. Proc. Int. Workshop on Specification of Database Systems, Glasgow 1991, Springer-Verlag, to appear"},{"key":"1_CR50","volume-title":"Specification of Database Applications in the TROLL Language. Proc. Int. Workshop on Specification of Database Systems","author":"G Saake","year":"1991","unstructured":"Saake, G.; Jungclaus, R.: Specification of Database Applications in the TROLL Language. Proc. Int. Workshop on Specification of Database Systems, Glasgow 1991, Springer-Verlag, to appear"},{"key":"1_CR51","unstructured":"Saake, G.; Jungclaus, R.;Ehrich, H.-D.: Object-Oriented Specification and Stepwise Refinement. Proc. IFIP TC6 Int\u2019l Workshop on Open Distributed Processing, Berlin 1991, to be published by North-Holland"},{"key":"1_CR52","volume-title":"In-the-large Object-oriented Design of Information Systems","author":"C Sernadas","year":"1991","unstructured":"Sernadas, C.; Resende, P.; Gouveia, P.; Sernadas, A.: In-the-large Object-oriented Design of Information Systems. Proc IFIP 8.1 Working Conference on the Object-oriented Approach in Information Systems, van Assche, F.; Moulin, B.; Rolland, C. (eds.), Quebec City (Canada ) 1991, North Holland, to appear"},{"key":"1_CR53","volume-title":"General Object-Oriented Software Development","author":"E Seidewitz","year":"1986","unstructured":"Seidewitz, E.; Stark, M.: General Object-Oriented Software Development. Document No. SEL- 86-002, NASA Goddard Space Flight Center, Greenbelt, Maryland 1986"},{"key":"1_CR54","first-page":"107","volume-title":"Object-Oriented Specification of Databases: An Algebraic Approach","author":"A Sernadas","year":"1987","unstructured":"Sernadas, A.; Sernadas, C.; Ehrich, H.-D.: Object-Oriented Specification of Databases: An Algebraic Approach. Proc. 13th VLDB, Stocker, P.M.; Kent, W. (eds.), Morgan-Kaufmann Publ. Inc., Los Altos 1987, 107\u2013116"},{"key":"1_CR55","volume-title":"Oblog \u2014 An Informal Introduction","author":"A Sernadas","year":"1991","unstructured":"Sernadas, A.; Sernadas, C.; Gouveia, P.; Resende, P.; Gouveia, J.: Oblog \u2014 An Informal Introduction, INESC Lisbon, 1991."},{"key":"1_CR56","volume-title":"The C++ Programming Language","author":"B Stroustrup","year":"1986","unstructured":"Stroustrup, B.: The C++ Programming Language. Addison Wesley, Reading, Mass. 1986"},{"key":"1_CR57","first-page":"202","volume-title":"Information Systems - Correctness and Reusability","author":"EM Verharen","year":"1991","unstructured":"Verharen, E.M.: Object-oriented System Development: An Overview. Information Systems - Cor-rectness and Reusability, Proc. ISCORE Workshop\u201991 (G.Saake, A.Sernadas, eds.), Informatik-Berichte 91-03, Tech. Univ. Braunschweig 1991, 202\u2013234"},{"key":"1_CR58","first-page":"245","volume":"14","author":"P Wegner","year":"1989","unstructured":"Wegner, P.: Learning the Language. Byte 14 (1989), 245\u2013253","journal-title":"Byte"},{"key":"1_CR59","volume-title":"Object-Oriented Databases: Analysis, Design and Construction","author":"RJ Wieringa","year":"1990","unstructured":"Wieringa, R.J.: Equational Specification of Dynamic Objects. In: Meersman, R.; Kent, W. (eds.): Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2.6 Working Conference DS-4), Windermere ( UK ), 1990. North-Holland, Amsterdam. In print."}],"container-title":["Informatik-Fachberichte","Informationssysteme und K\u00fcnstliche Intelligenz: Modellierung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-77312-9_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,26]],"date-time":"2020-11-26T17:24:58Z","timestamp":1606411498000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-77312-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540551829","9783642773129"],"references-count":59,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-77312-9_1","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1992]]}}}