{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T16:49:51Z","timestamp":1725986991951},"publisher-location":"Cham","reference-count":52,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56777-1_25","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:31:15Z","timestamp":1330255875000},"page":"463-482","source":"Crossref","is-referenced-by-count":3,"title":["Towards reliable information systems: The KorSo approach"],"prefix":"10.1007","author":[{"given":"N.","family":"Vlachantonis","sequence":"first","affiliation":[]},{"given":"R.","family":"Herzig","sequence":"additional","affiliation":[]},{"given":"M.","family":"Gogolla","sequence":"additional","affiliation":[]},{"given":"G.","family":"Denker","sequence":"additional","affiliation":[]},{"given":"S.","family":"Conrad","sequence":"additional","affiliation":[]},{"given":"H. -D.","family":"Ehrich","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"F. Bancilhon. Object-Oriented Database Systems. In Proc. 7th ACM Symp. Principles of Database Systems, pages 152\u2013162, 1988.","key":"25_CR1","DOI":"10.1145\/308386.308429"},{"unstructured":"G. v. Bochmann, M. Barbeau, M. Erradi, L. Lecomte, P. Mondain-Monval, and N. Williams. Mondel: An Object-Oriented Specification Language. D\u00e9partement d'Informatique et de Recherche Op\u00e9rationnelle, Publication 748, Universit\u00e9 de Montr\u00e9al, 1990.","key":"25_CR2"},{"doi-asserted-by":"crossref","unstructured":"D. Bjorner, C.A.R. Hoare, and H. Langmaack, editors. VDM'90: VDM and Z \u2014 Formal Methods in Software Development. Springer LNCS series, Vol. 428, 1990.","key":"25_CR3","DOI":"10.1007\/3-540-52513-0"},{"doi-asserted-by":"crossref","unstructured":"M. Bouzeghoub, E. Metais, F. Hazi, and L. Leborgne. A Design Tool for Object-Oriented Databases. In Proc. Conf. Advanced Information Systems Engineering, pages 365\u2013392. Springer LNCS series, No. 436, 1990.","key":"25_CR4","DOI":"10.1007\/BFb0000609"},{"key":"25_CR5","volume-title":"Object-oriented Design with Application","author":"G. Booch","year":"1991","unstructured":"G. Booch. Object-oriented Design with Application. Benjamin\/Cummings, Redwood City, 1991."},{"doi-asserted-by":"crossref","unstructured":"R. Breu. Algebraic Specification Techniques in Object Oriented Programming Environments. Springer LNCS Series, 1991.","key":"25_CR6","DOI":"10.1007\/3-540-54972-2"},{"unstructured":"S. Conrad, M. Gogolla, and R. Herzig. TROLL light: A Core Language for Specifying Objects. Informatik-Bericht 92-02, Technische Universit\u00e4t Braunschweig, 1992.","key":"25_CR7"},{"unstructured":"S. Clerici, R. Jimenez, and F. Orejas. Semantic Constructions in the Specification Language GLIDER. Workshop on Abstract data Types, 1992.","key":"25_CR8"},{"unstructured":"J.-F. Costa, A. Sernadas, and C. Sernadas. OBL-89 Users Manual (Version 2.3). Internal report, INESC, Lisbon, 1989.","key":"25_CR9"},{"unstructured":"O.-J. Dahl and O. Owe. Formal Development with ABEL. Technical Report 159, University of Oslo, 1991.","key":"25_CR10"},{"issue":"2","key":"25_CR11","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/0169-023X(92)90008-Y","volume":"9","author":"G. Engels","year":"1992","unstructured":"G. Engels, M. Gogolla, U. Hohenstein, K. H\u00fclsmann, P. L\u00f6hr-Richter, G. Saake, and H.-D. Ehrich. Conceptual modelling of database applications using an extended ER model. Data & Knowledge Engineering, North-Holland, 9(2):157\u2013204, 1992.","journal-title":"Data & Knowledge Engineering, North-Holland"},{"key":"25_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-94709-3","volume-title":"Algebraische Spezifikation abstrakter Datentypen \u2014 Eine Einf\u00fchrung in die Theorie","author":"H.-D. Ehrich","year":"1989","unstructured":"H.-D. Ehrich, M. Gogolla, and U.W. Lipeck. Algebraische Spezifikation abstrakter Datentypen \u2014 Eine Einf\u00fchrung in die Theorie. Teubner, Stuttgart, 1989."},{"key":"25_CR13","series-title":"LNCS 655","first-page":"40","volume-title":"Proc. 8th Workshop on Abstract Data Types","author":"H.-D. Ehrich","year":"1992","unstructured":"H.-D. Ehrich, M. Gogolla, and A. Sernadas. Objects and their Specification. In M. Bidoit and C. Choppy, editors, Proc. 8th Workshop on Abstract Data Types, pages 40\u201366. LNCS 655, Springer, Berlin, 1992."},{"key":"25_CR14","volume-title":"CADDY: Computer-Aided Design of Non-Standard Databases","author":"G. Engels","year":"1990","unstructured":"G. Engels, U. Hohenstein, K. H\u00fclsmann, P. L\u00f6hr-Richter, and H.-D. Ehrich. CADDY: Computer-Aided Design of Non-Standard Databases. In Proc. 1st Int. Conf. on System Development Environments and Factories. Pitman, London, 1990."},{"key":"25_CR15","first-page":"19","volume-title":"CADDY-A Highly Integrated Environment to Support Conceptual Database Design","author":"G. Engels","year":"1992","unstructured":"G. Engels and P. L\u00f6hr-Richter. CADDY-A Highly Integrated Environment to Support Conceptual Database Design. In G. Porte, N.H. Madhavji, and H.A. M\u00fcller, editors, Proc. 5th Int. Workshop on CASE, July 6.\u201310., 1992, Montreal (Canada), pages 19\u201322. IEEE Computer Society Press, 1992."},{"key":"25_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specification 1: Equations and Initial Semantics","author":"H. Ehrig","year":"1985","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. Springer, Berlin, 1985."},{"key":"25_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61284-8","volume-title":"Fundamentals of Algebraic Specification 2: Modules and Constraints","author":"H. Ehrig","year":"1990","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 2: Modules and Constraints. Springer, Berlin, 1990."},{"doi-asserted-by":"crossref","unstructured":"H.-D. Ehrich and A. Sernadas. Fundamental Object Concepts and Constructions. In G. Saake and A. Sernadas, editors, Information Systems \u2014 Correctness and Reusability, pages 1\u201324. TU Braunschweig, Informatik Bericht 91-03, 1991.","key":"25_CR18","DOI":"10.1007\/978-3-642-77312-9_1"},{"doi-asserted-by":"crossref","unstructured":"H.-D. Ehrich, G. Saake, and A. Sernadas. Concepts of Object-Orientation. In Proc. of the 2nd Workshop of \u201cInformationssysteme und K\u00fcnstliche Intelligenz: Modellierung\u201d, Ulm (Germany), pages 1\u201319. Springer IFB 303, 1992.","key":"25_CR19","DOI":"10.1007\/978-3-642-77312-9_1"},{"issue":"3","key":"25_CR20","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1093\/logcom\/1.3.357","volume":"1","author":"J. Fiadeiro","year":"1991","unstructured":"J. Fiadeiro and T. Maibaum. Temporal Reasoning over Deontic Specifications. Journal of Logic and Computation, 1(3):357\u2013395, 1991.","journal-title":"Journal of Logic and Computation"},{"key":"25_CR21","series-title":"Informatik-Bericht 91\u201303","first-page":"129","volume-title":"Information Systems \u2014 Correctness and Reusability, Workshop IS-CORE '91, ESPRIT BRA WG 3023","author":"J. Fiadeiro","year":"1991","unstructured":"J. Fiadeiro and T. Maibaum. Towards Object Calculi. In G. Saake and A. Sernadas, editors, Information Systems \u2014 Correctness and Reusability, Workshop IS-CORE '91, ESPRIT BRA WG 3023, London, pages 129\u2013178. Informatik-Bericht 91\u201303, Technische Universit\u00e4t Braunschweig, 1991."},{"unstructured":"P. Gabriel. The Object-Based Specification Language II: Concepts, Syntax, and Semantics. In Proc. 8th Workshop on Specification of Abstract Data Types. Springer LNCS series, 1991.","key":"25_CR22"},{"issue":"3","key":"25_CR23","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/45072.45073","volume":"19","author":"R. Hull","year":"1987","unstructured":"R. Hull and R. King. Semantic Database Modelling: Survey, Applications, and Research Issues. ACM Computing Surveys, 19(3):201\u2013260, 1987.","journal-title":"ACM Computing Surveys"},{"key":"25_CR24","volume-title":"Communicating Sequential Processes","author":"C. A. R. R. Hoare","year":"1985","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (NJ), 1985."},{"doi-asserted-by":"crossref","unstructured":"R. Hull. Four Views of Complex Objects: A Sophisticate's Introduction. In S. Abiteboul, P.C. Fischer, and H.J. Schek, editors, Nested Relations and Complex Objects in Databases, Springer LNCS series, Vol. 361, pages 87\u2013116, 1989.","key":"25_CR25","DOI":"10.1007\/3-540-51171-7_22"},{"unstructured":"R. Herzig and N. Viachantonis. Spezifikation einer Fertigungszelle in TROLL light. Interner Bericht, Technische Universit\u00e4t Braunschweig, 1992.","key":"25_CR26"},{"doi-asserted-by":"crossref","unstructured":"M. Jarke and DAIDA-Team. The DAIDA Demonstrator: Development Assistance for Interactive Database Applications. Technical Report MIP-8927, University of Passau, 1989.","key":"25_CR27","DOI":"10.1007\/978-94-009-1063-8_35"},{"unstructured":"M. Jarke, J. Mylopoulos, and J.W. Schmidt. Information Systems Development as Knowledge Engineering: A Review of the DAIDA Project. Technical Report MIP-9010, University of Passau, 1990.","key":"25_CR28"},{"key":"25_CR29","volume-title":"Systematic Software Developing Using VDM","author":"C. B. Jones","year":"1986","unstructured":"C.B. Jones. Systematic Software Developing Using VDM. Prentice-Hall, Englewood Cliffs (NJ), 1986."},{"unstructured":"R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. Object-Oriented Specification of Information Systems: The TROLL Language. Informatik-Bericht 91\u201304, Technische Universit\u00e4t Braunschweig, 1991.","key":"25_CR30"},{"unstructured":"T. K\u00e4ufl. The Program Verifier Tatzelwurm. In H. Kersten, editor, Sichere Systeme, pages 219\u2013236. H\u00fcthig, 1989.","key":"25_CR31"},{"doi-asserted-by":"crossref","unstructured":"G. Kappel and M. Schrefl. Using an Object-Oriented Diagram Technique for the Design of Information Systems. In H.G. Sol and K.M. Van Hee, editors, Dynamic Modelling of Information Systems, pages 121\u2013164. Elsevier (North-Holland), 1991.","key":"25_CR32","DOI":"10.1016\/B978-0-444-88923-2.50008-2"},{"unstructured":"M. L\u00f6we, F. Cornelius, J. Faulhaber, and R. Wess\u00e4ly. Ein Fallbeispiel f\u00fcr KORSO: Das heterogene verteilte Managementsystem HDMS der Projektgruppe Medizin Informatik (PMI) am Deutschen Herzzentrum Berlin und an der Technischen Universit\u00e4t Berlin. Arbeitspapier, Technische Universit\u00e4t Berlin, 1992.","key":"25_CR33"},{"issue":"10","key":"25_CR34","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1145\/125223.125244","volume":"34","author":"C. Lamb","year":"1991","unstructured":"C. Lamb, G. Landis, J. Orenstein, and D. Weinreib. The ObjectStore Database System. Communications of the ACM, 34(10):50\u201363, 1991.","journal-title":"Communications of the ACM"},{"doi-asserted-by":"crossref","unstructured":"C. L\u00e9cluse and P. Richard. Modeling Complex Structures in Object-Oriented Databases. In Proc. 8th ACM Symp. Principles of Database Systems, pages 360\u2013368, 1989.","key":"25_CR35","DOI":"10.1145\/73721.73756"},{"doi-asserted-by":"crossref","unstructured":"J. Meseguer. A Logical Theory of Concurrent Objects and its Realization in the Maude Language. In G. Agha, P. Wegener, and A. Yonezawa, editors, Research Directions in Object-Based Concurrency. MIT Press, 1992. To appear.","key":"25_CR36","DOI":"10.7551\/mitpress\/2087.003.0017"},{"issue":"1","key":"25_CR37","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"J. Meseguer. Conditional Rewriting as a Unified Model of Concurrency. Theoretical Computer Science, 96(1):73\u2013156, 1992.","journal-title":"Theoretical Computer Science"},{"unstructured":"J. Meseguer. Multiparadigm Logic Programming. Technical Report, SRI Computer Science Laboratory, May 1992.","key":"25_CR38"},{"key":"25_CR39","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"R. Milner. A Calculus of Communicating Systems. Springer, Berlin, 1980."},{"unstructured":"L.C. Paulson. Isabelle: The Next 700 Theorem Provers. In P. Odifreddi, editor, Logic and Computer Science, pages 361\u2013385. Academic Press, 1990.","key":"25_CR40"},{"unstructured":"S. Rehm. STONE-Eine strukturierte und offene Umgebung. Kolloquium Software-Entwicklungs-Systeme und-Werkzeuge, Technische Akademie, Esslingen, September 1991.","key":"25_CR41"},{"key":"25_CR42","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets: An Introduction","author":"W. Reisig","year":"1985","unstructured":"W. Reisig. Petri Nets: An Introduction. Springer, Berlin, 1985."},{"key":"25_CR43","first-page":"39","volume-title":"Object-Oriented Databases: Analysis, Design and Construction","author":"A. Sernadas","year":"1991","unstructured":"A. Sernadas and H.-D. Ehrich. What Is an Object, After All? In R. Meersman, W. Kent, and S. Khosla, editors, Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2.6 Working Conference DS-4, Windermere (UK)), pages 39\u201370, Amsterdam, 1991. North-Holland."},{"issue":"1","key":"25_CR44","first-page":"7","volume":"1","author":"A. Sernadas","year":"1990","unstructured":"A. Sernadas, H.-D. Ehrich, and J.-F. Costa. From Processes to Objects. The INESC Journal of Research and Development 1:1, pages 7\u201327, 1990.","journal-title":"The INESC Journal of Research and Development"},{"key":"25_CR45","volume-title":"Object-Oriented Systems Analysis: Modeling the World in Data","author":"S. Shlaer","year":"1988","unstructured":"S. Shlaer and S.J. Mellor. Object-Oriented Systems Analysis: Modeling the World in Data. Prentice-Hall, Englewood Cliffs (NJ), 1988."},{"key":"25_CR46","volume-title":"Object Lifecycles: Modeling the World in States","author":"S. Shlaer","year":"1992","unstructured":"S. Shlaer and S.J. Mellor. Object Lifecycles: Modeling the World in States. Yourdon Press computing series, Prentice-Hall, Englewood Cliffs (NJ), 1992."},{"unstructured":"A. Sernadas, C. Sernadas, and J.F. Costa. Object Specification Logic. Internal report, INESC, University of Lisbon, 1992.","key":"25_CR47"},{"unstructured":"J. Uhl, D. Theobald, B. Schiefer, E. Sekerinski, S. Rehm, M. Ranft, and W. Zimmer. The Object Management System of STONE-SOS Release 3.2. Project Report No. 027, FZI Karlsruhe, 1991.","key":"25_CR48"},{"unstructured":"G.M.A Verheijen and J. Van Bekkum. NIAM: An Information Analysis Method. In T.W. Olle, H.G. Sol, and A.A. Verrijn-Stuart, editors, Proc. \u201cInformation Systems Design Methodologies: A Comparative Review\u201d, pages 537-590, North-Holland, 1982.","key":"25_CR49"},{"doi-asserted-by":"crossref","unstructured":"Y. Vassiliou, M. Marakakis, P. Katalagarianos, L. Chung, M. Mertikas, and J. Mylopoulos. IRIS-A Mapping Assistant for Generating Designs from Requirements. In Proc. Conf. Advanced Information Systems Engineering, pages 307\u2013339. Springer LNCS series, No. 436, 1990.","key":"25_CR50","DOI":"10.1007\/BFb0000607"},{"unstructured":"R. Wieringa. Equational Specification of Dynamic Objects. In R.A. Meersman, W. Kent, and S. Khosla, editors, Object-Oriented Databases: Analysis, Design & Construction (DS-4), Proc. IFIP WG 2.6 Working Conference, Windermere (UK) 1990, pages 415\u2013438. North-Holland, 1991.","key":"25_CR51"},{"key":"25_CR52","first-page":"677","volume-title":"Handbook of Theoretical Computer Science, Vol. B","author":"M. Wirsing","year":"1990","unstructured":"M. Wirsing. Algebraic Specification. In J. Van Leeuwen, editor, Handbook of Theoretical Computer Science, Vol. B, pages 677\u2013788. Elsevier, North-Holland, 1990."}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56777-1_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T14:57:55Z","timestamp":1713625075000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56777-1_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783319981765","9783319981772"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/3-540-56777-1_25","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[1993]]}}}