{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T02:00:09Z","timestamp":1740103209651,"version":"3.37.3"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","funder":[{"DOI":"10.13039\/https:\/\/doi.org\/10.13039\/501100006041","name":"Innovate UK","doi-asserted-by":"publisher","award":["10016487"],"id":[{"id":"10.13039\/https:\/\/doi.org\/10.13039\/501100006041","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,22]]},"DOI":"10.1145\/3640310.3674094","type":"proceedings-article","created":{"date-parts":[[2024,9,30]],"date-time":"2024-09-30T17:38:07Z","timestamp":1727717887000},"page":"104-113","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Advancing Domain-Specific High-Integrity Model-Based Tools: Insights and Future Pathways"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1099-0453","authenticated-orcid":false,"given":"Qurat ul ain","family":"Ali","sequence":"first","affiliation":[{"name":"University of York, York, UK"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1724-6563","authenticated-orcid":false,"given":"Dimitris","family":"Kolovos","sequence":"additional","affiliation":[{"name":"University of York, York, UK"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4744-9150","authenticated-orcid":false,"given":"Antonio","family":"Garcia-Dominguez","sequence":"additional","affiliation":[{"name":"University of York, York, UK"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-7760-8506","authenticated-orcid":false,"given":"Michael","family":"Bennett","sequence":"additional","affiliation":[{"name":"Rolls-Royce, Birmingham\/Derby, UK"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-1702-2714","authenticated-orcid":false,"given":"Joe","family":"Newton","sequence":"additional","affiliation":[{"name":"Rolls-Royce, Birmingham\/Derby, UK"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2007-132X","authenticated-orcid":false,"given":"Piotr","family":"Zacharzewski","sequence":"additional","affiliation":[{"name":"Rolls-Royce, Birmingham\/Derby, UK"}]}],"member":"320","published-online":{"date-parts":[[2024,9,22]]},"reference":[{"volume-title":"Retrieved","year":"2024","key":"e_1_3_2_1_1_1","unstructured":"[n.d.]. Eclipse Layout Kernel. Retrieved Mar 28, 2024 from https:\/\/eclipse.dev\/elk\/"},{"key":"e_1_3_2_1_2_1","unstructured":"[n.d.]. OpenBPMN. Retrieved Feb 23 2024 from https:\/\/www.open-bpmn.org\/index.html"},{"key":"e_1_3_2_1_3_1","unstructured":"RTCA (Firm). SC 167. 2012. Software considerations in airborne systems and equipment certification: DO178C \/ ED-12C. RTCA Incorporated."},{"volume-title":"The Practice of Enterprise Modeling, Jo\u00e3o Paulo A","author":"Bork Dominik","key":"e_1_3_2_1_4_1","unstructured":"Dominik Bork, Philip Langer, and Tobias Ortmayr. 2024. A Vision for Flexible GLSP-Based Web Modeling Tools. In The Practice of Enterprise Modeling, Jo\u00e3o Paulo A. Almeida, Monika Kaczmarek-He\u00df, Agnes Koschmider, and Henderik A. Proper (Eds.). Springer Nature Switzerland, Cham, 109--124."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS50736.2021.00038"},{"key":"e_1_3_2_1_6_1","volume-title":"d.]. EMF Cloud. Retrieved","author":"Foundation Eclipse","year":"2024","unstructured":"Eclipse Foundation. [n. d.]. EMF Cloud. Retrieved Feb 23, 2024 from https:\/\/eclipse.dev\/emfcloud\/"},{"key":"e_1_3_2_1_7_1","volume-title":"Retrieved","author":"Foundation Eclipse","year":"2024","unstructured":"Eclipse Foundation. 2024. Eclipse Theia. Retrieved Feb 23, 2024 from https:\/\/theia-ide.org"},{"key":"e_1_3_2_1_8_1","unstructured":"RTCA (Radio Technical Commission for Aeronautics). 2011. DO-331 Model-Based Development and Verification Supplement to DO-178C and DO-278A. (2011)."},{"key":"e_1_3_2_1_9_1","volume-title":"Retrieved","author":"Foundation Eclipse","year":"2024","unstructured":"Eclipse Foundation. 2024. Sirius Web. Retrieved Feb 23, 2024 from https:\/\/eclipse.dev\/sirius\/sirius-web.html"},{"key":"e_1_3_2_1_10_1","volume-title":"30th European Conference on Object-Oriented Programming (ECOOP","author":"Harkes Daco C","year":"2016","unstructured":"Daco C Harkes, Danny M Groenewegen, and Eelco Visser. 2016. IceDust: Incremental and eventual computation of derived values in persistent object graphs. In 30th European Conference on Object-Oriented Programming (ECOOP 2016). Schloss-Dagstuhl-Leibniz Zentrum f\u00fcr Informatik."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3365438.3410943"},{"volume-title":"Eclipse summit Europe, eclipse modeling symposium","author":"Kolovos Dimitrios S","key":"e_1_3_2_1_12_1","unstructured":"Dimitrios S Kolovos, Richard F Paige, and Fiona AC Polack. 2006. Eclipse development tools for epsilon. In Eclipse summit Europe, eclipse modeling symposium, Vol. 20062. 200."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Dimitrios S Kolovos Richard F Paige and Fiona AC Polack. 2009. On the evolution of OCL for capturing structural constraints in modelling languages. Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon B\u00f6rger on the Occasion of His 60th Birthday (2009) 204--218.","DOI":"10.1007\/978-3-642-11447-2_13"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31491-9_10"},{"volume-title":"Systems architecture modeling with the Arcadia method: a practical guide to Capella","author":"Roques Pascal","key":"e_1_3_2_1_15_1","unstructured":"Pascal Roques. 2017. Systems architecture modeling with the Arcadia method: a practical guide to Capella. Elsevier."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13688-7_13"},{"key":"e_1_3_2_1_17_1","volume-title":"Polack","author":"Rose Louis M.","year":"2008","unstructured":"Louis M. Rose, Richard F. Paige, DimitriosS. Kolovos, and Fiona A. C. Polack. 2008. The Epsilon Generation Language. In Model Driven Architecture - Foundations and Applications, Ina Schieferdecker and Alan Hartman (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 1--16."}],"event":{"name":"MODELS '24: ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems","sponsor":["Johannes Kepler University, Linz, Austria","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Linz Austria","acronym":"MODELS '24"},"container-title":["Proceedings of the ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3640310.3674094","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,4]],"date-time":"2024-11-04T11:29:38Z","timestamp":1730719778000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3640310.3674094"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,22]]},"references-count":17,"alternative-id":["10.1145\/3640310.3674094","10.1145\/3640310"],"URL":"https:\/\/doi.org\/10.1145\/3640310.3674094","relation":{},"subject":[],"published":{"date-parts":[[2024,9,22]]},"assertion":[{"value":"2024-09-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}