{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:32:28Z","timestamp":1750221148077,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,14]],"date-time":"2018-10-14T00:00:00Z","timestamp":1539475200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","award":["CRD 515486-17"],"award-info":[{"award-number":["CRD 515486-17"]}],"id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100009011","name":"Ontario Centres of Excellence","doi-asserted-by":"publisher","award":["30040"],"award-info":[{"award-number":["30040"]}],"id":[{"id":"10.13039\/100009011","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,10,14]]},"DOI":"10.1145\/3239372.3239413","type":"proceedings-article","created":{"date-parts":[[2018,10,4]],"date-time":"2018-10-04T12:21:55Z","timestamp":1538655715000},"page":"426-436","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Assurance via model transformations and their hierarchical refinement"],"prefix":"10.1145","author":[{"given":"Zinovy","family":"Diskin","sequence":"first","affiliation":[{"name":"McMaster University, McMaster Centre for Software Certification, Hamilton, Canada"}]},{"given":"Tom","family":"Maibaum","sequence":"additional","affiliation":[{"name":"McMaster University, McMaster Centre for Software Certification, Hamilton, Canada"}]},{"given":"Alan","family":"Wassyng","sequence":"additional","affiliation":[{"name":"McMaster University, McMaster Centre for Software Certification, Hamilton, Canada"}]},{"given":"Stephen","family":"Wynn-Williams","sequence":"additional","affiliation":[{"name":"McMaster University, McMaster Centre for Software Certification, Hamilton, Canada"}]},{"given":"Mark","family":"Lawford","sequence":"additional","affiliation":[{"name":"McMaster University, McMaster Centre for Software Certification, Hamilton, Canada"}]}],"member":"320","published-online":{"date-parts":[[2018,10,14]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Adelard {n. d.}. Claim Argument Evidence Notation. Adelard. Available at http:\/\/www.adelard.com\/asce\/choosing-asce\/cae.html.  Adelard {n. d.}. Claim Argument Evidence Notation. Adelard. Available at http:\/\/www.adelard.com\/asce\/choosing-asce\/cae.html."},{"key":"e_1_3_2_1_2_1","unstructured":"J. C. Baez and J. Erbele. 2014. Categories in Control. ArXiv e-prints (May 2014). arXiv:math.CT\/1405.6881  J. C. Baez and J. Erbele. 2014. Categories in Control. ArXiv e-prints (May 2014). arXiv:math.CT\/1405.6881"},{"key":"e_1_3_2_1_3_1","volume-title":"Making Systems Safer - Proceedings of the Eighteenth Safety-Critical Systems Symposium","author":"Robin","year":"2010","unstructured":"Robin E. Bloomfield and Peter G. Bishop. 2010. Safety and Assurance Cases: Past, Present and Possible Future - an Adelard Perspective . In Making Systems Safer - Proceedings of the Eighteenth Safety-Critical Systems Symposium , Bristol, UK , February 9-11, 2010 , Chris Dale and Tom Anderson (Eds.). Springer, 51--67. Robin E. Bloomfield and Peter G. Bishop. 2010. Safety and Assurance Cases: Past, Present and Possible Future - an Adelard Perspective. In Making Systems Safer - Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, February 9-11, 2010, Chris Dale and Tom Anderson (Eds.). Springer, 51--67."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44584-6_30"},{"key":"e_1_3_2_1_5_1","volume-title":"ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings (Lecture Notes in Computer Science), Kazuhiro Ogata, Mark Lawford, and Shaoying Liu (Eds.)","volume":"10009","author":"Cassano Valentin","year":"2016","unstructured":"Valentin Cassano , Thomas Maibaum , and Silviya Grigorova . 2016 . A (Proto) Logical Basis for the Notion of a Structured Argument in a Safety Case. In Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods , ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings (Lecture Notes in Computer Science), Kazuhiro Ogata, Mark Lawford, and Shaoying Liu (Eds.) , Vol. 10009 . 1--17. Valentin Cassano, Thomas Maibaum, and Silviya Grigorova. 2016. A (Proto) Logical Basis for the Notion of a Structured Argument in a Safety Case. In Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings (Lecture Notes in Computer Science), Kazuhiro Ogata, Mark Lawford, and Shaoying Liu (Eds.), Vol. 10009. 1--17."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3195836.3195838"},{"volume-title":"Picturing Quantum Processes. A First Course in Quantum Theory and Diagrammatic Reasoning","author":"Coecke Bob","key":"e_1_3_2_1_7_1","unstructured":"Bob Coecke and Aleks Kissinger . 2017. Picturing Quantum Processes. A First Course in Quantum Theory and Diagrammatic Reasoning . Cambridge University Press . Bob Coecke and Aleks Kissinger. 2017. Picturing Quantum Processes. A First Course in Quantum Theory and Diagrammatic Reasoning. Cambridge University Press."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008647417502"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54494-5_14"},{"key":"e_1_3_2_1_10_1","volume-title":"Toward Product Lines of Mathematical Models for Software Model Management. In Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops","volume":"10748","author":"Diskin Zinovy","year":"2017","unstructured":"Zinovy Diskin , Harald K\u00f6nig , Mark Lawford , and Tom Maibaum . 2017 . Toward Product Lines of Mathematical Models for Software Model Management. In Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops , Marburg, Germany , July 17-21, 2017, Revised Selected Papers (Lecture Notes in Computer Science), Martina Seidl and Steffen Zschaler (Eds.), Vol. 10748 . Springer, 200--216. Zinovy Diskin, Harald K\u00f6nig, Mark Lawford, and Tom Maibaum. 2017. Toward Product Lines of Mathematical Models for Software Model Management. In Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers (Lecture Notes in Computer Science), Martina Seidl and Steffen Zschaler (Eds.), Vol. 10748. Springer, 200--216."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28872-2_12"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004100074338"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976767.2976792"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2896982.2896985"},{"key":"e_1_3_2_1_16_1","volume-title":"ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings (Lecture Notes in Computer Science), Anthony Anjorin and Hu\u00e1scar Espinoza (Eds.)","volume":"10376","author":"K\u00f6nig Harald","year":"2017","unstructured":"Harald K\u00f6nig and Zinovy Diskin . 2017 . Efficient Consistency Checking of Interrelated Models. In Modelling Foundations and Applications - 13th European Conference , ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings (Lecture Notes in Computer Science), Anthony Anjorin and Hu\u00e1scar Espinoza (Eds.) , Vol. 10376 . Springer, 161--178. Harald K\u00f6nig and Zinovy Diskin. 2017. Efficient Consistency Checking of Interrelated Models. In Modelling Foundations and Applications - 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings (Lecture Notes in Computer Science), Anthony Anjorin and Hu\u00e1scar Espinoza (Eds.), Vol. 10376. Springer, 161--178."},{"key":"e_1_3_2_1_18_1","volume-title":"Safe and Secure Software Reuse - 13th International Conference on Software Reuse, ICSR","author":"Luo Yaping","year":"2013","unstructured":"Yaping Luo , Mark van den Brand , Luc Engelen , John M. Favaro , Martijn Klabbers , and Giovanni Sartori . 2013. Extracting Models from ISO 26262 for Reusable Safety Assurance . In Safe and Secure Software Reuse - 13th International Conference on Software Reuse, ICSR 2013 , Pisa, Italy, June 18--20. Proceedings (Lecture Notes in Computer Science), John M. Favaro and Maurizio Morisio (Eds.), Vol. 7925 . Springer , 192--207. Yaping Luo, Mark van den Brand, Luc Engelen, John M. Favaro, Martijn Klabbers, and Giovanni Sartori. 2013. Extracting Models from ISO 26262 for Reusable Safety Assurance. In Safe and Secure Software Reuse - 13th International Conference on Software Reuse, ICSR 2013, Pisa, Italy, June 18--20. Proceedings (Lecture Notes in Computer Science), John M. Favaro and Maurizio Morisio (Eds.), Vol. 7925. Springer, 192--207."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/646620.697721"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2014.03.001"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS.2015.7338256"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-013-0358-0"},{"key":"e_1_3_2_1_23_1","unstructured":"David J Rinehart John C Knight Jonathan Rowanhill and Dependable Computing. 2015. Current Practices in Constructing and Evaluating Assurance Cases With Applications to Aviation.  David J Rinehart John C Knight Jonathan Rowanhill and Dependable Computing. 2015. Current Practices in Constructing and Evaluating Assurance Cases With Applications to Aviation."},{"volume-title":"Making Systems Safer","author":"Rushby John","key":"e_1_3_2_1_24_1","unstructured":"John Rushby . 2010. Formalism in safety cases . In Making Systems Safer . Springer , 3--17. John Rushby. 2010. Formalism in safety cases. In Making Systems Safer. Springer, 3--17."},{"key":"e_1_3_2_1_25_1","volume-title":"Understanding and Evaluating Assurance Cases. SRI-CSL-15-01","author":"Rushby John","year":"2015","unstructured":"John Rushby . 2015. Understanding and Evaluating Assurance Cases. SRI-CSL-15-01 ( 2015 ). John Rushby. 2015. Understanding and Evaluating Assurance Cases. SRI-CSL-15-01 (2015)."},{"volume-title":"The B-Method: An Introduction","author":"Schneider Steve","key":"e_1_3_2_1_26_1","unstructured":"Steve Schneider . 2001. The B-Method: An Introduction . Palgrave Macmillan . Steve Schneider. 2001. The B-Method: An Introduction. Palgrave Macmillan."},{"volume-title":"New structures for physics","author":"Selinger Peter","key":"e_1_3_2_1_27_1","unstructured":"Peter Selinger . 2010. A survey of graphical languages for monoidal categories . In New structures for physics . Springer , 289--355. Peter Selinger. 2010. A survey of graphical languages for monoidal categories. In New structures for physics. Springer, 289--355."},{"key":"e_1_3_2_1_28_1","volume-title":"The operad of wiring diagrams: Formalizing a graphical language for databases, recursion, and plug-and-play circuits. arXiv preprint arXiv:1305.0297","author":"Spivak David I","year":"2013","unstructured":"David I Spivak . 2013. The operad of wiring diagrams: Formalizing a graphical language for databases, recursion, and plug-and-play circuits. arXiv preprint arXiv:1305.0297 ( 2013 ). David I Spivak. 2013. The operad of wiring diagrams: Formalizing a graphical language for databases, recursion, and plug-and-play circuits. arXiv preprint arXiv:1305.0297 (2013)."},{"volume-title":"Goal Structuring Notation","author":"The GSN Working Group 2011.","key":"e_1_3_2_1_29_1","unstructured":"The GSN Working Group 2011. Goal Structuring Notation . The GSN Working Group . Available at http:\/\/www.goalstructuringnotation.info\/. The GSN Working Group 2011. Goal Structuring Notation. The GSN Working Group. Available at http:\/\/www.goalstructuringnotation.info\/."},{"volume-title":"Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig (Lecture Notes in Computer Science)","author":"Wolter Uwe","key":"e_1_3_2_1_30_1","unstructured":"Uwe Wolter , Zinovy Diskin , and Harald K\u00f6nig . 2018. Graph Operations and Free Graph Algebras . In Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig (Lecture Notes in Computer Science) , Reiko Heckel and Gabriele Taentzer (Eds.), Vol. 10800 . Springer , 313--331. Uwe Wolter, Zinovy Diskin, and Harald K\u00f6nig. 2018. Graph Operations and Free Graph Algebras. In Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig (Lecture Notes in Computer Science), Reiko Heckel and Gabriele Taentzer (Eds.), Vol. 10800. Springer, 313--331."}],"event":{"name":"MODELS '18: ACM\/IEEE 21th International Conference on Model Driven Engineering Languages and Systems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Copenhagen Denmark","acronym":"MODELS '18"},"container-title":["Proceedings of the 21th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3239372.3239413","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3239372.3239413","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:08:19Z","timestamp":1750208899000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3239372.3239413"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,14]]},"references-count":28,"alternative-id":["10.1145\/3239372.3239413","10.1145\/3239372"],"URL":"https:\/\/doi.org\/10.1145\/3239372.3239413","relation":{},"subject":[],"published":{"date-parts":[[2018,10,14]]},"assertion":[{"value":"2018-10-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}