{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T19:15:12Z","timestamp":1790968512155,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540254201","type":"print"},{"value":"9783540319849","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31984-9_6","type":"book-chapter","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T14:26:18Z","timestamp":1279031178000},"page":"64-79","source":"Crossref","is-referenced-by-count":35,"title":["Ensuring Structural Constraints in Graph-Based Models with Type Inheritance"],"prefix":"10.1007","author":[{"given":"Gabriele","family":"Taentzer","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Arend","family":"Rensink","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Bardohl, R., Ehrig, H., de Lara, J., Runge, O., Taentzer, G., Weinhold, I.: Node Type Inheritance Concepts for Typed Graph Transformation. Technical Report 2003\u201319, Technical University Berlin, Dept. of Computer Science (November 2003)"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-540-24721-0_16","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Bardohl","year":"2004","unstructured":"Bardohl, R., Ehrig, H., de Lara, J., Taentzer, G.: Integrating meta-modelling aspects with\u00a0graph\u00a0transformation\u00a0for\u00a0efficient visual language definition and model manipulation. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol.\u00a02984, pp. 214\u2013228. Springer, Heidelberg (2004)"},{"key":"6_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1007\/3-540-48050-1_54","volume-title":"Foundations of Intelligent Systems","author":"A. Cal\u0152","year":"2002","unstructured":"Cal\u0152, A., Calvanese, D., De Giacomo, G., Lenzerini, M.: A formal framework for reasoning on UML class diagrams. In: Hacid, M.-S., Ra\u015b, Z.W., Zighed, D.A., Kodratoff, Y. (eds.) ISMIS 2002. LNCS (LNAI), vol.\u00a02366, pp. 503\u2013513. Springer, Heidelberg (2002)"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Corradini, A., Dotti, F.L., Foss, L., Ribeiro, L.: Translating Java into graph transformation systems. In: Ehrig, H., et al. (eds.) [7], pp. 383\u2013389","DOI":"10.1007\/978-3-540-30203-2_27"},{"issue":"3,4","key":"6_CR5","doi-asserted-by":"crossref","first-page":"241","DOI":"10.3233\/FI-1996-263402","volume":"26","author":"A. Corradini","year":"1996","unstructured":"Corradini, A., Montanari, U., Rossi, F.: Graph Processes. Special Issue of Fundamenta Informaticae\u00a026(3,4), 241\u2013266 (1996)","journal-title":"Special Issue of Fundamenta Informaticae"},{"key":"6_CR6","unstructured":"Ehrig, H., Ehrig, K., Habel, A., Pennemann, K.-H.: Constraints and application conditions: From graphs to high-level structures. In: Ehrig, H., et al. (eds.) [7]"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Second International Conference on Graph Transformation (ICGT)","year":"2004","unstructured":"Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.): ICGT 2004. LNCS, vol.\u00a03256. Springer, Heidelberg (2004)"},{"key":"6_CR8","unstructured":"Habel, A.: Private communication (2004)"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Heckel, R., Wagner, A.: Ensuring Consistency of Conditional Graph Grammars \u2013 A constructive Approach. In: Proc. of SEGRAGRA 1995 Graph Rewriting and Computation, Electronic Notes of TCS\u00a02 (1995), http:\/\/www.elsevier.nl\/locate\/entcs\/volume2.html","DOI":"10.1016\/S1571-0661(05)80188-4"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/3-540-45832-8_22","volume-title":"Graph Transformation","author":"T. Mens","year":"2002","unstructured":"Mens, T., Demeyer, S., Janssens, D.: Formalising behaviour preserving program transformations. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol.\u00a02505, pp. 286\u2013301. Springer, Heidelberg (2002)"},{"key":"6_CR11","unstructured":"OMG.: MDA, MOF, UML and OCL specifications. OMG (2004), at the OMG web page: http:\/\/www.omg.org\/"},{"key":"6_CR12","unstructured":"pUML. The precise UML group (2004), http:\/\/www.puml.org\/"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Rensink, A.: Representing first-order logic using graphs. In: Ehrig, H., et al. (eds.) [7], pp. 319\u2013335","DOI":"10.1007\/978-3-540-30203-2_23"},{"key":"6_CR14","first-page":"1","volume":"1","author":"D. Varr\u00f3","year":"2003","unstructured":"Varr\u00f3, D., Pataricza, A.: VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML. Journal of Software and Systems Modelling\u00a01, 1\u201324 (2003)","journal-title":"Journal of Software and Systems Modelling"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31984-9_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:33:05Z","timestamp":1605760385000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31984-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540254201","9783540319849"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31984-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}