{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:02:04Z","timestamp":1725663724551},"publisher-location":"Berlin, Heidelberg","reference-count":44,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540566106"},{"type":"electronic","value":"9783540475989"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56610-4_82","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T06:21:45Z","timestamp":1330237305000},"page":"453-467","source":"Crossref","is-referenced-by-count":4,"title":["Constructing systems as object communities"],"prefix":"10.1007","author":[{"given":"Hans-Dieter","family":"Ehrich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grit","family":"Denker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amilcar","family":"Sernadas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"31_CR1","volume-title":"Object-Oriented Design","author":"G. Booch","year":"1991","unstructured":"Booch,G.: Object-Oriented Design. Addison-Wesley, Reading (Mass.) 1991"},{"key":"31_CR2","volume-title":"Technical Report","author":"M. Broy","year":"1991","unstructured":"Broy,M.: Compositional Refinement of Interactive Systems. Technical Report, Tech. Univ. M\u00fcnchen and DEC System Research Center, Palo Alto, 1991"},{"key":"31_CR3","unstructured":"Bra\u00df,S.: Defaults in deduktiven Datenbanken. Dissertation, Universit\u00e4t Hannover 1992"},{"key":"31_CR4","volume-title":"The Specification of Complex Systems","author":"B. Cohen","year":"1986","unstructured":"Cohen,B.;Harwood,W.T.;Jackson,M.: The Specification of Complex Systems. Addison Wesley, Reading 1986"},{"issue":"no6","key":"31_CR5","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/52.60587","volume":"7","author":"B. J. Cox","year":"1990","unstructured":"Cox,B.J.: Planning the Software Industrial Revolution. IEEE Software, vol 7, no 6, 1990, 25\u201333","journal-title":"IEEE Software"},{"key":"31_CR6","volume-title":"Internal Report","author":"J.-F. Costa","year":"1989","unstructured":"Costa,J.-F.;Sernadas,A.;Sernadas,C.: OBL-89 Users Manual (version 2.3). Internal Report, INESC, Lisbon 1989"},{"key":"31_CR7","volume-title":"Object-Oriented Design","author":"P. Coad","year":"1991","unstructured":"Coad,P.;Yourdon,E.: Object-Oriented Design. Pergamon Press, Englewood Cliffs 1991"},{"key":"31_CR8","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.;Gogolla,M.;Lipeck,U.: Algebraische Spezifikation Abstrakter Datentypen. Teubner-Verlag, Stuttgart 1989"},{"key":"31_CR9","series-title":"LNCS 489","first-page":"203","volume-title":"Proc. REX\/FOOL School\/Workshop","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"},{"key":"31_CR10","first-page":"40","volume-title":"LNCS 655","author":"H.-D. Ehrich","year":"1992","unstructured":"Ehrich,H.-D.;Gogolla,M.;Sernadas,A.: Objects and Their Specification. Proc. 8th Workshop on Abstract Data Types, M. Bidoit, C. Choppy (eds.), LNCS 655, Springer-Verlag, Berlin 1992, 40\u201366"},{"key":"31_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specification 1","author":"H. Ehrig","year":"1985","unstructured":"Ehrig,H.;Mahr,B.: Fundamentals of Algebraic Specification 1. Springer-Verlag, Berlin 1985"},{"key":"31_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specification 2","author":"H. Ehrig","year":"1985","unstructured":"Ehrig,H.;Mahr,B,: Fundamentals of Algebraic Specification 2. Springer-Verlag, Berlin 1985"},{"key":"31_CR13","doi-asserted-by":"crossref","unstructured":"Ehrich, H.-D.; Sernadas, A.: Fundamental Object Concepts and Constructions. Information Systems \u2014 Correctness and Reusability, Proc. ISCORE Workshop'91 (G. Saake, A. Sernadas, eds.), Informatik-Berichte 91-03, Techn. Univ. Braunschweig 1991, 1\u201324","DOI":"10.1007\/978-3-642-77312-9_1"},{"key":"31_CR14","series-title":"LNCS 393","first-page":"142","volume-title":"Categorical Methods in Computer Science","author":"H.-D. Ehrich","year":"1989","unstructured":"Ehrich,H.-D.;Sernadas,A.;Semadas,C.: Objects, Object Types, and Object Identification. In Categorical Methods in Computer Science (H. Ehrig et al, eds.), LNCS 393, Springer-Verlag, Berlin 1989, 142\u2013156"},{"key":"31_CR15","first-page":"1","volume-title":"Concepts of Object-Orientation","author":"H.-D. Ehrich","year":"1992","unstructured":"Ehrich,H.-D.;Saake,G.;Sernadas,A.: Concepts of Object-Orientation. Proc. 2nd Workshop Informationssysteme und K\u00fcnstliche Intelligenz: Modellierung, Informatik-Fachberichte 303, Springer-Verlag, Berlin 1992, 1\u201319"},{"key":"31_CR16","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/BF01212304","volume":"4","author":"J. Fiadeiro","year":"1992","unstructured":"Fiadeiro,J.;Maibaum,T.: Temporal Theories as Modularisation Units for Concurrent System Specification. Formal Aspects of Computing 4 (1992), 239\u2013272","journal-title":"Formal Aspects of Computing"},{"key":"31_CR17","first-page":"117","volume-title":"Conceptual Modelling, Databases and CASE: An Integrated View of Information Systems Development","author":"J. Fiadeiro","year":"1992","unstructured":"Fiadeiro,J.;Sernadas,C.;Maibaum,T.;Sernadas,A.: Describing and Structuring Objects for Conceptual Schema Development. Conceptual Modelling, Databases and CASE: An Integrated View of Information Systems Development (P. Loucopoulos, R. Zicari,eds.), John Wiley, New York 1992, 117\u2013138"},{"key":"31_CR18","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. A. Goguen","year":"1992","unstructured":"Goguen,J.A.;Burstall,R.M.: Institutions: Abstract Model Theory for Specification and Programming. Journal of the ACM 39 (1992), 95\u2013146","journal-title":"Journal of the ACM"},{"key":"31_CR19","volume-title":"Object-Oriented Databases: A Semantic Data Model Approach","author":"P. M. D. D. Gray","year":"1992","unstructured":"Gray,P.M.D.;Kulkarni,K.G.;Paton,N.W.: Object-Oriented Databases: A Semantic Data Model Approach. Prentice Hall, Reading 1992"},{"key":"31_CR20","volume-title":"Object-Oriented Methods","author":"I. Graham","year":"1991","unstructured":"Graham,I.: Object-Oriented Methods. Addison Wesley, New York 1991"},{"key":"31_CR21","volume-title":"Algebraic Theory of Processes","author":"M. Hennessy","year":"1988","unstructured":"Hennessy,M.: Algebraic Theory of Processes. The MIT Press, Cambridge 1988"},{"key":"31_CR22","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/45072.45073","volume":"19","author":"R. Hull","year":"1987","unstructured":"Hull,R.;King,R.: Semantic Database Modelling: Survey, Applications, and Research Issues. ACM Computing Surveys 19(1987), 201\u2013260","journal-title":"ACM Computing Surveys"},{"key":"31_CR23","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C. A. R. R. Hoare","year":"1972","unstructured":"Hoare,C.A.R.: Proof of Correctness of Data Representations. Acta Informatica 1 (1972), 271\u2013281","journal-title":"Acta Informatica"},{"key":"31_CR24","volume-title":"Communicating Sequential Processes","author":"C. A. R. R. Hoare","year":"1985","unstructured":"Hoare,C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs 1985"},{"issue":"no2","key":"31_CR25","first-page":"22","volume":"1","author":"R. E. Johnson","year":"1988","unstructured":"Johnson,R.E.;Foote,B.: Designing Reusable Classes. Journal of 00 Programming, vol 1, no 2, 1988, 22\u201335","journal-title":"Journal of 00 Programming"},{"key":"31_CR26","doi-asserted-by":"crossref","unstructured":"Jungclaus,R.; Saake,G.; Hartmann,T.; Sernadas,C.: Object-Oriented Specification of Information Systems: The TROLL Language. Informatik-Bericht, TU Braunschweig 1991","DOI":"10.1007\/3540539816_61"},{"key":"31_CR27","doi-asserted-by":"crossref","unstructured":"Jungclaus,R.: Logic-Based Modeling of Dynamic Object Systems. Doktorarbeit, TU Braunschweig 1993","DOI":"10.1007\/978-3-663-14018-4"},{"key":"31_CR28","unstructured":"L\u00f6hr-Richter,P.: Generische Methoden f\u00fcr die fr\u00fchen Entwurfsphasen von Informationssystemen. Doktorarbeit, TU Braunschweig 1993"},{"key":"31_CR29","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner,R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs 1989"},{"key":"31_CR30","doi-asserted-by":"crossref","unstructured":"Pnueli,A.: The Temporal Logic of Programs. Proc. 18th FOCS 1977, 46\u201357","DOI":"10.1109\/SFCS.1977.32"},{"key":"31_CR31","volume-title":"Object-Oriented Modeling and Design","author":"J. Rumbaugh","year":"1991","unstructured":"Rumbaugh,J.;Blaha,M.;Premerlani,W.;Eddy,F.;Lorensen,W.: Object-Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs 1991"},{"key":"31_CR32","volume-title":"Conceptual Modelling, Databases and CASE: An Integrated View of Information Systems Development","author":"C. Rolland","year":"1992","unstructured":"Rolland,C.;Cauvet,C.: Trends and Perspectives in Conceptual Modeling. Conceptual Modelling, Databases and CASE: An Integrated View of Information Systems Development (P. Loucopoulos, R. Zicari,eds.), John Wiley, New York 1992"},{"key":"31_CR33","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets: An Introduction","author":"W. Reisig","year":"1985","unstructured":"Reisig,W.: Petri Nets: An Introduction. Springer-Verlag, Berlin 1985"},{"key":"31_CR34","series-title":"LNCS 430","volume-title":"Stepwise Refinement of Distributed Systems: Models, Formalism, Correctness","year":"1990","unstructured":"de Bakker,J.W.;de Roever,W.-P.;Rozenberg,G.(editors): Stepwise Refinement of Distributed Systems: Models, Formalism, Correctness. Proc. REX Workshop 1989, LNCS 430, Springer-Verlag, Berlin 1990"},{"key":"31_CR35","doi-asserted-by":"crossref","unstructured":"Saake,G.: Objektorientierte Spezifikation von Informationssystemen: Konzepte und Sprachvorschl\u00e4ge. Habilitationsschrift, TU Braunschweig 1992","DOI":"10.1007\/978-3-322-95370-4"},{"key":"31_CR36","volume-title":"Preprint 22\/92","author":"A. Sernadas","year":"1992","unstructured":"Sernadas,A.;Costa,J.F.;Sernadas,C.: An Institution of Object Behaviour. Preprint 22\/92, IST Lisbon 1992"},{"key":"31_CR37","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.: Temporal Aspects of Logical Procedure Definition. Information Systems 5 (1980), 167\u2013187","journal-title":"Information Systems"},{"key":"31_CR38","first-page":"39","volume-title":"What is an Object, After All? Object Oriented Databases: Analysis, Design and Construction","author":"A. Sernadas","year":"1991","unstructured":"Sernadas,A.;Ehrich,H.-D.: What is an Object, After All? Object Oriented Databases: Analysis, Design and Construction (R. Meersman, W. Kent, S. Khosla, eds.), North Holland, Amsterdam 1991, 39\u201369"},{"issue":"6","key":"31_CR39","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/0169-023X(91)90025-S","volume":"6","author":"C. Sernadas","year":"1991","unstructured":"Sernadas,C.;Fiadeiro,J.: Towards Object-Oriented Conceptual Modelling. Data and Knowledge Engineering 6(6), 1991, 47\u2013508","journal-title":"Data and Knowledge Engineering"},{"key":"31_CR40","first-page":"19","volume-title":"Refinement: Layered Definition of Conceptual Schemata. Information System Concepts","author":"C. Sernadas","year":"1992","unstructured":"Sernadas,C.;Gouveia,P.;Sernadas,A.: Refinement: Layered Definition of Conceptual Schemata. Information System Concepts (E. Falkcnberg,C. Rolland,E.N. El-Sayed, eds.), North-Holland, Amsterdam 1992, 19\u201351"},{"key":"31_CR41","first-page":"99","volume-title":"IFIP Transactions C: Communication Systems, Vol. 1: Proc. Open Distributed Processing","author":"G. Saake","year":"1992","unstructured":"Saake,G.;Jungclaus,R.;Ehrich,H.-D.: Object-Oriented Specification and Stepwise Refinement. IFIP Transactions C: Communication Systems, Vol. 1: Proc. Open Distributed Processing, J. de Meer, V. Heymer, R. Roth (eds.), North-Holland, Berlin 1992, 99\u2013121"},{"key":"31_CR42","volume-title":"Preprint 20\/92","author":"A. Sernadas","year":"1992","unstructured":"Sernadas,A.;Sernadas,C.;Costa,J.F.: Object Specification Logic. Preprint 20\/92, IST Lisbon 1992"},{"key":"31_CR43","first-page":"107","volume-title":"Proc. 13th VLDB","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.), MorganKaufmann Publ. Inc., Los Altos 1987, 107\u2013116"},{"issue":"no1","key":"31_CR44","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1142\/S0218215792000039","volume":"1","author":"D. Tsichritzis","year":"1992","unstructured":"Tsichritzis,D.;Nierstrasz,O.;Gibbs,S.: Beyond Objects: Objects. Int. J. of Intelligent and Cooperative Information Systems, vol 1, no 1, 1992, 43\u201360","journal-title":"Int. J. of Intelligent and Cooperative Information Systems"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT'93: Theory and Practice of Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56610-4_82.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,30]],"date-time":"2021-12-30T23:53:08Z","timestamp":1640908388000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56610-4_82"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540566106","9783540475989"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/3-540-56610-4_82","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}