{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T04:30:12Z","timestamp":1771993812967,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,22]],"date-time":"2024-09-22T00:00:00Z","timestamp":1726963200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,22]]},"DOI":"10.1145\/3640310.3674079","type":"proceedings-article","created":{"date-parts":[[2024,9,30]],"date-time":"2024-09-30T13:38:07Z","timestamp":1727703487000},"page":"149-159","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["AI-Driven Consistency of SysML Diagrams"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5031-5794","authenticated-orcid":false,"given":"Bastien","family":"Sultan","sequence":"first","affiliation":[{"name":"LTCI, T\u00e9l\u00e9com Paris, Institut Polytechnique de Paris, Sophia-Antipolis, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1167-4639","authenticated-orcid":false,"given":"Ludovic","family":"Apvrille","sequence":"additional","affiliation":[{"name":"LTCI, T\u00e9l\u00e9com Paris, Institut Polytechnique de Paris, Sophia-Antipolis, France"}]}],"member":"320","published-online":{"date-parts":[[2024,9,22]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Diogo Almeida, Janko Altenschmidt, Sam Altman, Shyamal Anadkat, et al.","author":"Achiam Josh","year":"2023","unstructured":"Josh Achiam, Steven Adler, Sandhini Agarwal, Lama Ahmad, Ilge Akkaya, Florencia Leoni Aleman, Diogo Almeida, Janko Altenschmidt, Sam Altman, Shyamal Anadkat, et al. 2023. GPT-4 technical report. arXiv preprint arXiv:2303.08774 (2023)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3593434.3593468"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5220\/0012320100003645"},{"key":"e_1_3_2_1_4_1","unstructured":"Oskar Berglund. 2024. Assessing Strategies for Behaviour Consistency Checking Using LLMs. B.Sc. Thesis."},{"key":"e_1_3_2_1_5_1","volume-title":"Direct Model-Checking of SysML Models. In 9th International Conference on Model-Driven Engineering and Software Development. SCITEPRESS-Science and Technology Publications, 216--223","author":"Calvino Alessandro Tempia","year":"2021","unstructured":"Alessandro Tempia Calvino and Ludovic Apvrille. 2021. Direct Model-Checking of SysML Models. In 9th International Conference on Model-Driven Engineering and Software Development. SCITEPRESS-Science and Technology Publications, 216--223."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-023-01105-5"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/REW57809.2023.00052"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","unstructured":"K. Chen Y. Yang B. Chen J. Hernandez Lopez G. Mussbacher and D. Varro. 2023. Automated Domain Modeling with Large Language Models: AComparative Study. In 2023 ACM\/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS). IEEE Computer Society 162--172. https:\/\/doi.org\/10.1109\/MODELS58315.2023.00037","DOI":"10.1109\/MODELS58315.2023.00037"},{"key":"e_1_3_2_1_9_1","volume-title":"ZDDR: A Zero-Shot Defender for Adversarial Samples Detection and Restoration","author":"Chen Musheng","year":"2024","unstructured":"Musheng Chen, Guowei He, and Junhua Wu. 2024. ZDDR: A Zero-Shot Defender for Adversarial Samples Detection and Restoration. IEEE Access (2024)."},{"key":"e_1_3_2_1_10_1","first-page":"9","article-title":"Multi-Level Modeling with Openflexo\/FML: a contribution to the multi-level process challenge","volume":"17","author":"Gu\u00e9rin Sylvain","year":"2022","unstructured":"Sylvain Gu\u00e9rin, Joel Champeau, Jean-Christophe Bach, Antoine Beugnard, Fabien Dagnat, and Salvador Mart\u00ednez. 2022. Multi-Level Modeling with Openflexo\/FML: a contribution to the multi-level process challenge. Enterprise Modelling and Information Systems Architectures (EMISAJ) 17 (2022), 9--1.","journal-title":"Enterprise Modelling and Information Systems Architectures (EMISAJ)"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5220\/0012387000003645"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5220\/0012427100003645"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16515-3_54"},{"key":"e_1_3_2_1_14_1","volume-title":"Dzahar Mansor, and Tutut Herawan.","author":"Ibrahim Noraini","year":"2011","unstructured":"Noraini Ibrahim, Rosziati Ibrahim, Mohd Zainuri Saringat, Dzahar Mansor, and Tutut Herawan. 2011. Consistency Rules Between UML Use Case and Activity Diagrams using Logical Approach. International Journal of Software Engineering and its Applications 5, 3 (2011), 119--134."},{"key":"e_1_3_2_1_15_1","volume-title":"Security: 6th SIGSAND\/PLAIS EuroSymposium 2013, Gda\u0144sk, Poland, September 26, 2013. Proceedings 6. Springer, 1--16","author":"Kalibatiene Diana","year":"2013","unstructured":"Diana Kalibatiene, Olegas Vasilecas, and Ruta Dubauskaite. 2013. Rule Based Approach for Ensuring Consistency in Different UML Models. In Information Systems: Development, Learning, Security: 6th SIGSAND\/PLAIS EuroSymposium 2013, Gda\u0144sk, Poland, September 26, 2013. Proceedings 6. Springer, 1--16."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.2802"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3644815.3644946"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s42979-022-01577-0"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-013-0348-2"},{"key":"e_1_3_2_1_20_1","volume-title":"Ragnhild Van Der Straeten, and Jocelyn Simmonds","author":"Mens Tom","year":"2005","unstructured":"Tom Mens, Ragnhild Van Der Straeten, and Jocelyn Simmonds. 2005. A framework for managing consistency of evolving UML models. In Software Evolution with UML and XML. IGI Global, 1--30."},{"key":"e_1_3_2_1_21_1","volume-title":"MAPE-K Loop-Based Goal Model Generation Using Generative AI. In 2023 IEEE 31st International Requirements Engineering Conference Workshops (REW). IEEE, 247--251","author":"Nakagawa Hiroyuki","year":"2023","unstructured":"Hiroyuki Nakagawa and Shinichi Honiden. 2023. MAPE-K Loop-Based Goal Model Generation Using Generative AI. In 2023 IEEE 31st International Requirements Engineering Conference Workshops (REW). IEEE, 247--251."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/NOTERE.2011.5957992"},{"key":"e_1_3_2_1_23_1","volume-title":"Conceptual Modeling of Structure and Behavior with UML-The Top Level Object-Oriented Framework (TLOOF) Approach. In International Conference on Conceptual Modeling. Springer, 1--15","author":"Reinhartz-Berger Iris","year":"2005","unstructured":"Iris Reinhartz-Berger. 2005. Conceptual Modeling of Structure and Behavior with UML-The Top Level Object-Oriented Framework (TLOOF) Approach. In International Conference on Conceptual Modeling. Springer, 1--15."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"Bastien Sultan Ludovic Apvrille Philippe Jaillon and Sophie Coudert. 2023. W-Sec: A Model-Based Formal Method for Assessing the Impacts of Security Countermeasures. In Model-Driven Engineering and Software Development Lu\u00eds Ferreira Pires Slimane Hammoudi and Edwin Seidewitz (Eds.). Springer Nature Switzerland Cham 203--229.","DOI":"10.1007\/978-3-031-38821-7_10"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3624583"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2601248.2601292"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2018.06.029"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-76631-5_21"}],"event":{"name":"MODELS '24: ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems","location":"Linz Austria","acronym":"MODELS '24","sponsor":["Johannes Kepler University, Linz, Austria","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"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\/10.1145\/3640310.3674079","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3640310.3674079","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T23:51:30Z","timestamp":1755906690000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3640310.3674079"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,22]]},"references-count":28,"alternative-id":["10.1145\/3640310.3674079","10.1145\/3640310"],"URL":"https:\/\/doi.org\/10.1145\/3640310.3674079","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"}}]}}