{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T04:42:02Z","timestamp":1743050522911,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030110291"},{"type":"electronic","value":"9783030110307"}],"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-11030-7_13","type":"book-chapter","created":{"date-parts":[[2019,1,31]],"date-time":"2019-01-31T04:13:06Z","timestamp":1548907986000},"page":"284-307","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Analysis and Evaluation of Conformance Preserving Graph Transformation Rules"],"prefix":"10.1007","author":[{"given":"Fazle","family":"Rabbi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yngve","family":"Lamo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lars Michael","family":"Kristensen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,2,1]]},"reference":[{"key":"13_CR1","unstructured":"Analysis of conformance preserving transformation rule (2018). \n                  https:\/\/github.com\/fazlRabbi\/ConformanceTxRule"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-642-16145-2_9","volume-title":"Model Driven Engineering Languages and Systems","author":"T Arendt","year":"2010","unstructured":"Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: advanced concepts and tools for in-place EMF model transformations. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010. LNCS, vol. 6394, pp. 121\u2013135. Springer, Heidelberg (2010). \n                  https:\/\/doi.org\/10.1007\/978-3-642-16145-2_9"},{"issue":"4","key":"13_CR3","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1093\/arclin\/acs039","volume":"27","author":"AK Artemiadis","year":"2012","unstructured":"Artemiadis, A.K., Vervainioti, A.A., Alexopoulos, E., Rombos, A., Anagnostouli, M.C., Darviri, C.: Stress management and multiple sclerosis: a randomized controlled trial. Arch. Clin. Neuropsychol.: Off. J. Nat. Acad. Neuropsychol. 27(4), 406\u201316 (2012)","journal-title":"Arch. Clin. Neuropsychol.: Off. J. Nat. Acad. Neuropsychol."},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/11841883_22","volume-title":"Graph Transformations","author":"L Baresi","year":"2006","unstructured":"Baresi, L., Spoletini, P.: On the use of alloy to analyze graph transformation systems. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 306\u2013320. Springer, Heidelberg (2006). \n                  https:\/\/doi.org\/10.1007\/11841883_22"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Becker, B., Beyer, D., Giese, H., Klein, F., Schilling, D.: Symbolic invariant verification for systems with dynamic structural adaptation. In: Proceedings of the 28th International Conference on Software Engineering, ICSE 2006, pp. 72\u201381. ACM, New York (2006)","DOI":"10.1145\/1134285.1134297"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-662-44602-7_15","volume-title":"Theoretical Computer Science","author":"HJS Bruggink","year":"2014","unstructured":"Bruggink, H.J.S., K\u00f6nig, B., Zantema, H.: Termination analysis for graph transformation systems. In: Diaz, J., Lanese, I., Sangiorgi, D. (eds.) TCS 2014. LNCS, vol. 8705, pp. 179\u2013194. Springer, Heidelberg (2014). \n                  https:\/\/doi.org\/10.1007\/978-3-662-44602-7_15"},{"issue":"4","key":"13_CR7","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1016\/j.scico.2010.02.006","volume":"77","author":"SA Costa da","year":"2012","unstructured":"da Costa, S.A., Ribeiro, L.: Verification of graph grammars using a logical approach. Sci. Comput. Program. 77(4), 480\u2013504 (2012)","journal-title":"Sci. Comput. Program."},{"issue":"6","key":"13_CR8","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/j.entcs.2008.10.041","volume":"203","author":"Z Diskin","year":"2008","unstructured":"Diskin, Z., Wolter, U.: A diagrammatic logic for object-oriented visual modeling. Electron. Notes Theor. Comput. Sci. 203(6), 19\u201341 (2008). Proceedings of the 2nd Workshop on Applied and Computational Category Theory (ACCAT 2007)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/978-3-319-21145-9_15","volume-title":"Graph Transformation","author":"J Dyck","year":"2015","unstructured":"Dyck, J., Giese, H.: Inductive invariant checking with partial negative application conditions. In: Parisi-Presicce, F., Westfechtel, B. (eds.) ICGT 2015. LNCS, vol. 9151, pp. 237\u2013253. Springer, Cham (2015). \n                  https:\/\/doi.org\/10.1007\/978-3-319-21145-9_15"},{"key":"13_CR10","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). \n                  https:\/\/doi.org\/10.1007\/3-540-31188-2"},{"key":"13_CR11","unstructured":"Graphviz: Graph visualization software (2018). \n                  https:\/\/www.graphviz.org\/"},{"issue":"2","key":"13_CR12","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."},{"key":"13_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-45832-8_14","volume-title":"Graph Transformation","author":"R Heckel","year":"2002","unstructured":"Heckel, R., K\u00fcster, J.M., Taentzer, G.: Confluence of typed attributed graph transformation systems. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, pp. 161\u2013176. Springer, Heidelberg (2002). \n                  https:\/\/doi.org\/10.1007\/3-540-45832-8_14"},{"issue":"C","key":"13_CR14","first-page":"118","volume":"2","author":"R Heckel","year":"1995","unstructured":"Heckel, R., Wagner, A.: Ensuring consistency of conditional graph grammars - a constructive approach. ENTCS 2(C), 118\u2013126 (1995)","journal-title":"ENTCS"},{"key":"13_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-642-15928-2_11","volume-title":"Graph Transformations","author":"F Hermann","year":"2010","unstructured":"Hermann, F., Ehrig, H., Orejas, F., Golas, U.: Formal analysis of functional behaviour for model transformations based on triple graph grammars. In: Ehrig, H., Rensink, A., Rozenberg, G., Sch\u00fcrr, A. (eds.) ICGT 2010. LNCS, vol. 6372, pp. 155\u2013170. Springer, Heidelberg (2010). \n                  https:\/\/doi.org\/10.1007\/978-3-642-15928-2_11"},{"key":"13_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-540-87405-8_12","volume-title":"Graph Transformations","author":"L Lambers","year":"2008","unstructured":"Lambers, L., Ehrig, H., Prange, U., Orejas, F.: Embedding and confluence of graph transformations with negative application conditions. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol. 5214, pp. 162\u2013177. Springer, Heidelberg (2008). \n                  https:\/\/doi.org\/10.1007\/978-3-540-87405-8_12"},{"key":"13_CR17","first-page":"16","volume":"26","author":"D Plump","year":"2010","unstructured":"Plump, D.: Checking graph-transformation systems for confluence. ECEASST 26, 16 (2010)","journal-title":"ECEASST"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Rabbi F., Kristensen L.M., Lamo Y.: Static analysis of conformance preserving model transformation rules. In: Hammoudi, S., Pires, L.F., Selic, B. (eds.) Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, 22\u201324 January 2018, Funchal, Madeira - Portugal, pp. 152\u2013162. SciTePress (2018)","DOI":"10.5220\/0006602601520162"},{"key":"13_CR19","first-page":"16","volume":"30","author":"L Ribeiro","year":"2010","unstructured":"Ribeiro, L., Dotti, F.L., da Costa, S.A., Dillenburg, F.C.: Towards theorem proving graph grammars using Event-B. ECEASST 30, 16 (2010)","journal-title":"ECEASST"},{"key":"13_CR20","unstructured":"Rutle, A.: Diagram predicate framework: a formal approach to MDE. Ph.D. thesis, Department of Informatics, University of Bergen, Norway (2010)"},{"issue":"4","key":"13_CR21","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1016\/j.jlap.2012.03.006","volume":"81","author":"A Rutle","year":"2012","unstructured":"Rutle, A., Rossini, A., Lamo, Y., Wolter, U.: A formal approach to the specification and transformation of constraints in mde. J. Logic Algebraic Program. 81(4), 422\u2013457 (2012)","journal-title":"J. Logic Algebraic Program."},{"key":"13_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1007\/978-3-540-25959-6_35","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"G Taentzer","year":"2004","unstructured":"Taentzer, G.: AGG: a graph transformation environment for modeling and validation of software. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 446\u2013453. Springer, Heidelberg (2004). \n                  https:\/\/doi.org\/10.1007\/978-3-540-25959-6_35"},{"key":"13_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/978-3-642-13688-7_16","volume-title":"Theory and Practice of Model Transformations","author":"J Troya","year":"2010","unstructured":"Troya, J., Vallecillo, A.: Towards a rewriting logic semantics for ATL. In: Tratt, L., Gogolla, M. (eds.) ICMT 2010. LNCS, vol. 6142, pp. 230\u2013244. Springer, Heidelberg (2010). \n                  https:\/\/doi.org\/10.1007\/978-3-642-13688-7_16"},{"issue":"2","key":"13_CR24","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/S0167-6423(02)00039-4","volume":"44","author":"D Varr\u00f3","year":"2002","unstructured":"Varr\u00f3, D., Varr\u00f3, G., Pataricza, A.: Designing the automatic transformation of visual languages. Sci. Comput. Program. 44(2), 205\u2013227 (2002)","journal-title":"Sci. Comput. Program."},{"key":"13_CR25","first-page":"13","volume":"67","author":"X Wang","year":"2014","unstructured":"Wang, X., B\u00fcttner, F., Lamo, Y.: Verification of graph-based model transformations using alloy. ECEASST 67, 13 (2014)","journal-title":"ECEASST"}],"container-title":["Communications in Computer and Information Science","Model-Driven Engineering and Software Development"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-11030-7_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T23:58:58Z","timestamp":1558396738000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-11030-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030110291","9783030110307"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-11030-7_13","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"1 February 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"MODELSWARD","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Model-Driven Engineering and Software Development","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Funchal","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 January 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 January 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"modelsward2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.modelsward.org\/?y=2018","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"}},{"value":"Primoris","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"101","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"29","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"28","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"29% - 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"}},{"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"}},{"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"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}}]}}