{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T16:54:55Z","timestamp":1761929695773},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319091075"},{"type":"electronic","value":"9783319091082"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-09108-2_8","type":"book-chapter","created":{"date-parts":[[2014,7,4]],"date-time":"2014-07-04T13:07:01Z","timestamp":1404479221000},"page":"113-129","source":"Crossref","is-referenced-by-count":8,"title":["Specification and Verification of Graph-Based Model Transformation Properties"],"prefix":"10.1007","author":[{"given":"Gehan M. K.","family":"Selim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Levi","family":"L\u00facio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James R.","family":"Cordy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juergen","family":"Dingel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bentley J.","family":"Oakes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"AUTOSAR Consortium. AUTOSAR System Template (2007), \n                    \n                      http:\/\/autosar.org\/download\/R3.1\/AUTOSAR_SystemTemplate.pdf"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Amrani, M., L\u00facio, L., Selim, G., Combemale, B., Dingel, J., Vangheluwe, H., Le Traon, Y., Cordy, J.R.: A Tridimensional Approach for Studying the Formal Verification of Model Transformations. In: VOLT, pp. 921\u2013928 (2012)","DOI":"10.1109\/ICST.2012.197"},{"key":"8_CR3","unstructured":"Anastasakis, K., Bordbar, B., K\u00fcster, J.: Analysis of Model Transformations via Alloy. MoDeVVa, 47\u201356 (2007)"},{"key":"8_CR4","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, Part I. LNCS, vol.\u00a06394, pp. 121\u2013135. Springer, Heidelberg (2010)"},{"issue":"5","key":"8_CR5","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1002\/stvr.1502","volume":"23","author":"M. Asztalos","year":"2013","unstructured":"Asztalos, M., Lengyel, L., Levendovszky, T.: Formal Specification and Analysis of Functional Properties of Graph Rewriting-Based Model Transformation. Software Testing, Verification and Reliability\u00a023(5), 405\u2013435 (2013)","journal-title":"Software Testing, Verification and Reliability"},{"key":"8_CR6","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.\u00a04178, pp. 306\u2013320. Springer, Heidelberg (2006)"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-642-19440-5_19","volume-title":"Software Language Engineering","author":"B. Barroca","year":"2011","unstructured":"Barroca, B., L\u00facio, L., Amaral, V., F\u00e9lix, R., Sousa, V.: DSLTrans: A Turing Incomplete Transformation Language. In: Malloy, B., Staab, S., van den Brand, M. (eds.) SLE 2010. LNCS, vol.\u00a06563, pp. 296\u2013305. Springer, Heidelberg (2011)"},{"key":"8_CR8","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: ICSE (2006)","DOI":"10.1145\/1134285.1134297"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"B\u00fcttner, F., Egea, M., Guerra, E., De Lara, J.: Checking Model Transformation Refinement. In: ICMT, pp. 158\u2013173 (2013)","DOI":"10.1007\/978-3-642-38883-5_15"},{"issue":"2","key":"8_CR10","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1016\/j.jss.2009.08.012","volume":"83","author":"J. Cabot","year":"2010","unstructured":"Cabot, J., Claris\u00f3, R., Guerra, E., de Lara, J.: Verification and Validation of Declarative Model-to-Model Transformations Through Invariants. Systems and Software\u00a083(2), 283\u2013302 (2010)","journal-title":"Systems and Software"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Guerra, E., de Lara, J., Kolovos, D., Paige, R.: A Visual Specification Language for Model-to-Model Transformations. In: VL\/HCC, pp. 119\u2013126. IEEE (2010)","DOI":"10.1109\/VLHCC.2010.25"},{"key":"8_CR12","unstructured":"L\u00facio, L., Oakes, B., Vangheluwe, H.: A Technique for Symbolically Verifying Properties of Graph-Based Model Transformations. Technical Report SOCS-TR-2014.1, McGill U (2014)"},{"key":"8_CR13","unstructured":"L\u00facio, L., Selim, G.: DSLTrans Property Prover and Example Transformation, \n                    \n                      http:\/\/msdl.cs.mcgill.ca\/people\/levi\/police_station_verification_example.zip"},{"key":"8_CR14","unstructured":"L\u00facio, L., Vangheluwe, H.: Model Transformations to Verify Model Transformations. In: VOLT (2013)"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Orejas, F., Wirsing, M.: On the Specification and Verification of Model Transformations. In: Palsberg, J. (ed.) Mosses Festschrift. LNCS, vol.\u00a05700, pp. 140\u2013161. Springer, Heidelberg (2009)","DOI":"10.1007\/978-3-642-04164-8_8"},{"key":"8_CR16","unstructured":"Rahim, L.A., Whittle, J.: A Survey of Approaches for Verifying Model Transformations. SoSyM, 1\u201326 (2013)"},{"key":"8_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"690","DOI":"10.1007\/978-3-642-41533-3_42","volume-title":"Model-Driven Engineering Languages and Systems","author":"G.M.K. Selim","year":"2013","unstructured":"Selim, G.M.K., B\u00fcttner, F., Cordy, J.R., Dingel, J., Wang, S.: Automated Verification of Model Transformations in the Automotive Industry. In: Moreira, A., Sch\u00e4tz, B., Gray, J., Vallecillo, A., Clarke, P. (eds.) MODELS 2013. LNCS, vol.\u00a08107, pp. 690\u2013706. Springer, Heidelberg (2013)"},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/978-3-642-31491-9_9","volume-title":"Modelling Foundations and Applications","author":"G.M.K. Selim","year":"2012","unstructured":"Selim, G.M.K., Wang, S., Cordy, J.R., Dingel, J.: Model Transformations for Migrating Legacy Models: An Industrial Case Study. In: Vallecillo, A., Tolvanen, J.-P., Kindler, E., St\u00f6rrle, H., Kolovos, D. (eds.) ECMFA 2012. LNCS, vol.\u00a07349, pp. 90\u2013101. Springer, Heidelberg (2012)"},{"key":"8_CR19","unstructured":"Syriani, E., Vangheluwe, H.: De-\/re-constructing Model Transformation Languages. EASST\u00a029 (2010)"},{"key":"8_CR20","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.\u00a03062, pp. 446\u2013453. Springer, Heidelberg (2004)"},{"issue":"5","key":"8_CR21","first-page":"1","volume":"10","author":"J. Troya","year":"2011","unstructured":"Troya, J., Vallecillo, A.: A Rewriting Logic Semantics for ATL. JOT\u00a010(5), 1\u201329 (2011)","journal-title":"JOT"}],"container-title":["Lecture Notes in Computer Science","Graph Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-09108-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T07:18:03Z","timestamp":1558941483000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-09108-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319091075","9783319091082"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-09108-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}