{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:12:41Z","timestamp":1750219961064,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,23]],"date-time":"2022-10-23T00:00:00Z","timestamp":1666483200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,10,23]]},"DOI":"10.1145\/3550356.3561562","type":"proceedings-article","created":{"date-parts":[[2022,11,9]],"date-time":"2022-11-09T18:13:20Z","timestamp":1668017600000},"page":"889-893","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["From OCL-based model static analysis to quick fixes"],"prefix":"10.1145","author":[{"given":"Fr\u00e9d\u00e9ric","family":"Jouault","sequence":"first","affiliation":[{"name":"ESEO, Angers, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maxime","family":"M\u00e9r\u00e9","sequence":"additional","affiliation":[{"name":"STMicroelectronics, INSA Rennes, Le Mans, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Brun","sequence":"additional","affiliation":[{"name":"ESEO, Angers, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Th\u00e9o Le","family":"Calvar","sequence":"additional","affiliation":[{"name":"IMT Atlantique, Nantes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Pasquier","sequence":"additional","affiliation":[{"name":"ERTOSGENER, Angers, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ciprian","family":"Teodorov","sequence":"additional","affiliation":[{"name":"ENSTA Bretagne, Brest, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,11,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16145-2_7"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.01.015"},{"volume-title":"Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation","author":"Guerra Esther","key":"e_1_3_2_1_3_1","unstructured":"Esther Guerra and Juan de Lara . 2004. Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation . In Graph Transformations, Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, and Grzegorz Rozenberg (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 54--69. Esther Guerra and Juan de Lara. 2004. Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation. In Graph Transformations, Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, and Grzegorz Rozenberg (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 54--69."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2011.6070373"},{"key":"e_1_3_2_1_5_1","volume-title":"9th European Congress on Embedded Real Time Software and Systems (ERTS","author":"Hili Nicolas","year":"2018","unstructured":"Nicolas Hili , Ernesto Posse , and Juergen Dingel . 2018 . Calur: an action language for UML-RT . In 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018). Nicolas Hili, Ernesto Posse, and Juergen Dingel. 2018. Calur: an action language for UML-RT. In 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018)."},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the 15th International Workshop on OCL and Textual Modeling (CEUR Workshop Proceedings","volume":"45","author":"Jouault Fr\u00e9d\u00e9ric","year":"2015","unstructured":"Fr\u00e9d\u00e9ric Jouault and Olivier Beaudoux . 2015 . On the Use of Active Operations for Incremental Bidirectional Evaluation of OCL . In Proceedings of the 15th International Workshop on OCL and Textual Modeling (CEUR Workshop Proceedings , Vol. 1512). CEUR, Ottawa, Canada, 35-- 45 . Fr\u00e9d\u00e9ric Jouault and Olivier Beaudoux. 2015. On the Use of Active Operations for Incremental Bidirectional Evaluation of OCL. In Proceedings of the 15th International Workshop on OCL and Textual Modeling (CEUR Workshop Proceedings, Vol. 1512). CEUR, Ottawa, Canada, 35--45."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3365438.3410967"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3239372.3239381"},{"key":"e_1_3_2_1_9_1","volume-title":"MoDELS (Workshops) (CEUR Workshop Proceedings","volume":"242","author":"K\u00e4stner Andreas","year":"2018","unstructured":"Andreas K\u00e4stner , Martin Gogolla , and Bran Selic . 2018 . Towards flexible object and class modeling tools: an experience report . In MoDELS (Workshops) (CEUR Workshop Proceedings , Vol. 2245). CEUR-WS.org, 233-- 242 . Andreas K\u00e4stner, Martin Gogolla, and Bran Selic. 2018. Towards flexible object and class modeling tools: an experience report. In MoDELS (Workshops) (CEUR Workshop Proceedings, Vol. 2245). CEUR-WS.org, 233--242."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-021-00867-0"},{"volume-title":"Computers Helping People with Special Needs","author":"Loitsch Claudia","key":"e_1_3_2_1_11_1","unstructured":"Claudia Loitsch , Karin M\u00fcller , Stephan Seifermann , J\u00f6rg Hen\u00df , Sebastian Krach , Gerhard Jaworek , and Rainer Stiefelhagen . 2018. UML4ALL Syntax - A Textual Notation for UML Diagrams . In Computers Helping People with Special Needs , Klaus Miesenberger and Georgios Kouroupetroglou (Eds.). Springer International Publishing , Cham , 598--605. Claudia Loitsch, Karin M\u00fcller, Stephan Seifermann, J\u00f6rg Hen\u00df, Sebastian Krach, Gerhard Jaworek, and Rainer Stiefelhagen. 2018. UML4ALL Syntax - A Textual Notation for UML Diagrams. In Computers Helping People with Special Needs, Klaus Miesenberger and Georgios Kouroupetroglou (Eds.). Springer International Publishing, Cham, 598--605."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2008.4639094"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3270112.3275340"},{"volume-title":"Fundamental Approaches to Software Engineering, Juan de Lara and Andrea Zisman (Eds.)","author":"Salay Rick","key":"e_1_3_2_1_14_1","unstructured":"Rick Salay , Michalis Famelis , and Marsha Chechik . 2012. Language Independent Refinement Using Partial Modeling . In Fundamental Approaches to Software Engineering, Juan de Lara and Andrea Zisman (Eds.) . Springer Berlin Heidelberg , Berlin, Heidelberg , 224--239. Rick Salay, Michalis Famelis, and Marsha Chechik. 2012. Language Independent Refinement Using Partial Modeling. In Fundamental Approaches to Software Engineering, Juan de Lara and Andrea Zisman (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 224--239."}],"event":{"name":"MODELS '22: ACM\/IEEE 25th International Conference on Model Driven Engineering Languages and Systems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","Univ. of Montreal University of Montreal","IEEE CS"],"location":"Montreal Quebec Canada","acronym":"MODELS '22"},"container-title":["Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3550356.3561562","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3550356.3561562","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:49:10Z","timestamp":1750182550000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3550356.3561562"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,23]]},"references-count":14,"alternative-id":["10.1145\/3550356.3561562","10.1145\/3550356"],"URL":"https:\/\/doi.org\/10.1145\/3550356.3561562","relation":{},"subject":[],"published":{"date-parts":[[2022,10,23]]},"assertion":[{"value":"2022-11-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}