{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T11:14:24Z","timestamp":1767611664660,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,3,30]],"date-time":"2020-03-30T00:00:00Z","timestamp":1585526400000},"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":[[2020,3,30]]},"DOI":"10.1145\/3341105.3374093","type":"proceedings-article","created":{"date-parts":[[2020,3,29]],"date-time":"2020-03-29T12:13:52Z","timestamp":1585484032000},"page":"1654-1657","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Chaining model transformations to develop a system model verification tool"],"prefix":"10.1145","author":[{"given":"Christophe","family":"Duhil","sequence":"first","affiliation":[{"name":"Thales Defense Mission System, Brest, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Philippe","family":"Babau","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Bretagne Occidentale, Brest, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"L\u00e9picier","sequence":"additional","affiliation":[{"name":"Thales Defense Mission System Brest, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Luc","family":"Voirin","sequence":"additional","affiliation":[{"name":"Thales Defense Mission System, Brest, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan","family":"Navas","sequence":"additional","affiliation":[{"name":"Thales Corporate Engineering, Velizy-Villacoublay, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,3,30]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n. d.]. Acceleo. https:\/\/www.eclipse.org\/acceleo\/.  [n. d.]. Acceleo. https:\/\/www.eclipse.org\/acceleo\/."},{"key":"e_1_3_2_1_2_1","volume-title":"1st Int. Conf. on Simulation and Modeling Methodologies, Technologies and Applications (SIMUL-TECH'11)","author":"Sindico Andrea","year":"2001","unstructured":"Andrea Sindico , Marco Di Natale , and Giampiero Panci . 2001 . Integrating SysML with Simulink using Open-source Model Transformations .. In 1st Int. Conf. on Simulation and Modeling Methodologies, Technologies and Applications (SIMUL-TECH'11) . Noordwijekr, The Netherlands, 45--56. http:\/\/retis.sssup.it\/~marco\/papers\/ 2011\/simultech.pdf Andrea Sindico, Marco Di Natale, and Giampiero Panci. 2001. Integrating SysML with Simulink using Open-source Model Transformations.. In 1st Int. Conf. on Simulation and Modeling Methodologies, Technologies and Applications (SIMUL-TECH'11). Noordwijekr, The Netherlands, 45--56. http:\/\/retis.sssup.it\/~marco\/papers\/2011\/simultech.pdf"},{"key":"e_1_3_2_1_3_1","volume-title":"Towards a Model Integration from SysML to MATLAB\/Simulink. Journal of Software","author":"Chabibi Bassim","year":"2018","unstructured":"Bassim Chabibi , Adil Anwar , and Mahmoud Nassar . 2018. Towards a Model Integration from SysML to MATLAB\/Simulink. Journal of Software ( 2018 ), 630--645. Bassim Chabibi, Adil Anwar, and Mahmoud Nassar. 2018. Towards a Model Integration from SysML to MATLAB\/Simulink. Journal of Software (2018), 630--645."},{"key":"e_1_3_2_1_4_1","volume-title":"8th European Congress on Embedded Real Time Software and Systems (ERTS","author":"Combemale Benoit","year":"2016","unstructured":"Benoit Combemale , C\u00e9dric Brun , Jo\u00ebl Champeau , Xavier Cr\u00e9gut , Julien Deantoni , and J\u00e9rome LE Noir . 2016 . A Tool-Supported Approach of Concurrent Execution Of Heterogeneous Models . In 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016). Toulouse. https:\/\/hal.inria.fr\/hal-01258358 Benoit Combemale, C\u00e9dric Brun, Jo\u00ebl Champeau, Xavier Cr\u00e9gut, Julien Deantoni, and J\u00e9rome LE Noir. 2016. A Tool-Supported Approach of Concurrent Execution Of Heterogeneous Models. In 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016). Toulouse. https:\/\/hal.inria.fr\/hal-01258358"},{"key":"e_1_3_2_1_5_1","volume-title":"Essay on Semantics Definition in MDE An Instrumented Approach for Model Verification. journal of Software (Nov","author":"Combemale Benoit","year":"2009","unstructured":"Benoit Combemale , Xavier Cr\u00e9gut , Pierre-Lo\u00efc Garoche , and Xavier Thirioux . 2009. Essay on Semantics Definition in MDE An Instrumented Approach for Model Verification. journal of Software (Nov . 2009 ), 943--958. Benoit Combemale, Xavier Cr\u00e9gut, Pierre-Lo\u00efc Garoche, and Xavier Thirioux. 2009. Essay on Semantics Definition in MDE An Instrumented Approach for Model Verification. journal of Software (Nov. 2009), 943--958."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1080\/1206212X.2009.11441941"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1987.13876"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2997364.2997384"},{"volume-title":"Model-based System and Architecture Engineering with the Arcadia Method","key":"e_1_3_2_1_9_1","unstructured":"Jean-Luc. Voirin. 2017. Model-based System and Architecture Engineering with the Arcadia Method . Elsevier . Jean-Luc. Voirin. 2017. Model-based System and Architecture Engineering with the Arcadia Method. Elsevier."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-006-0036-6"},{"volume-title":"Enterprise Distributed Object Computing Conference. IEEE","author":"Jos\u00e9","key":"e_1_3_2_1_11_1","unstructured":"Jos\u00e9 E. Riviera and Antonio Vallecillo. 2007. Adding Behavioral Semantics to Models . In Enterprise Distributed Object Computing Conference. IEEE , Annapolis, MD, USA, 169--180. Jos\u00e9 E. Riviera and Antonio Vallecillo. 2007. Adding Behavioral Semantics to Models. In Enterprise Distributed Object Computing Conference. IEEE, Annapolis, MD, USA, 169--180."},{"volume-title":"Model Driven Architecture, Foundations and Applications (Lecture Notes in Computer Science)","author":"Chen Kai","key":"e_1_3_2_1_12_1","unstructured":"Kai Chen , Janos Sztipanovits , Sherif Abdelwalhed , and Ethan Jackson . 2005. Semantic Anchoring with Model Transformations . In Model Driven Architecture, Foundations and Applications (Lecture Notes in Computer Science) , Alan Hartman and David Kreische (Eds.), Vol. 3748 . Springer Berlin Heidelberg , Nuremberg, Germany , 115--129. Kai Chen, Janos Sztipanovits, Sherif Abdelwalhed, and Ethan Jackson. 2005. Semantic Anchoring with Model Transformations. In Model Driven Architecture, Foundations and Applications (Lecture Notes in Computer Science), Alan Hartman and David Kreische (Eds.), Vol. 3748. Springer Berlin Heidelberg, Nuremberg, Germany, 115--129."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0429-x"},{"key":"e_1_3_2_1_14_1","volume-title":"MoDELS 2016 Demo and Poster Sessions co-located with ACM\/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS","author":"Vallejo Paola","year":"2016","unstructured":"Paola Vallejo , Jean-Philippe Babau , and Micka\u00e8l Kerboeuf . 2016. ModifRoundtrip: A Model-Based tool to reuse legacy transformations . In MoDELS 2016 Demo and Poster Sessions co-located with ACM\/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016 ). IEEE Xplore, Saint Malo , France . Paola Vallejo, Jean-Philippe Babau, and Micka\u00e8l Kerboeuf. 2016. ModifRoundtrip: A Model-Based tool to reuse legacy transformations. In MoDELS 2016 Demo and Poster Sessions co-located with ACM\/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016). IEEE Xplore, Saint Malo, France."},{"volume-title":"System 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. System Architecture Modeling with the Arcadia Method: A Practical Guide to Capella . Elsevier . Pascal Roques. 2017. System Architecture Modeling with the Arcadia Method: A Practical Guide to Capella. Elsevier."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Slim Medimegh Jean-Yves Pierron and Fr\u00e9d\u00e9ric Boulanger. 2018. Qualitative Simulation of Hybrid Systems with an Application to SysML Models. In 6 th International Conference on Model-Driven Engineering and Software Development. SCITEPRESS - Science and Technology Publications Funchal Portugal.  Slim Medimegh Jean-Yves Pierron and Fr\u00e9d\u00e9ric Boulanger. 2018. Qualitative Simulation of Hybrid Systems with an Application to SysML Models. In 6 th International Conference on Model-Driven Engineering and Software Development . SCITEPRESS - Science and Technology Publications Funchal Portugal.","DOI":"10.5220\/0006535202790286"},{"key":"e_1_3_2_1_17_1","volume-title":"France","author":"Sun Wuliang","year":"2013","unstructured":"Wuliang Sun , Benoit Combemale , Steven Derrien , and Robert B . France . 2013 . Using Model Types to Support Contract-Aware Model Substitutability. In Modelling Foundations and Applications (Lecture Notes in Computer Science), Pieter Van Gorp, Tom Ritter, and Louis M. Rose (Eds.), Vol. 7949 . Springer Berlin Heidelberg , Montpellier, France, 118--133. Wuliang Sun, Benoit Combemale, Steven Derrien, and Robert B. France. 2013. Using Model Types to Support Contract-Aware Model Substitutability. In Modelling Foundations and Applications (Lecture Notes in Computer Science), Pieter Van Gorp, Tom Ritter, and Louis M. Rose (Eds.), Vol. 7949. Springer Berlin Heidelberg, Montpellier, France, 118--133."}],"event":{"name":"SAC '20: The 35th ACM\/SIGAPP Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Brno Czech Republic","acronym":"SAC '20"},"container-title":["Proceedings of the 35th Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3341105.3374093","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3341105.3374093","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:24Z","timestamp":1750199904000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3341105.3374093"}},"subtitle":["application to capella state machines and data flows models"],"short-title":[],"issued":{"date-parts":[[2020,3,30]]},"references-count":17,"alternative-id":["10.1145\/3341105.3374093","10.1145\/3341105"],"URL":"https:\/\/doi.org\/10.1145\/3341105.3374093","relation":{},"subject":[],"published":{"date-parts":[[2020,3,30]]},"assertion":[{"value":"2020-03-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}