{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T01:17:40Z","timestamp":1742951860898,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030452339"},{"type":"electronic","value":"9783030452346"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-45234-6_16","type":"book-chapter","created":{"date-parts":[[2020,4,20]],"date-time":"2020-04-20T14:04:23Z","timestamp":1587391463000},"page":"315-334","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming"],"prefix":"10.1007","author":[{"given":"Nils","family":"Weidmann","sequence":"first","affiliation":[]},{"given":"Anthony","family":"Anjorin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,4,17]]},"reference":[{"key":"16_CR1","doi-asserted-by":"publisher","unstructured":"Anjorin, A., Buchmann, T., Westfechtel, B., Diskin, Z., Ko, H.S., Eramo, R.,Hinkel, G., Samimi-Dehkordi, L., Z\u00fcndorf, A.: Benchmarking bidirectional transformations: theory, implementation, application, and assessment. Software and Systems Modeling (Sep 2019). \nhttps:\/\/doi.org\/10.1007\/s10270-019-00752-x","DOI":"10.1007\/s10270-019-00752-x"},{"key":"16_CR2","unstructured":"Anjorin, A., Leblebici, E., Sch\u00fcrr, A.: 20 Years of Triple Graph Grammars: A Roadmap for Future Research. ECEASST 73 (2015)"},{"key":"16_CR3","doi-asserted-by":"publisher","unstructured":"Anjorin, A., Sch\u00fcrr, A., Taentzer, G.: Construction of integrity preserving triple graph grammars. In: Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg,G. (eds.) ICGT 2012. Springer, Berlin, Heidelberg (2012). \nhttps:\/\/doi.org\/10.1007\/978-3-642-33654-6_24","DOI":"10.1007\/978-3-642-33654-6_24"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Anjorin, A., Yigitbas, E., Leblebici, E., Sch\u00fcrr, A., Lauder, M., Witte, M.: Description Languages for Consistency Management Scenarios Based on Examples from the Industry Automation Domain. Programming Journal 2(3), \u00a07 (2018)","DOI":"10.22152\/programming-journal.org\/2018\/2\/7"},{"key":"16_CR5","doi-asserted-by":"publisher","unstructured":"Callow, G., Kalawsky, R.: A Satisficing Bi-Directional Model Transformation Engine using Mixed Integer Linear Programming. Journal of Object Technology 12(1), 1:1\u201343 (2013). \nhttps:\/\/doi.org\/10.5381\/jot.2013.12.1.a1","DOI":"10.5381\/jot.2013.12.1.a1"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Cheney, J., Gibbons, J., McKinna, J., Stevens, P.: On principles of least change and least surprise for bidirectional transformations. Journal of Object Technology 16(1), 3:1\u201331 (2017).","DOI":"10.5381\/jot.2017.16.1.a3"},{"key":"16_CR7","doi-asserted-by":"publisher","unstructured":"Denil, J., Jukss, M., Verbrugge, C., Vangheluwe, H.: Search-Based Model Optimization Using Model Transformations. In: Amyot, D., Fonseca\u00a0i Casas,P., Mussbacher, G. (eds.) SAM 2014. Springer, Cham (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-319-11743-0_6","DOI":"10.1007\/978-3-319-11743-0_6"},{"key":"16_CR8","unstructured":"Ehrig, H., Ehrig, K., Ermel, C., Hermann, F., Taentzer, G.: Information Preserving Bidirectional Model Transformations. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. Springer (2007)"},{"key":"16_CR9","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer-Verlag Berlin Heidelberg (2006)"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Hermann, F., Sartorius, C.: Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions. ECEASST 18 (2009).","DOI":"10.1007\/978-3-642-04425-0_18"},{"key":"16_CR11","unstructured":"Eramo, R., Pierantonio, A., Tucci, M.: Enhancing the JTL tool for bidirectional transformations. In: Marr, S., Sartor, J.B. (eds.) Programming 2018, Nice, France, April 09\u201312, 2018. ACM (2018)."},{"key":"16_CR12","doi-asserted-by":"publisher","unstructured":"Fleck, M., Troya, J., Wimmer, M.: Search-Based Model Transformations with MOMoT. In: Van\u00a0Gorp, P., Engels, G. (eds.) ICMT 2016. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-42064-6_6","DOI":"10.1007\/978-3-319-42064-6_6"},{"key":"16_CR13","unstructured":"Golas, U., Ehrig, H., Hermann, F.: Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions. ECEASST 39 (2011)"},{"key":"16_CR14","unstructured":"Horn, T.: Solving the TTC Families to Persons Case with Funny QT. In: Garc\u00eda-Dom\u00ednguez, A., Hinkel, G., Krikava, F. (eds.) TTC 2017. CEUR Workshop Proceedings, vol. 2026. CEUR-WS.org (2017)."},{"key":"16_CR15","doi-asserted-by":"publisher","unstructured":"Kessentini, M., Sahraoui, H., Boukadoum, M.: Model Transformation as an Optimization Problem. In: Czarnecki, K., Ober, I., Bruel, J.M., Uhl, A.,V\u00f6lter, M. (eds.) MoDELS 2008. Springer, Berlin, Heidelberg (2008). \nhttps:\/\/doi.org\/10.1007\/978-3-540-87875-9_12","DOI":"10.1007\/978-3-540-87875-9_12"},{"key":"16_CR16","doi-asserted-by":"publisher","unstructured":"Klar, F., Lauder, M., K\u00f6nigs, A., Sch\u00fcrr, A.: Extended Triple Graph Grammars with Efficient and Compatible Graph Translators, pp. 141\u2013174. Springer, Berlin, Heidelberg (2010). \nhttps:\/\/doi.org\/10.1007\/978-3-642-17322-6_8","DOI":"10.1007\/978-3-642-17322-6_8"},{"key":"16_CR17","unstructured":"Leblebici, E.: Towards a graph grammar-based approach to inter-model consistency checks with traceability support. In: Anjorin, A., Gibbons, J. (eds.) Bx 2016. CEUR-WS.org (2016)."},{"key":"16_CR18","unstructured":"Leblebici, E.: Inter-Model Consistency Checking and Restoration with Triple Graph Grammars. Ph.D. thesis, Darmstadt University of Technology, Germany (2018)."},{"key":"16_CR19","unstructured":"Leblebici, E., Anjorin, A., Fritsche, L., Varr\u00f3, G., Sch\u00fcrr, A.:Leveraging incremental pattern matching techniques for model synchronisation. In: de\u00a0Lara, J., Plump, D. (eds.) ICGT 2017, Marburg, Germany, July 18-19,2017, Proceedings (2017)"},{"key":"16_CR20","doi-asserted-by":"publisher","unstructured":"Leblebici, E., Anjorin, A., Sch\u00fcrr, A.: Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques. In: Huisman, M., Rubin, J. (eds.) FASE 2017. Springer, Berlin, Heidelberg (2017).\nhttps:\/\/doi.org\/10.1007\/978-3-662-54494-5_11","DOI":"10.1007\/978-3-662-54494-5_11"},{"key":"16_CR21","doi-asserted-by":"publisher","unstructured":"Macedo, N., Cunha, A.: Implementing QVT-R Bidirectional Model Transformations Using Alloy. In: Cortellessa, V., Varr\u00f3, D. (eds.) FASE 2013. Springer, Berlin, Heidelberg (2013). \nhttps:\/\/doi.org\/10.1007\/978-3-642-37057-1_22","DOI":"10.1007\/978-3-642-37057-1_22"},{"key":"16_CR22","unstructured":"Nierstrasz, O., Gray, J., d. S. Oliveira, B.C. (eds.): SLE 2019, Athens, Greece, October 20\u201322, 2019, Proceedings. ACM (2019)."},{"key":"16_CR23","unstructured":"Syriani, E., Vangheluwe, H., Lashomb, B.: T-Core: A Framework for Custom-built Model Transformation Engines. Softw. Syst. Model. 14(3),1215\u20131243 (2015)"},{"key":"16_CR24","doi-asserted-by":"publisher","unstructured":"Weidmann, N., Anjorin, A., Leblebici, E., Sch\u00fcrr, A.: Consistency management via a combination of triple graph grammars and linear programming. In: Nierstrasz et\u00a0al. [22], pp. 29\u201341. \nhttps:\/\/doi.org\/10.1145\/3357766.3359544","DOI":"10.1145\/3357766.3359544"},{"key":"16_CR25","doi-asserted-by":"publisher","unstructured":"Weidmann, N., Oppermann, R., Robrecht, P.: A feature-based classification of triple graph grammar variants. In: Nierstrasz et\u00a0al. [22], pp. 1\u201314. \nhttps:\/\/doi.org\/10.1145\/3357766.3359529","DOI":"10.1145\/3357766.3359529"},{"key":"16_CR26","unstructured":"Xiong, Y., Hu, Z., Zhao, H., Song, H., Takeichi, M., Mei, H.: Supporting automatic model inconsistency fixing. In: van Vliet, H., Issarny, V. (eds.) Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24\u201328, 2009. pp. 315\u2013324. ACM (2009)."}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-45234-6_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,11]],"date-time":"2020-08-11T12:20:06Z","timestamp":1597148406000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-45234-6_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030452339","9783030452346"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-45234-6_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"17 April 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FASE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Fundamental Approaches to Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Dublin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Ireland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 April 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 April 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fase2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.etaps.org\/2020\/fase","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"81","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"23","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"28% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"9","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The conference could not take place due to the COVID-19 pandemic. There was an online event on July 2, 2020.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}