{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:10:59Z","timestamp":1725664259475},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540590712"},{"type":"electronic","value":"9783540491835"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59071-4_36","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:02:33Z","timestamp":1330275753000},"page":"38-50","source":"Crossref","is-referenced-by-count":12,"title":["A declarative approach to graph based modeling"],"prefix":"10.1007","author":[{"given":"J\u00fcrgen","family":"Ebert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelika","family":"Franzke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"4_CR1","unstructured":"Martin Carstensen, J\u00fcrgen Ebert, Andreas Winter. Entity-Relationship-Diagramme und Graphenklassen. to appear as: Fachbericht Informatik 1994. Universit\u00e4t Koblenz 1994."},{"key":"4_CR2","unstructured":"Carla Capellmann, Angelika Franzke. GRAL: Eine Sprache f\u00fcr die graphbasierte Modellierung. Universit\u00e4t Koblenz, Diplomarbeit, 1991."},{"key":"4_CR3","first-page":"417","volume-title":"GraphLog: a Visual Formalism for Real Life Recursion","author":"M. P. Consens","year":"1990","unstructured":"Mariano P. Consens, Alberto O. Mendelzon. GraphLog: a Visual Formalism for Real Life Recursion. In: Proc. 9th Symposium on Principles of Database Systems. New York: ACM Press, 1990, pp. 417\u2013424."},{"key":"4_CR4","first-page":"193","volume-title":"Handbook of Theoretical Computer Science, Vol. B.","author":"B. Courcelle","year":"1990","unstructured":"Bruno Courcelle. Graph rewriting: An algebraic and logic approach. In: Jan van Leeuwen (ed.): Handbook of Theoretical Computer Science, Vol. B. Amsterdam: Elsevier 1990. pp. 193\u2013242."},{"key":"4_CR5","unstructured":"Peter Dahm, J\u00fcrgen Ebert, Christoph Litauer. Das EMS-Graphenlabor. in preparation."},{"key":"4_CR6","unstructured":"Anthony Diller. Z: An Introduction to Formal Methods. Wiley 1990."},{"key":"4_CR7","unstructured":"J\u00fcrgen Ebert, Angelika Franzke. Specification of a Graph Based Data Model for a CASE Tool. Universit\u00e4t Koblenz, Fachbericht Informatik 5\/92"},{"key":"4_CR8","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1145\/214762.214769","volume":"30","author":"J. Ebert","year":"1987","unstructured":"J\u00fcrgen Ebert. A Versatile Data Structure For Edge-Oriented Graph Algorithms. Communications ACM 30 (1987, 6), 513\u2013519.","journal-title":"Communications ACM"},{"key":"4_CR9","first-page":"212","volume-title":"LNCS 910","author":"J. \u00c9bert","year":"1993","unstructured":"J\u00fcrgen \u00c9bert. Efficient Interpretation of State Charts, in: Zolt\u00e1n Esik (Ed.). Fundamentals of Computation Theory (FCT '93), Szeged, Hungary. Berlin: Springer, LNCS 910, 1993, pp. 212\u2013221."},{"key":"4_CR10","unstructured":"J\u00fcrgen Ebert. KOGGE: A Generator for Graphical Design Environments, in preparation."},{"key":"4_CR11","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1145\/128894.128895","volume":"1","author":"G. Engels","year":"1992","unstructured":"Gregor Engels, Claus Lewerentz, Manfred Nagl, Wilhelm Sch\u00e4fer, Andreas Sch\u00fcrr. Building Integrated Software Development Environments. Part I: Tool Specification. ACM Transactions on Software Engineering and Methodology 1 (1992, 2), 135\u2013167.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"4_CR12","first-page":"417","volume-title":"A graph-oriented object database model","author":"M. Gyssens","year":"1990","unstructured":"M. Gyssens, J. Paredaens, D. van Gucht. A graph-oriented object database model. In: Proc. 9th Symposium on Principles of Database Systems. New York: ACM Press, 1990, pp. 417\u2013424."},{"key":"4_CR13","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"David Harel. Statecharts: a Visual Formalism for Complex Systems. Science of Computer Programming 8 (1987, 3), 231\u2013274","journal-title":"Science of Computer Programming"},{"key":"4_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-663-14577-6","volume-title":"Operationales Spezifizieren mit programmierten Graphersetzungssystemen","author":"A. Sch\u00fcrr","year":"1991","unstructured":"Andreas Sch\u00fcrr. Operationales Spezifizieren mit programmierten Graphersetzungssystemen. Wiesbaden: Deutscher Universit\u00e4tsverlag 1991."},{"key":"4_CR15","volume-title":"The Z Notation \u2014 A Reference Manual","author":"J.M. Spivey","year":"1992","unstructured":"J.M. Spivey. The Z Notation \u2014 A Reference Manual. New York: Prentice Hall, 1992."}],"container-title":["Lecture Notes in Computer Science","Graph-Theoretic Concepts in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59071-4_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:22:25Z","timestamp":1619572945000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59071-4_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540590712","9783540491835"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-59071-4_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}