{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T18:07:05Z","timestamp":1769969225713,"version":"3.49.0"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319614694","type":"print"},{"value":"9783319614700","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-61470-0_3","type":"book-chapter","created":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T09:54:59Z","timestamp":1497952499000},"page":"36-53","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Bellet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Agn\u00e8s","family":"Arnould","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hakim","family":"Belhaouari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascale","family":"Le Gall","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,21]]},"reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-319-09108-2_18","volume-title":"Graph Transformation","author":"H Belhaouari","year":"2014","unstructured":"Belhaouari, H., Arnould, A., Gall, P., Bellet, T.: Jerboa: a graph transformation library for topology-based geometric modeling. In: Giese, H., K\u00f6nig, B. (eds.) ICGT 2014. LNCS, vol. 8571, pp. 269\u2013284. Springer, Cham (2014). doi:10.1007\/978-3-319-09108-2_18"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Bellet, T., Arnould, A., Belhaouari, H., Le Gall, P.: Geometric modeling: consistency preservation using two-layered variable substitutions (extended version). Research report (2017). https:\/\/hal.archives-ouvertes.fr\/hal-01509832","DOI":"10.1007\/978-3-319-61470-0_3"},{"key":"3_CR3","unstructured":"Bellet, T., Arnould, A., Le Gall, P.: Rule-based transformations for geometric modeling. In: 6th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2011), Part of ETAPS, Saarbr\u00fccken (2011)"},{"key":"3_CR4","unstructured":"Bellet, T., Arnould, A., Le Gall, P.: Constraint-preserving labeled graph transformations for topology-based geometric modeling. Research report (2017). https:\/\/hal.archives-ouvertes.fr\/hal-01476860"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Bellet, T., Poudret, M., Arnould, A., Fuchs, L., Le Gall, P.: Designing a topological modeler kernel: a rule-based approach. In: Shape Modeling International Conference (SMI), Aix-en-Provence, pp. 100\u2013112 (2010)","DOI":"10.1109\/SMI.2010.31"},{"issue":"6","key":"3_CR6","first-page":"747","volume":"31","author":"E Bohl","year":"2015","unstructured":"Bohl, E., Terraz, O., Ghazanfarpour, D.: Modeling fruits and their internal structure using parametric 3Gmap L-systems. Vis. Comput. 31(6), 747\u2013751 (2015)","journal-title":"Vis. Comput."},{"key":"3_CR7","doi-asserted-by":"publisher","DOI":"10.1201\/b17403","volume-title":"Combinatorial Maps: Efficient Data Structures for Computer Graphics and Image Processing","author":"G Damiand","year":"2014","unstructured":"Damiand, G., Lienhardt, P.: Combinatorial Maps: Efficient Data Structures for Computer Graphics and Image Processing. CRC Press, Boca Raton (2014)"},{"key":"3_CR8","series-title":"Monographs on Theoretical Computer Science","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"H Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Monographs on Theoretical Computer Science. Springer, Heidelberg (2006)"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/3-540-45832-8_12","volume-title":"Graph Transformation","author":"A Habel","year":"2002","unstructured":"Habel, A., Plump, D.: Relabelling in graph transformation. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, pp. 135\u2013147. Springer, Heidelberg (2002). doi:10.1007\/3-540-45832-8_12"},{"key":"3_CR10","unstructured":"Habel, A., Radke, H.: Expressiveness of graph conditions with variables. Electron. Commun. EASST 30 (2010)"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/978-3-540-31847-7_6","volume-title":"Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday","author":"B Hoffmann","year":"2005","unstructured":"Hoffmann, B.: Graph transformation with variables. In: Kreowski, H.-J., Montanari, U., Orejas, F., Rozenberg, G., Taentzer, G. (eds.) Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday. LNCS, vol. 3393, pp. 101\u2013115. Springer, Heidelberg (2005). doi:10.1007\/978-3-540-31847-7_6"},{"key":"3_CR12","unstructured":"Hoffmann, B.: More on graph rewriting with contextual refinement. In: Echahed, R., Habel, A., Mosbah, M. (eds.) Graph Computation Models Selected Revised Papers from GCM 2014, vol. 71. Electronic Communications of the EASST (2015)"},{"key":"3_CR13","unstructured":"Hoffmann, B., Jakumeit, E., Gei\u00df, R.: Graph rewrite rules with structural recursion. In: Mosbah, M., Habel, A. (eds.) 2nd International Workshop on Graph Computational Models (GCM 2008), pp. 5\u201316 (2008)"},{"key":"3_CR14","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.scico.2013.10.009","volume":"85","author":"E Jakumeit","year":"2014","unstructured":"Jakumeit, E., Buchwald, S., Wagelaar, D., Dan, L., Heged\u00fcs, \u00c1., Herrmannsd\u00f6rfer, M., Horn, T., et al.: A survey and comparison of transformation tools based on the transformation tool contest. Sci. Comput. Program. 85, 41\u201399 (2014)","journal-title":"Sci. Comput. Program."},{"key":"3_CR15","doi-asserted-by":"publisher","first-page":"614","DOI":"10.1145\/1141911.1141931","volume":"25","author":"P M\u00fcller","year":"2006","unstructured":"M\u00fcller, P., Wonka, P., Haegler, S., Ulmer, A., Van Gool, L.: Procedural modeling of buildings. ACM Trans. Graph. (TOG) 25, 614\u2013623 (2006)","journal-title":"ACM Trans. Graph. (TOG)"},{"key":"3_CR16","unstructured":"Orejas, F., Lambers, L.: Symbolic attributed graphs for attributed graph transformation. Electron. Commun. EASST 30 (2010)"},{"issue":"1\u20132","key":"3_CR17","doi-asserted-by":"crossref","first-page":"65","DOI":"10.3233\/FI-2012-706","volume":"118","author":"F Orejas","year":"2012","unstructured":"Orejas, F., Lambers, L.: Lazy graph transformation. Fundamenta Informaticae 118(1\u20132), 65\u201396 (2012)","journal-title":"Fundamenta Informaticae"},{"issue":"3\u20134","key":"3_CR18","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/s10009-010-0153-y","volume":"12","author":"J P\u00e9rez","year":"2010","unstructured":"P\u00e9rez, J., Crespo, Y., Hoffmann, B., Mens, T.: A case study to evaluate the suitability of graph transformation tools for program refactoring. Int. J. Softw. Tools Technol. Transf. 12(3\u20134), 183\u2013199 (2010)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-540-87405-8_11","volume-title":"Graph Transformations","author":"M Poudret","year":"2008","unstructured":"Poudret, M., Arnould, A., Comet, J.-P., Gall, P.: Graph transformation for topology modelling. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol. 5214, pp. 147\u2013161. Springer, Heidelberg (2008). doi:10.1007\/978-3-540-87405-8_11"}],"container-title":["Lecture Notes in Computer Science","Graph Transformation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-61470-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T10:51:26Z","timestamp":1710327086000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-61470-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319614694","9783319614700"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61470-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"21 June 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}