{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:12:59Z","timestamp":1759637579951},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540591320"},{"type":"electronic","value":"9783540491989"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0014431","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T18:08:44Z","timestamp":1134324524000},"page":"236-254","source":"Crossref","is-referenced-by-count":5,"title":["Dynamic abstract data types based on algebraic graph transformations"],"prefix":"10.1007","author":[{"given":"Hartmut","family":"Ehrig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"L\u00f6we","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando","family":"Orejas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Astesiano, E., Zucca, E.: A Semantic Model for Dynamic Systems. Springer Workshops in Computing, 1992\/93, pp. 63\u201380","DOI":"10.1007\/978-1-4471-3554-8_5"},{"key":"12_CR2","unstructured":"Astesiano, E., Zucca, E.: D-oids: A Model for Dynamic Data Types. Special Issue of MSCS, accepted for publication 1994"},{"key":"12_CR3","unstructured":"Bardohl. R., Ehrig, H.: Specification of Shipping Software Using Dynamic Abstract Data Types. In preparation (1994)"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Corradini, A., Ehrig, H., L\u00f6we, M., Montanari, U., Rossi, F.: Abstract Graph Derivations in the Double-Pushout Approach. Proc. Graph Grammar Workshop Dagstuhl 1993, Springer LNCS 776 (1994), pp. 86\u2013103","DOI":"10.1007\/3-540-57787-4_6"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Cla\u00dfen, I., L\u00f6we, M., Wa\u00dferroth, S., Wortmann, J.: Static and Dynamic Semantics of Entity-Relationship Models Bassed on Algebraic Methods, Proc. IFIP-Congress and GI-Fachgespr\u00e4che, Hamburg 1994, to appear","DOI":"10.1007\/978-3-642-51136-3_1"},{"key":"12_CR6","unstructured":"Dauchy, P., Gaudel, M.G.: Algebraic Specifications with Implicit State. Techn. Report, Univ. Paris-Sud, 1994"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Ehrig, H.: Introduction to the algebraic theory of graph grammars (A Survey) in: Graph Grammars and Their Application to Computer Science and Biology, Springer LNCS 73, (1979), 1\u201369","DOI":"10.1007\/BFb0025714"},{"key":"12_CR8","unstructured":"Ehrich, H.D.: Modular Semantics for Concurrent Families of Sequential Objects, Lecture at ADT-COMPASS Workshop, Santa Margharita Ligure, 1994"},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(93)90062-X","volume":"109","author":"H. Ehrig","year":"1993","unstructured":"Ehrig, H., L\u00f6we, M.: The ESPRIT BRWG COMPUGRAPH \u201cComputing by Graph Transformations\u201d: A Survey. TCS 109 (1993), pp. 3\u20136","journal-title":"TCS"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1. Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science, Vol. 6, Springer (1985)","DOI":"10.1007\/978-3-642-69962-7"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Ehrig, H.; Mahr, B.: Fundamentals of Algebraic Specification 2. Module Specifications and Constraints. EATCS Monographs on Theoretical Computer Science, Vol. 21, Springer-Verlag (1990)","DOI":"10.1007\/978-3-642-61284-8_3"},{"key":"12_CR12","first-page":"162","volume":"53","author":"H. Ehrig","year":"1994","unstructured":"Ehrig, H., Orejas, F.: Dynamic Abstract Data Types: An Informal Proposal, Bull. EATCS 53 (1994), pp. 162\u2013169","journal-title":"Bull. EATCS"},{"key":"12_CR13","unstructured":"Gottlieb, G., Kappel, G., Scheff, M.: Semantics of Object Oriented Data Models \u2014 The Evolving Algebra Approach. Springer LNCS 504 (1992), pp. 144\u2013160"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Gogolla, M.: An Algebraic Semantics for the Object Specification Language TROLL-light. Lecture at ADT-COMPASS Workshop, Santa Margharita Ligure, 1994","DOI":"10.1007\/BFb0014434"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Gro\u00dfe-Rhode, M.: Towards Object-Oriented Algebraic Specifications. Recent Trends in Data Type Specifications, Springer LNCS 534, 1990, pp. 98\u2013116","DOI":"10.1007\/3-540-54496-8_6"},{"key":"12_CR16","volume-title":"Specification of Parallel State Dependent Systems","author":"M. Gro\u00dfe-Rhode","year":"1994","unstructured":"Gro\u00dfe-Rhode, M.: Specification of Parallel State Dependent Systems. TU Berlin, 1994, in preparation"},{"key":"12_CR17","first-page":"264","volume":"43","author":"Y. Gurevitch","year":"1991","unstructured":"Gurevitch, Y.: Evolving Algebras, A Tutorial Introduction. Bull. EATCS 43 (1991), pp. 264\u2013284","journal-title":"Bull. EATCS"},{"key":"12_CR18","unstructured":"Gurevitch, Y.: Evolving Algebra 1993. In Boerger (ed.): Specification and Validation Methods, Oxford University Press, to appear 1994"},{"key":"12_CR19","unstructured":"Heckel, R., M\u00fcller, J., Taentzer, G., Wagner A.: Attributed Graph Transformations with Controlled Application of Rules, Proc. Graph Grammar Workshop, Mallorca 1994, to appear"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Korff, M.: Single Pushout Transformations of Equationally Defined Graph Structures with Applications to Actor Systems. Proc. Graph Grammar Workshop Dagstuhl 1993, Springer LNCS 776, 1994, pp. 234\u2013247","DOI":"10.1007\/3-540-57787-4_15"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"M. L\u00f6we, H. Ehrig: Algebraic Approach to Graph Transformation Based on Single Pushout Derivations, in: 16th Int. Workshop on Graph-Theoretic Concepts in Comp. Sci., Springer LNCS 484, pp. 338\u2013353, 1991.","DOI":"10.1007\/3-540-53832-1_52"},{"key":"12_CR22","first-page":"185","volume-title":"Term Graph Rewriting: Theory and Practice","author":"M. L\u00f6we","year":"1993","unstructured":"L\u00f6we, M., Korff, M., Wagner, A.: An Algebraic Framework for the Transformation of Attributed Graphs. In M.R. Sleep et.al. (eds.) Term Graph Rewriting: Theory and Practice, Wiley, London (1993), pp. 185\u2013199"},{"key":"12_CR23","volume-title":"PhD thesis","author":"M. L\u00f6we","year":"1990","unstructured":"L\u00f6we, M.: Extended Algebraic Graph Transformations, PhD thesis, TU Berlin 1990, short version in TCS 109, pp. 181\u2013224"},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Padberg, J.: Abstract Data Type Semantics for Algebraic High-Level Nets Using Dynamic Abstract Data Types, Proc. Int. Workshop on Quality of Communication Based Systems, Berlin 1994, to appear","DOI":"10.1007\/978-94-011-0187-5_1"},{"key":"12_CR25","doi-asserted-by":"crossref","unstructured":"Pierantonio, A.: Making Static Dynamic: Towards an Axiomatization for Dynamic ADT's. Proc. Int. Workshop on Quality of Communication Based Systems, Berlin 1994, to appear","DOI":"10.1007\/978-94-011-0187-5_2"},{"key":"12_CR26","doi-asserted-by":"crossref","unstructured":"Parisi-Presicce, F., Pierantonio, A.: An Algebraic Approach to Inheritance and Subtyping. Proc. ESEC 1991, Springer LNCS 550, 1991, pp. 364\u2013379","DOI":"10.1007\/3540547428_58"},{"key":"12_CR27","unstructured":"Pierantonio, A., Parisi-Presicce, F.: On the Algebraic Specification of Object Dynamics in Object-Oriented Systems. Lecture at joint COMPASS-ISCORE workshop, Lisbon 1994, paper in preparation 1994"},{"key":"12_CR28","unstructured":"Reichel, H.: An Approach to Object Semantics Based on Terminal Co-Algebras. Special Issue of MSCS, to appear 1994"},{"key":"12_CR29","doi-asserted-by":"crossref","unstructured":"Wagner, E.: On Declarations; Springer LNCS 393, 1989, pp. 261\u2013277","DOI":"10.1007\/3-540-51722-7_15"},{"key":"12_CR30","doi-asserted-by":"crossref","unstructured":"Weber, H., Ehrig, H.: Specification of Concurrently Executable Modules and Distributed Modular Systems. Proc. Workshop Future Trends of Distr. Comp. Systems in the 1990's, HongKong, 1988, pp. 202\u2013215","DOI":"10.1109\/FTDCS.1988.26699"},{"key":"12_CR31","unstructured":"agner, A., Gogolla, M.: Defining Operational Behaviour of Object Specifications by Attributed Graph Transformations. Internal Report, 1994"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Data Type Specification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014431","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T21:26:32Z","timestamp":1683321992000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014431"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540591320","9783540491989"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/bfb0014431","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}