{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,22]],"date-time":"2026-09-22T02:44:15Z","timestamp":1790045055494,"version":"4.0.1"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,6,13]],"date-time":"2011-06-13T00:00:00Z","timestamp":1307923200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,6,13]]},"DOI":"10.1145\/1996461.1996498","type":"proceedings-article","created":{"date-parts":[[2011,6,14]],"date-time":"2011-06-14T14:45:32Z","timestamp":1308062732000},"page":"79-84","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Formalizing model consistency based on the abstract syntax"],"prefix":"10.1145","author":[{"given":"Frank","family":"Trollmann","sequence":"first","affiliation":[{"name":"Technische Universit\u00e4t Berlin, Berlin, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marco","family":"Blumendorf","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Berlin, Berlin, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Veit","family":"Schwartze","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Berlin, Berlin, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sahin","family":"Albayrak","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Berlin, Berlin, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2011,6,13]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"In Workshop on Software Model Engineering, WISME 2004, joint event with UML2004(2004","author":"Favre J. M.","unstructured":"Favre , J. M. , Towards a basic theory to model model driven engineering , in In Workshop on Software Model Engineering, WISME 2004, joint event with UML2004(2004 . Favre, J. M., Towards a basic theory to model model driven engineering, in In Workshop on Software Model Engineering, WISME 2004, joint event with UML2004(2004."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1367148.1367358"},{"key":"e_1_3_2_1_3_1","volume-title":"CADUI","author":"Limbourg Q.","year":"2005","unstructured":"Limbourg , Q. , Vanderdonckt , J , Transformational Development of User Interfaces with Graph Transformations , in CADUI ( 2005 ), Kluwer , 104--11. Limbourg, Q., Vanderdonckt, J, Transformational Development of User Interfaces with Graph Transformations, in CADUI (2005), Kluwer, 104--11."},{"key":"e_1_3_2_1_4_1","volume-title":"ICGT","author":"Ehrig H","year":"2004","unstructured":"Ehrig , H , Prange , U , Taentzer , G. , Fundamental Theory for Typed Attributed Graph Transformation , in ICGT ( Berlin , 2004 ), Springer berlin \/ Heidelberg, 161--17. Ehrig, H, Prange, U, Taentzer, G., Fundamental Theory for Typed Attributed Graph Transformation, in ICGT (Berlin, 2004), Springer berlin \/ Heidelberg, 161--17."},{"key":"e_1_3_2_1_5_1","first-page":"135","article-title":"From Graphs to High-Level Structures","volume":"74","author":"Ehrig H.","year":"2006","unstructured":"Ehrig , H. , Ehrig , K. , Habel , A. , Pennemann , K. , Theory of Constraints and Application Conditions : From Graphs to High-Level Structures , in Fundam. Inf. 74 (Amsterdam, 2006 ), IOS Press 135 -- 116 . Ehrig, H., Ehrig, K., Habel, A., Pennemann, K., Theory of Constraints and Application Conditions: From Graphs to High-Level Structures, in Fundam. Inf. 74 (Amsterdam, 2006), IOS Press 135--16.","journal-title":"Fundam. Inf."},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science","author":"Sch\u00fcrr A.","year":"1995","unstructured":"Sch\u00fcrr , A. , Specification of Graph Translators with Triple Graph Grammars , in Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science ( London , 1995 ), Springer-Verlag, 151--16. Sch\u00fcrr, A., Specification of Graph Translators with Triple Graph Grammars, in Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science (London, 1995), Springer-Verlag, 151--16."},{"key":"e_1_3_2_1_7_1","volume-title":"Graph Transformations (Berlin","author":"Brandt C.","year":"2010","unstructured":"Brandt , C. , Hermann , F. , How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation? , in Graph Transformations (Berlin , 2010 ), Springer Berlin \/ Heidelberg , 3--2. Brandt, C., Hermann, F., How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation?, in Graph Transformations (Berlin, 2010), Springer Berlin \/ Heidelberg, 3--2."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASEA.2008.40"},{"key":"e_1_3_2_1_9_1","volume-title":"In Proceedings of International Conference on Software Engineering","author":"Easterbrook S.","year":"2001","unstructured":"Easterbrook , S. , Chechik , M., A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints , in In Proceedings of International Conference on Software Engineering ( 2001 ), IEEE Computer Society Press, 411--42. Easterbrook, S., Chechik, M., A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints, in In Proceedings of International Conference on Software Engineering (2001), IEEE Computer Society Press, 411--42."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02050-6_8"},{"key":"e_1_3_2_1_11_1","volume-title":"15th IEEE International Requirements Engineering Conference (RE 2007)","author":"Sabetzadeh M.","year":"2007","unstructured":"Sabetzadeh , M. , Nejati , S. , Liaskos , S. , Easterbrook , S. , Chechik , M. , Consistency Checking of Conceptual Models via Model Merging , in 15th IEEE International Requirements Engineering Conference (RE 2007) ( 2007 ), IEEE, 221--23. Sabetzadeh, M., Nejati, S., Liaskos, S., Easterbrook, S., Chechik, M., Consistency Checking of Conceptual Models via Model Merging, in 15th IEEE International Requirements Engineering Conference (RE 2007) (2007), IEEE, 221--23."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368208"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJCAT.2008.017716"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368158"}],"event":{"name":"EICS '11: ACM SIGCHI Symposium on Engineering Interactive Computing Systems","location":"Pisa Italy","acronym":"EICS '11","sponsor":["SIGCHI ACM Special Interest Group on Computer-Human Interaction"]},"container-title":["Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1996461.1996498","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1996461.1996498","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:05:56Z","timestamp":1750244756000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1996461.1996498"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6,13]]},"references-count":14,"alternative-id":["10.1145\/1996461.1996498","10.1145\/1996461"],"URL":"https:\/\/doi.org\/10.1145\/1996461.1996498","relation":{},"subject":[],"published":{"date-parts":[[2011,6,13]]},"assertion":[{"value":"2011-06-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}