{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:39Z","timestamp":1725663879605},"publisher-location":"Berlin, Heidelberg","reference-count":57,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540539810"},{"type":"electronic","value":"9783540464990"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3540539816_61","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:20:06Z","timestamp":1330208406000},"page":"60-82","source":"Crossref","is-referenced-by-count":26,"title":["Formal specification of object systems"],"prefix":"10.1007","author":[{"given":"Ralf","family":"Jungclaus","sequence":"first","affiliation":[]},{"given":"Gunter","family":"Saake","sequence":"additional","affiliation":[]},{"given":"Cristina","family":"Sernadas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,6]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"[ABD+89] Atkinson, M.; Bancilhon, F.; DeWitt, D.; Dittrich, K. R.; Maier, D.; Zdonik, S. B.: The Object-Oriented Database System Manifesto. In: Kim, W.; Nicolas, J.-M.; Nishio, S. (eds.): Proc. Int. Conf. on Deductive and Object-Oriented Database Systems, Kyoto, Japan, December 1989. pp. 40\u201357.","DOI":"10.1016\/B978-0-444-88433-6.50020-4"},{"key":"7_CR2","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1145\/3857.3859","volume":"10","author":"A. Albano","year":"1985","unstructured":"Albano, A.; Cardelli, L.; Orsini, R.: Galileo: A Strongly Typed Interactive Conceptual Language. ACM Transactions on Database Systems, Vol. 10, 1985, pp. 230\u2013260.","journal-title":"ACM Transactions on Database Systems"},{"issue":"4","key":"7_CR3","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1145\/32204.32205","volume":"12","author":"S. Abiteboul","year":"1987","unstructured":"Abiteboul, S.; Hull, R.: IFO \u2014 A Formal Semantic Database Model. ACM Transactions on Database Systems, Vol. 12, No. 4, 1987, pp. 525\u2013565.","journal-title":"ACM Transactions on Database Systems"},{"key":"7_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-15187-7","volume-title":"The Munich Project CIP. Volume I: The Wide Spectrum Language CIP-L","author":"F. L. Bauer","year":"1985","unstructured":"[B+85] Bauer, F. L. et al.: The Munich Project CIP. Volume I: The Wide Spectrum Language CIP-L. LNCS 183. Springer-Verlag, Berlin, 1985."},{"key":"7_CR5","unstructured":"Balzer, R.: Final Report on GIST. Technical report, USC\/ISI, Marina del Rey, CA, 1981."},{"key":"7_CR6","unstructured":"Burstall, R.; Goguen, J. A.: Putting Theories Together to Make Specifications. In: Proc. 5th Int. Joint Conf. on Artificial Intelligence IJCAI'77, Cambridge, MA, 1977. pp. 1045\u20131058."},{"key":"7_CR7","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1007\/978-3-642-83397-7_19","volume-title":"Foundations of Knowledge Base Management","author":"A. Borgida","year":"1989","unstructured":"[BJM+89] Borgida, A.; Jarke, M.; Mylopoulos, J.; Schmidt, J. W.; Vassiliou, Y.: The Software Development Environment as a Knowledge Base Management System. In: Schmidt, J. W.; Thanos, C. (eds.): Foundations of Knowledge Base Management. Springer-Verlag, Berlin, 1989, pp. 411\u2013439."},{"key":"7_CR8","first-page":"89","volume-title":"Mathematics and Computer Science, CWI Monographs 1","author":"J. A. Bergstra","year":"1986","unstructured":"Bergstra, J. A.; Klop, J. W.: Algebra of Communicating Processes. In: de Bakker, J. W.; Hazewinkel, M.; Lenstra, J. K. (eds.): Mathematics and Computer Science, CWI Monographs 1. North-Holland, Amsterdam, 1986, pp. 89\u2013138."},{"volume-title":"On Knowledge Management Systems","year":"1986","key":"7_CR9","unstructured":"Brodie, M. L.; Mylopoulos, J. (eds.): On Knowledge Management Systems. Springer-Verlag, Berlin, 1986."},{"key":"7_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-5196-5","volume-title":"On Conceptual Modelling \u2014 Perspectives from Artificial Intelligence, Databases, and Programming Languages","author":"M. L. Brodie","year":"1984","unstructured":"Brodie, M. L.; Mylopoulos, J.; Schmidt, J. W.: On Conceptual Modelling \u2014 Perspectives from Artificial Intelligence, Databases, and Programming Languages. Springer-Verlag, Berlin, 1984."},{"key":"7_CR11","volume-title":"Object-Oriented Design","author":"G. Booch","year":"1990","unstructured":"Booch, G.: Object-Oriented Design. Bejamin\/Cummings, Menlo Park, CA, 1990."},{"issue":"1","key":"7_CR12","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/320434.320440","volume":"1","author":"P.P. Chen","year":"1976","unstructured":"Chen, P.P.: The Entity-Relationship Model \u2014 Toward a Unified View of Data. ACM Transactions on Database Systems, Vol. 1, No. 1, 1976, pp. 9\u201336.","journal-title":"ACM Transactions on Database Systems"},{"key":"7_CR13","volume-title":"The Specification of Complex Systems","author":"B. Cohen","year":"1986","unstructured":"Cohen, B.; Harwood, W. T.; Jackson, M. I.: The Specification of Complex Systems. Addison-Wesley, Reading, MA, 1986."},{"key":"7_CR14","volume-title":"Structured Analysis and System Specification","author":"T. DeMarco","year":"1979","unstructured":"DeMarco, T.: Structured Analysis and System Specification. Prentice-Hall, Englewood cliffs, NJ, 1979."},{"key":"7_CR15","unstructured":"Ehrich, H.-D.; Goguen, J. A.; Sernadas, A.: A Categorial Theory of Objects as Observed Processes. In: Proc. REX\/FOOL Workshop, Noordwijkerhood (NL), 1990. To appear."},{"key":"7_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-94709-3","volume-title":"Algebraische Spezifikation abstrakter Datentypen","author":"H.-D. Ehrich","year":"1989","unstructured":"Ehrich, H.-D.; Lipeck, U. W.; Gogolla, M.: Algebraische Spezifikation abstrakter Datentypen. Teubner Verlag, Stuttgart, 1989."},{"key":"7_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specification I: Equations and Initial Semantics","author":"H. Ehrig","year":"1985","unstructured":"Ehrig, H.; Mahr, B.: Fundamentals of Algebraic Specification I: Equations and Initial Semantics. Springer-Verlag, Berlin, 1985."},{"key":"7_CR18","first-page":"239","volume-title":"Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, Mood (NL)","author":"H.-D. Ehrich","year":"1989","unstructured":"Ehrich, H.-D.; Sernadas, A.: Algebraic Implementation of Objects over Objects. In: deRoever, W. (ed.): Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, Mood (NL), 1989. LNCS 394, Springer Verlag, Berlin, 1989, pp. 239\u2013266."},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Futatsugi, K.; Goguen, J. A.; Jouannaud, J.-P.; Meseguer, J.: Principles of OBJ2. In: Proc. 12th ACM Symp. on Principles of Programming Languages, New Orleans, 1985. pp. 52\u201366.","DOI":"10.1145\/318593.318610"},{"key":"7_CR20","volume-title":"REX90: Foundations of Object-Oriented Languages, Noordwijkerhood (NL)","author":"J. Fiadeiro","year":"1990","unstructured":"Fiadeiro, J.; Maibaum, T.: Describing, Structuring and Implementing Objects. In: REX90: Foundations of Object-Oriented Languages, Noordwijkerhood (NL), 1990. Springer-Verlag, Berlin. To appear."},{"key":"7_CR21","volume-title":"Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2.6 Working Conference DS-4), Windermere (UK)","author":"J. Fiadeiro","year":"1990","unstructured":"Fiadeiro, J.; Sernadas, C.; Maibaum, T.; Saake, G.: Proof-Theoretic Semantics of Object-Oriented Specification Constructs. 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."},{"key":"7_CR22","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1007\/978-1-4612-4980-1_37","volume-title":"On Knowledge Base Management Systems","author":"S. Greenspan","year":"1986","unstructured":"Greenspan, S.; Borgida, A. T.; Mylopoulos, J.: A Requirements Modelling Language and its Logic. In: Brodie, M. L.; Mylopoulos, J. (eds.): On Knowledge Base Management Systems. Springer-Verlag, Berlin, 1986, pp. 471\u2013502."},{"key":"7_CR23","unstructured":"Goguen, J. A.; Meseguer, J.: Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics. In: Shriver, B.; Wegner, P. (eds.): Research Directions in Object-Oriented Programming. MIT Press, 1987, pp. 417\u2013477."},{"key":"7_CR24","unstructured":"van Griethuysen, J.: Concepts and Terminology for the Conceptual Schema and the Information Base. Report N695, ISO\/TC97\/SC5, 1982."},{"key":"7_CR25","volume-title":"Algebraic Theory of Processes","author":"M. Hennessy","year":"1988","unstructured":"Hennessy, M.: Algebraic Theory of Processes. The MIT Press, Cambridge, MA, 1988."},{"key":"7_CR26","volume-title":"A Calculus for an Extended Entity-Relationship Model Incorporating Arbitrary Data Operations and Aggregate Functions","author":"U. Hohenstein","year":"1988","unstructured":"Hohenstein, U.; Gogolla, M.: A Calculus for an Extended Entity-Relationship Model Incorporating Arbitrary Data Operations and Aggregate Functions. In: Proc. 7th Int. Conf. on the Entity-Relationship Approach, Rome, 1988. North-Holland, Amsterdam, 1988."},{"issue":"3","key":"7_CR27","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/45072.45073","volume":"19","author":"R. Hull","year":"1987","unstructured":"Hull, R.; King, R.: Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Computing Surveys, Vol. 19, No. 3, 1987, pp. 201\u2013260.","journal-title":"ACM Computing Surveys"},{"issue":"3","key":"7_CR28","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1145\/319587.319588","volume":"6","author":"M. M. Hammer","year":"1981","unstructured":"Hammer, M. M.; McLeod, D. J.: Database Description with SDM: A Semantic Database Model. ACM Transactions on Database Systems, Vol. 6, No. 3, 1981, pp. 351\u2013381.","journal-title":"ACM Transactions on Database Systems"},{"key":"7_CR29","volume-title":"Communicating Sequential Processes","author":"C. A. R. Hoare","year":"1985","unstructured":"Hoare, C. A. R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, NJ, 1985."},{"key":"7_CR30","unstructured":"ISO: Information Processing Systems, Definition of the Temporal Ordering Specification Language LOTOS. Report N1987, ISO\/TC97\/16, 1984."},{"key":"7_CR31","volume-title":"System Development","author":"M. A. Jackson","year":"1983","unstructured":"Jackson, M. A.: System Development. Prentice-Hall, Englewood Cliffs, NJ, 1983."},{"key":"7_CR32","volume-title":"Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2.6 Working Conference DS-4), Windermere (UK)","author":"R. Jungclaus","year":"1990","unstructured":"Jungclaus, R.; Saake, G.; Sernadas, C.: Using Active Objects for Query Processing. 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."},{"issue":"9","key":"7_CR33","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1145\/83880.84459","volume":"33","author":"T. Korson","year":"1990","unstructured":"Korson, T.; McGregor, J. D.: Understanding Object-Oriented: A Unifying Paradigm. Communications of the ACM, Vol. 33, No. 9, 1990, pp. 40\u201360.","journal-title":"Communications of the ACM"},{"key":"7_CR34","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":"7_CR35","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0167-6423(82)90010-7","volume":"2","author":"P. London","year":"1982","unstructured":"London, P.; Feather, M.: Implementing Specification Freedoms. Science of Computer Programming, Vol. 2, 1982, pp. 91\u2013131.","journal-title":"Science of Computer Programming"},{"issue":"2","key":"7_CR36","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1145\/320141.320150","volume":"5","author":"J. Mylopoulos","year":"1980","unstructured":"Mylopoulos, J.; Bernstein, P. A.; Wong, H. K. T.: A Language Facility for Designing Interactive Database-Intensive Applications. ACM Transactions on Database Systems, Vol. 5, No. 2, 1980, pp. 185\u2013207.","journal-title":"ACM Transactions on Database Systems"},{"key":"7_CR37","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1988","unstructured":"Meyer, B.: Object-Oriented Software Construction. Prentice-Hall, Englewood Cliffs, NJ, 1988."},{"key":"7_CR38","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs, 1989."},{"key":"7_CR39","unstructured":"Nixon, B. (ed.): TAXIS'84: Selected Papers. Technical Report CSRG-160, Dept. of CS, U. of Toronto, 1984."},{"key":"7_CR40","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61512-2","volume-title":"Specification and Transformation of Programs: A Formal Approach to Software Development","author":"H. A. Partsch","year":"1990","unstructured":"Partsch, H. A.: Specification and Transformation of Programs: A Formal Approach to Software Development. Springer-Verlag, Berlin, 1990."},{"issue":"3","key":"7_CR41","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/62061.62062","volume":"20","author":"J. Peckham","year":"1988","unstructured":"Peckham, J.; Maryanski, F.: Semantic Data Models. ACM Computing Surveys, Vol. 20, No. 3, 1988, pp. 153\u2013189.","journal-title":"ACM Computing Surveys"},{"key":"7_CR42","unstructured":"Saake, G.: Descriptive Specification of Database Object Behaviour. Data & Knowledge Engineering, Vol. 5, 1990. In print."},{"key":"7_CR43","volume-title":"Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2.6 Working Conference DS-4), Windermere (UK)","author":"A. Sernadas","year":"1990","unstructured":"Sernadas, A.; Ehrich, H.-D.: What Is an Object, After All? 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."},{"key":"7_CR44","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0306-4379(80)90009-5","volume":"5","author":"A. Sernadas","year":"1980","unstructured":"Sernadas, A.: Temporal Aspects of Logical Procedure Definition. Information Systems, Vol. 5, 1980, pp. 167\u2013187.","journal-title":"Information Systems"},{"key":"7_CR45","series-title":"Technical Report","volume-title":"ADAPLEX: Rationale and Reference Manual","author":"J. M. Smith","year":"1983","unstructured":"Smith, J. M.; Fox, S. A.; Landers, T.: ADAPLEX: Rationale and Reference Manual. Technical Report CCA-83-08, Computer Corp. of America, Cambridge, MA, 1983."},{"key":"7_CR46","first-page":"225","volume-title":"Information System Concepts: An In-Depth Analysis, Namur (B), 1989","author":"A. Sernadas","year":"1989","unstructured":"Sernadas, A.; Fiadeiro, J.; Sernadas, C.; Ehrich, H.-D.: The Basic Building Blocks of Information Systems. In: Falkenberg, E.; Lindgreen, P. (eds.): Information System Concepts: An In-Depth Analysis, Namur (B), 1989. North-Holland, Amsterdam, 1989, pp. 225\u2013246."},{"key":"7_CR47","unstructured":"Saake, G.; Jungclaus, R.: Information about Objects versus Derived Objects. In: G\u00f6ers, J.; Heuer, A. (eds.): Second Workshop on Foundations and Languages for Data and Objects, Aigen (A), 1990. Informatik-Bericht 90\/3, Technische Universit\u00e4t Clausthal, pp. 59\u201370."},{"key":"7_CR48","first-page":"255","volume-title":"Knowledge Representation for Decision Support Systems","author":"A. Sernadas","year":"1985","unstructured":"Sernadas, A.; Sernadas, C.: Capturing Knowledge about the Organization Dynamics. In: Methlie, L.; Sprague, R. (eds.): Knowledge Representation for Decision Support Systems. North-Holland, Amsterdam, 1985, pp. 255\u2013267."},{"key":"7_CR49","volume-title":"Formal Semantics of Object-Oriented Languages for Conceptual Modelling. IS-CORE Report","author":"C. Sernadas","year":"1989","unstructured":"Sernadas, C.; Saake, G.: Formal Semantics of Object-Oriented Languages for Conceptual Modelling. IS-CORE Report, INESC, Lisbon, 1989."},{"key":"7_CR50","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. In: Hammerslay, P. (ed.): Proc. 13th Int. Conf. on Very Large Databases VLDB'87, Brighton (GB), 1987. Morgan-Kaufmann, Palo Alto, 1987, pp. 107\u2013116."},{"volume-title":"Foundations of Knowledge Base Management","year":"1989","key":"7_CR51","unstructured":"Schmidt, J. W.; Thanos, C. (eds.): Foundations of Knowledge Base Management. Springer-Verlag, Berlin, 1989."},{"key":"7_CR52","first-page":"382","volume-title":"An Analysis of the Structural, Dynamic, and Temporal Aspects of Semantic Data Models","author":"S. D. Urban","year":"1986","unstructured":"Urban, S. D.; Delcambre, L.: An Analysis of the Structural, Dynamic, and Temporal Aspects of Semantic Data Models. In: Proc. Int. Conf. on Data Engineering, Los Angeles, 1986. ACM, New York, 1986, pp. 382\u2013387."},{"key":"7_CR53","first-page":"168","volume-title":"Dimensions of Object-Based Language Design","author":"P. Wegner","year":"1987","unstructured":"Wegner, P.: Dimensions of Object-Based Language Design. In: OOPSLA Conference Proceedings, Orlando, FL, 1987. ACM, New York, 1987, pp. 168\u2013182. (Special Issue of SIGPLAN Notices, Vol. 22, No. 12, November 1987)."},{"key":"7_CR54","volume-title":"Algebraic Foundations for Dynamic Conceptual Models","author":"R. J. Wieringa","year":"1990","unstructured":"Wieringa, R. J.: Algebraic Foundations for Dynamic Conceptual Models. PhD thesis, Vrije Universiteit, Amsterdam, 1990."},{"key":"7_CR55","volume-title":"Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2.6 Working Conference DS-4), Windermere (UK)","author":"R.J. 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."},{"issue":"9","key":"7_CR56","doi-asserted-by":"crossref","first-page":"1077","DOI":"10.1109\/PROC.1980.11806","volume":"68","author":"R. T. Yeh","year":"1980","unstructured":"Yeh, R. T.; Zave, P.: Specifying Software Requirements. Proc. IEEE, Vol. 68, No. 9, 1980, pp. 1077\u20131085.","journal-title":"Proc. IEEE"},{"key":"7_CR57","doi-asserted-by":"crossref","unstructured":"Zave, P.: A Comprehensive Approach to Requirements Problems. In: Proc. COMPSAC'79, Chicago, IL, 1979. pp. 117\u2013127.","DOI":"10.1109\/CMPSAC.1979.762477"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540539816_61.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:18:02Z","timestamp":1619572682000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540539816_61"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540539810","9783540464990"],"references-count":57,"URL":"https:\/\/doi.org\/10.1007\/3540539816_61","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}