{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:49:31Z","timestamp":1742914171371,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030236106"},{"type":"electronic","value":"9783030236113"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","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":[[2019]]},"DOI":"10.1007\/978-3-030-23611-3_12","type":"book-chapter","created":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T01:04:09Z","timestamp":1561943049000},"page":"195-211","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["From Pattern Invocation Networks to Rule Preconditions"],"prefix":"10.1007","author":[{"given":"Nils","family":"Weidmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anthony","family":"Anjorin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florian","family":"Stolte","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florian","family":"Kraus","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,6,25]]},"reference":[{"key":"12_CR1","unstructured":"Anjorin, A., Buchmann, T., Westfechtel, B.: The families to persons case. In: TTC 2017, Marburg, Germany, 21 July 2017, pp. 27\u201334 (2017)"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Bang, J.Y., et al.: CoDesign: a highly extensible collaborative software modeling framework. In: ICSE 2010, pp. 243\u2013246. IEEE (2010)","DOI":"10.1145\/1810295.1810341"},{"key":"12_CR3","unstructured":"Bergmann, G.: Incremental model queries in model-driven design. Ph.D. thesis, Budapest University of Technology and Economics, Budapest, October 2013. http:\/\/home.mit.bme.hu\/bergmann\/download\/phd-thesis-bergmann.pdf. Accessed 16 Nov 2018"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1007\/978-3-540-87405-8_27","volume-title":"Graph Transformations","author":"G Bergmann","year":"2008","unstructured":"Bergmann, G., Horv\u00e1th, \u00c1., R\u00e1th, I., Varr\u00f3, D.: A benchmark evaluation of incremental pattern matching in graph transformation. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol. 5214, pp. 396\u2013410. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-87405-8_27"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Bergmann, G., \u00d6kr\u00f6s, A., R\u00e1th, I., Varr\u00f3, D., Varr\u00f3, G.: Incremental pattern matching in the VIATRA model transformation system. In: GRaMoT 2008, pp. 25\u201332. ACM, New York (2008)","DOI":"10.1145\/1402947.1402953"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-319-40530-8_11","volume-title":"Graph Transformation","author":"T Beyhl","year":"2016","unstructured":"Beyhl, T., Blouin, D., Giese, H., Lambers, L.: On the operationalization of graph queries with generalized discrimination networks. In: Echahed, R., Minas, M. (eds.) ICGT 2016. LNCS, vol. 9761, pp. 170\u2013186. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-40530-8_11"},{"key":"12_CR7","series-title":"Monographs in Theoretical Computer Science. An EATCS Series","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-31188-2","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. MTCSAES. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/3-540-31188-2"},{"key":"12_CR8","unstructured":"Garz\u00f3n, M.A., Lethbridge, T.C., Aljamaan, H., Badreddin, O.: Reverse engineering of object-oriented code into Umple using an incremental and rule-based approach. In: CASCON 2014, pp. 91\u2013105. IBM Corp., Riverton (2014)"},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1007\/978-3-642-15928-2_23","volume-title":"Graph Transformations","author":"U Golas","year":"2010","unstructured":"Golas, U., Ehrig, H., Habel, A.: Multi-amalgamation in adhesive categories. In: Ehrig, H., Rensink, A., Rozenberg, G., Sch\u00fcrr, A. (eds.) ICGT 2010. LNCS, vol. 6372, pp. 346\u2013361. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15928-2_23"},{"issue":"2","key":"12_CR10","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1017\/S0960129508007202","volume":"19","author":"A Habel","year":"2009","unstructured":"Habel, A., Pennemann, K.H.: Correctness of high-level transformation systems relative to nested conditions. Math. Struct. Comput. Sci. 19(2), 245\u2013296 (2009)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"2","key":"12_CR11","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1109\/69.991716","volume":"14","author":"EN Hanson","year":"2002","unstructured":"Hanson, E.N., Bodagala, S., Chadaga, U.: Trigger condition testing and view maintenance using optimized discrimination networks. IEEE Trans. Knowl. Data Eng. 14(2), 261\u2013280 (2002)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"issue":"4","key":"12_CR12","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/s10485-006-9024-9","volume":"14","author":"M H\u00e9bert","year":"2006","unstructured":"H\u00e9bert, M.: $$\\lambda $$-presentable morphisms, injectivity and (weak) factorization systems. Appl. Categ. Struct. 14(4), 273\u2013289 (2006). https:\/\/doi.org\/10.1007\/s10485-006-9024-9","journal-title":"Appl. Categ. Struct."},{"issue":"3\u20134","key":"12_CR13","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/s10009-010-0149-7","volume":"12","author":"A Horv\u00e1th","year":"2010","unstructured":"Horv\u00e1th, A., Bergmann, G., R\u00e1th, I., Varr\u00f3, D.: Experimental assessment of combining pattern matching strategies with VIATRA2. Int. J. Softw. Tools Technol. Transf. 12(3\u20134), 211\u2013230 (2010)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-642-41533-3_11","volume-title":"Model-Driven Engineering Languages and Systems","author":"T Kuschke","year":"2013","unstructured":"Kuschke, T., M\u00e4der, P., Rempel, P.: Recommending auto-completions for software modeling activities. In: Moreira, A., Sch\u00e4tz, B., Gray, J., Vallecillo, A., Clarke, P. (eds.) MODELS 2013. LNCS, vol. 8107, pp. 170\u2013186. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-41533-3_11"},{"key":"12_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-319-61470-0_11","volume-title":"Graph Transformation","author":"E Leblebici","year":"2017","unstructured":"Leblebici, E., Anjorin, A., Fritsche, L., Varr\u00f3, G., Sch\u00fcrr, A.: Leveraging incremental pattern matching techniques for model synchronisation. In: de Lara, J., Plump, D. (eds.) ICGT 2017. LNCS, vol. 10373, pp. 179\u2013195. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-61470-0_11"},{"key":"12_CR16","unstructured":"Leblebici, E., Anjorin, A., Sch\u00fcrr, A., Hildebrandt, S., Rieke, J., Greenyer, J.: A comparison of incremental triple graph grammar tools. In: ECEASST 67 (2014)"},{"issue":"3","key":"12_CR17","doi-asserted-by":"publisher","first-page":"609","DOI":"10.1007\/s10270-016-0530-4","volume":"15","author":"D Varr\u00f3","year":"2016","unstructured":"Varr\u00f3, D., Bergmann, G., Heged\u00fcs, \u00c1., Horv\u00e1th, \u00c1., R\u00e1th, I., Ujhelyi, Z.: Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework. Softw. Syst. Model. 15(3), 609\u2013629 (2016)","journal-title":"Softw. Syst. Model."},{"key":"12_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-642-38883-5_13","volume-title":"Theory and Practice of Model Transformations","author":"G Varr\u00f3","year":"2013","unstructured":"Varr\u00f3, G., Deckwerth, F.: A rete network construction algorithm for incremental pattern matching. In: Duddy, K., Kappel, G. (eds.) ICMT 2013. LNCS, vol. 7909, pp. 125\u2013140. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38883-5_13"},{"key":"12_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"456","DOI":"10.1007\/978-3-540-89020-1_31","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"G Varr\u00f3","year":"2008","unstructured":"Varr\u00f3, G., Horv\u00e1th, \u00c1., Varr\u00f3, D.: Recursive graph pattern matching. In: Sch\u00fcrr, A., Nagl, M., Z\u00fcndorf, A. (eds.) AGTIVE 2007. LNCS, vol. 5088, pp. 456\u2013470. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-89020-1_31"},{"key":"12_CR20","unstructured":"Wang, S., Morin, B., Roman, D., Berre, A.J.: A semi-automatic transformation approach for semantic interoperability. In: NATO Symposium and Workshop on Semantic & Domain Based Interoperability (2011)"}],"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-030-23611-3_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T11:22:44Z","timestamp":1709810564000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-23611-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030236106","9783030236113"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-23611-3_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"25 June 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICGT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Graph Transformation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Eindhoven","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 July 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 July 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icgt2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sites.google.com\/site\/icgt2019\/home","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-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":"22","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":"13","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":"59% - 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":"4","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)"}}]}}