{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:23:38Z","timestamp":1750220618961,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":64,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,16]],"date-time":"2020-10-16T00:00:00Z","timestamp":1602806400000},"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,10,16]]},"DOI":"10.1145\/3417990.3419224","type":"proceedings-article","created":{"date-parts":[[2020,10,27]],"date-time":"2020-10-27T02:54:12Z","timestamp":1603767252000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A language agnostic approach to modeling requirements"],"prefix":"10.1145","author":[{"given":"Abdelghani","family":"Alidra","sequence":"first","affiliation":[{"name":"IMT Atlantique Bretagne-Pays de la, Loire, Brest, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antoine","family":"Beugnard","sequence":"additional","affiliation":[{"name":"IMT Atlantique Bretagne-Pays de la, Loire, Brest, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hubert","family":"Godfroy","sequence":"additional","affiliation":[{"name":"Capgemini France, Cesson-S\u00e9vign\u00e9, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Kimmel","sequence":"additional","affiliation":[{"name":"Capgemini France, Cesson-S\u00e9vign\u00e9, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gurvan Le","family":"Guernic","sequence":"additional","affiliation":[{"name":"Inria Rennes - Bretagne Atlantique, Rennes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,10,26]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Slicing UML-based Models of Real-time Embedded Systems. In Int. Conf. Model Driven Engineering Languages and Systems. ACM, 346--356","author":"Ahmadi Reza","year":"2018","unstructured":"Reza Ahmadi , Ernesto Posse , and Juergen Dingel . 2018 . Slicing UML-based Models of Real-time Embedded Systems. In Int. Conf. Model Driven Engineering Languages and Systems. ACM, 346--356 . Reza Ahmadi, Ernesto Posse, and Juergen Dingel. 2018. Slicing UML-based Models of Real-time Embedded Systems. In Int. Conf. Model Driven Engineering Languages and Systems. ACM, 346--356."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/inmic.2007.4557693"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75209-7_30"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-008-0110-3"},{"key":"e_1_3_2_1_5_1","unstructured":"Alessandro Artale Diego Calvanese and Ang\u00e9lica Ib\u00e1nez-Garcia. 2010. Checking full satisfiability of conceptual models. In Int. Work. Description Logics. 55.  Alessandro Artale Diego Calvanese and Ang\u00e9lica Ib\u00e1nez-Garcia. 2010. Checking full satisfiability of conceptual models. In Int. Work. Description Logics. 55."},{"key":"e_1_3_2_1_6_1","volume-title":"Component and Connector Views in Practice: An Experience Report. In Int. Conf. Model Driven Engineering Languages and Systems. IEEE, 167--177","author":"Bertram Vincent","year":"2017","unstructured":"Vincent Bertram , Shahar Maoz , Jan Oliver Ringert , Bernhard Rumpe , and Michael von Wenckstern . 2017 . Component and Connector Views in Practice: An Experience Report. In Int. Conf. Model Driven Engineering Languages and Systems. IEEE, 167--177 . Vincent Bertram, Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, and Michael von Wenckstern. 2017. Component and Connector Views in Practice: An Experience Report. In Int. Conf. Model Driven Engineering Languages and Systems. IEEE, 167--177."},{"volume-title":"Testing of Software and Communicating Systems","author":"v. Bochmann Gregor","key":"e_1_3_2_1_7_1","unstructured":"Gregor v. Bochmann , Stefan Haar , Claude Jard , and Guy-Vincent Jourdan . 2008. Testing Systems Specified as Partial Order Input\/Output Automata . In Testing of Software and Communicating Systems , Kenji Suzuki, Teruo Higashino, Andreas Ulrich, and Toru Hasegawa (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 169--183. Gregor v. Bochmann, Stefan Haar, Claude Jard, and Guy-Vincent Jourdan. 2008. Testing Systems Specified as Partial Order Input\/Output Automata. In Testing of Software and Communicating Systems, Kenji Suzuki, Teruo Higashino, Andreas Ulrich, and Toru Hasegawa (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 169--183."},{"key":"e_1_3_2_1_8_1","volume-title":"An MDA framework supporting OCL. Electronic Communications of the EASST 5","author":"Brucker Achim D","year":"2007","unstructured":"Achim D Brucker , J\u00fcrgen Doser , and Burkhart Wolff . 2007. An MDA framework supporting OCL. Electronic Communications of the EASST 5 ( 2007 ). Achim D Brucker, J\u00fcrgen Doser, and Burkhart Wolff. 2007. An MDA framework supporting OCL. Electronic Communications of the EASST 5 (2007)."},{"key":"e_1_3_2_1_9_1","volume-title":"Brucker and Burkhart Wolff","author":"Achim","year":"2008","unstructured":"Achim D. Brucker and Burkhart Wolff . 2008 . HOL-OCL: A Formal Proof Environment for uml\/ocl. In Fundamental Approaches to Software Engineering, Jos\u00e9 Luiz Fiadeiro and Paola Inverardi (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg, 97--100. Achim D. Brucker and Burkhart Wolff. 2008. HOL-OCL: A Formal Proof Environment for uml\/ocl. In Fundamental Approaches to Software Engineering, Jos\u00e9 Luiz Fiadeiro and Paola Inverardi (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 97--100."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-017-0622-9"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321737"},{"key":"e_1_3_2_1_12_1","volume-title":"Giuseppe De Giacomo, and Toni Mancini","author":"Cadoli Marco","year":"2007","unstructured":"Marco Cadoli , Diego Calvanese , Giuseppe De Giacomo, and Toni Mancini . 2007 . Finite Model Reasoning on UML Class Diagrams Via Constraint Programming. In Artificial Intelligence and Human-Oriented Computing, Roberto Basili and Maria Teresa Pazienza (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg, 36--47. Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, and Toni Mancini. 2007. Finite Model Reasoning on UML Class Diagrams Via Constraint Programming. In Artificial Intelligence and Human-Oriented Computing, Roberto Basili and Maria Teresa Pazienza (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 36--47."},{"key":"e_1_3_2_1_13_1","volume-title":"Checking unsatisfiability for OCL constraints. Electronic Communications of the EASST 24","author":"Clavel Manuel","year":"2010","unstructured":"Manuel Clavel , Marina Egea , and Miguel Angel Garc\u00eda de Dios . 2010. Checking unsatisfiability for OCL constraints. Electronic Communications of the EASST 24 ( 2010 ). Manuel Clavel, Marina Egea, and Miguel Angel Garc\u00eda de Dios. 2010. Checking unsatisfiability for OCL constraints. Electronic Communications of the EASST 24 (2010)."},{"key":"e_1_3_2_1_14_1","volume-title":"Coping with Undefinedness. OCL@ MoDELS 1092","author":"Dania Carolina","year":"2013","unstructured":"Carolina Dania and Manuel Clavel . 2013. OCL2FOL+ : Coping with Undefinedness. OCL@ MoDELS 1092 ( 2013 ), 53--62. Carolina Dania and Manuel Clavel. 2013. OCL2FOL+: Coping with Undefinedness. OCL@ MoDELS 1092 (2013), 53--62."},{"key":"e_1_3_2_1_15_1","volume-title":"Int. Conf. Model Driven Engineering Languages and Systems. ACM, 65--75","author":"Dania Carolina","year":"2016","unstructured":"Carolina Dania and Manuel Clavel . 2016 . OCL2MSFOL:a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints . In Int. Conf. Model Driven Engineering Languages and Systems. ACM, 65--75 . Carolina Dania and Manuel Clavel. 2016. OCL2MSFOL:a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints. In Int. Conf. Model Driven Engineering Languages and Systems. ACM, 65--75."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503226"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)92307-J"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-015-0481-1"},{"volume-title":"Automated Software Testing: Introduction, Management, and Performance","author":"Dustin Elfriede","key":"e_1_3_2_1_19_1","unstructured":"Elfriede Dustin , Jeff Rashka , and John Paul . 1999. Automated Software Testing: Introduction, Management, and Performance . Addison-Wesley Longman Publishing Co., Inc. , Boston, MA, USA . Elfriede Dustin, Jeff Rashka, and John Paul. 1999. Automated Software Testing: Introduction, Management, and Performance. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA."},{"volume-title":"The Architecture Analysis & Design Language (AADL): An Introduction. Technical Note CMU\/SEI-2006-TN-011","author":"Feiler Peter","key":"e_1_3_2_1_20_1","unstructured":"Peter Feiler , David Gluch , and John Hudak . 2006. The Architecture Analysis & Design Language (AADL): An Introduction. Technical Note CMU\/SEI-2006-TN-011 . Carnegie Mellon University . Peter Feiler, David Gluch, and John Hudak. 2006. The Architecture Analysis & Design Language (AADL): An Introduction. Technical Note CMU\/SEI-2006-TN-011. Carnegie Mellon University."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-33693-0_11"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.979977"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/s0306-4379(02)00010-8"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-005-0089-y"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.013"},{"volume-title":"Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases","author":"Gogolla Martin","key":"e_1_3_2_1_26_1","unstructured":"Martin Gogolla , Lars Hamann , and Mirco Kuhlmann . 2010. Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases . In Tests and Proofs, Gordon Fraser and Angelo Gargantini (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 38--54. Martin Gogolla, Lars Hamann, and Mirco Kuhlmann. 2010. Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases. In Tests and Proofs, Gordon Fraser and Angelo Gargantini (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 38--54."},{"volume-title":"Int. Work. Formal Methods in Software Engineering: Rigorous and Agile Approaches","author":"Gonz\u00e1lez Carlos A","key":"e_1_3_2_1_27_1","unstructured":"Carlos A Gonz\u00e1lez , Fabian B\u00fcttner , Robert Claris\u00f3 , and Jordi Cabot . 2012. EMFtoCSP: A tool for the lightweight verification of EMF models . In Int. Work. Formal Methods in Software Engineering: Rigorous and Agile Approaches . IEEE , 44--50. Carlos A Gonz\u00e1lez, Fabian B\u00fcttner, Robert Claris\u00f3, and Jordi Cabot. 2012. EMFtoCSP: A tool for the lightweight verification of EMF models. In Int. Work. Formal Methods in Software Engineering: Rigorous and Agile Approaches. IEEE, 44--50."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2014.03.003"},{"key":"e_1_3_2_1_29_1","first-page":"2015","article-title":"Automation systems and integration --- Object-Process Methodology","volume":"19450","author":"PAS.","year":"2015","unstructured":"ISO\/ PAS. 2015 . Automation systems and integration --- Object-Process Methodology . Standard 19450 : 2015 . International Organization for Standardization. https:\/\/www.iso.org\/standard\/62274.html ISO\/PAS. 2015. Automation systems and integration --- Object-Process Methodology. Standard 19450:2015. International Organization for Standardization. https:\/\/www.iso.org\/standard\/62274.html","journal-title":"Standard"},{"key":"e_1_3_2_1_30_1","volume-title":"Formal semantics of message sequence charts. Recommendation Z.120 Annex B","author":"ITU.","year":"1998","unstructured":"ITU. 1998. Formal semantics of message sequence charts. Recommendation Z.120 Annex B . International Telecommunication Union . https:\/\/www.itu.int\/rec\/T-REC-Z.120- 1998 04-I!AnnB\/en ITU. 1998. Formal semantics of message sequence charts. Recommendation Z.120 Annex B. International Telecommunication Union. https:\/\/www.itu.int\/rec\/T-REC-Z.120-199804-I!AnnB\/en"},{"key":"e_1_3_2_1_31_1","volume-title":"Message Sequence Chart (MSC). Recommendation Z.120","author":"ITU.","year":"2011","unstructured":"ITU. 2011. Message Sequence Chart (MSC). Recommendation Z.120 . International Telecommunication Union . https:\/\/www.itu.int\/rec\/T-REC-Z.120- 2011 02-I\/en ITU. 2011. Message Sequence Chart (MSC). Recommendation Z.120. International Telecommunication Union. https:\/\/www.itu.int\/rec\/T-REC-Z.120-201102-I\/en"},{"key":"e_1_3_2_1_32_1","volume-title":"Specification and Description Language - Overview of SDL-2010. Recommendation Z.100","author":"ITU.","year":"2019","unstructured":"ITU. 2019. Specification and Description Language - Overview of SDL-2010. Recommendation Z.100 . International Telecommunication Union . https:\/\/www.itu.int\/rec\/T-REC-Z.100- 2019 10-I\/en ITU. 2019. Specification and Description Language - Overview of SDL-2010. Recommendation Z.100. International Telecommunication Union. https:\/\/www.itu.int\/rec\/T-REC-Z.100-201910-I\/en"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.2200\/S00310ED1V01Y201011DCT005"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-42064-6_12"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33666-9_27"},{"volume-title":"Programming Languages and Systems","author":"Larsen Kim G","key":"e_1_3_2_1_36_1","unstructured":"Kim G Larsen , Ulrik Nyman , and Andrzej Wasowski . 2007. Modal I\/O Automata for Interface and Product Line Theories . In Programming Languages and Systems , Rocco De Nicola (Ed.). Springer Berlin Heidelberg , Berlin, Heidelberg , 64--79. Kim G Larsen, Ulrik Nyman, and Andrzej Wasowski. 2007. Modal I\/O Automata for Interface and Product Line Theories. In Programming Languages and Systems, Rocco De Nicola (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 64--79."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5220\/0005795205550562"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/0306-4379(90)90048-t"},{"key":"e_1_3_2_1_39_1","first-page":"3","article-title":"An Introduction to Input\/Output Automata","volume":"2","author":"Lynch Nancy A","year":"1989","unstructured":"Nancy A Lynch and Mark R Tuttle . 1989 . An Introduction to Input\/Output Automata . CWI Quaterly 2 , 3 (Sept. 1989), 219--246. Nancy A Lynch and Mark R Tuttle. 1989. An Introduction to Input\/Output Automata. CWI Quaterly 2, 3 (Sept. 1989), 219--246.","journal-title":"CWI Quaterly"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568237"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72901-3_2"},{"key":"e_1_3_2_1_42_1","unstructured":"R Marcano and N Levy. 2002. Using B formal specifications for analysis and verification of UML\/OCL models. In Work. consistency problems in UML-based software development. Citeseer 91--105.  R Marcano and N Levy. 2002. Using B formal specifications for analysis and verification of UML\/OCL models. In Work. consistency problems in UML-based software development. Citeseer 91--105."},{"volume-title":"OMG\u00ae Unified Modeling Language\u00ae (OMG UML\u00ae). Standard","author":"OMG.","key":"e_1_3_2_1_43_1","unstructured":"OMG. 2017. OMG\u00ae Unified Modeling Language\u00ae (OMG UML\u00ae). Standard . Object Management Group (OMG) . http:\/\/www.omg.org\/spec\/UML\/2.5.1\/Version 2.5.1. OMG. 2017. OMG\u00ae Unified Modeling Language\u00ae (OMG UML\u00ae). Standard. Object Management Group (OMG). http:\/\/www.omg.org\/spec\/UML\/2.5.1\/Version 2.5.1."},{"volume-title":"OMG Systems Modeling Language (OMG SysML\u2122). Standard","author":"OMG.","key":"e_1_3_2_1_44_1","unstructured":"OMG. 2019. OMG Systems Modeling Language (OMG SysML\u2122). Standard . Object Management Group (OMG) . http:\/\/www.omg.org\/spec\/SysML\/L6\/ Version 1.6. OMG. 2019. OMG Systems Modeling Language (OMG SysML\u2122). Standard. Object Management Group (OMG). http:\/\/www.omg.org\/spec\/SysML\/L6\/ Version 1.6."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115704"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2011.09.004"},{"volume-title":"AuRUS: Automated Reasoning on UML\/OCL Schemas","author":"Queralt Anna","key":"e_1_3_2_1_47_1","unstructured":"Anna Queralt , Guillem Rull , Ernest Teniente , Carles Farr\u00e9 , and Toni Urp\u00ed . 2010. AuRUS: Automated Reasoning on UML\/OCL Schemas . In Conceptual Modeling, Jeffrey Parsons, Motoshi Saeki, Peretz Shoval, Carson Woo, and Yair Wand (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 438--444. Anna Queralt, Guillem Rull, Ernest Teniente, Carles Farr\u00e9, and Toni Urp\u00ed. 2010. AuRUS: Automated Reasoning on UML\/OCL Schemas. In Conceptual Modeling, Jeffrey Parsons, Motoshi Saeki, Peretz Shoval, Carson Woo, and Yair Wand (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 438--444."},{"volume-title":"Reasoning on UML Class Diagrams with OCL Constraints","author":"Queralt Anna","key":"e_1_3_2_1_48_1","unstructured":"Anna Queralt and Ernest Teniente . 2006. Reasoning on UML Class Diagrams with OCL Constraints . In Conceptual Modeling, David W. Embley, Antoni Oliv\u00e9, and Sudha Ram (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 497--512. Anna Queralt and Ernest Teniente. 2006. Reasoning on UML Class Diagrams with OCL Constraints. In Conceptual Modeling, David W. Embley, Antoni Oliv\u00e9, and Sudha Ram (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 497--512."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/itsim.2008.4631599"},{"key":"e_1_3_2_1_50_1","volume-title":"Automatic Generation of Consistency-Preserving Edit Operations for MDE Tools. Demos@MoDELS","author":"Rindt Michaela","year":"2014","unstructured":"Michaela Rindt , Timo Kehrer , and Udo Kelter . 2014. Automatic Generation of Consistency-Preserving Edit Operations for MDE Tools. Demos@MoDELS ( 2014 ). Michaela Rindt, Timo Kehrer, and Udo Kelter. 2014. Automatic Generation of Consistency-Preserving Edit Operations for MDE Tools. Demos@MoDELS (2014)."},{"volume-title":"Mapping UML models incorporating OCL constraints into Object-Z","author":"Roe David","key":"e_1_3_2_1_51_1","unstructured":"David Roe , Krysia Broda , and Alessandra Russo . 2003. Mapping UML models incorporating OCL constraints into Object-Z . Imperial College of Science, Technology and Medicine, Department of Computing . David Roe, Krysia Broda, and Alessandra Russo. 2003. Mapping UML models incorporating OCL constraints into Object-Z. Imperial College of Science, Technology and Medicine, Department of Computing."},{"volume-title":"Mapping UML models incorporating OCL constraints into Object-Z","author":"Roe David","key":"e_1_3_2_1_52_1","unstructured":"David Roe , Krysia Broda , and Alessandra Russo . 2003. Mapping UML models incorporating OCL constraints into Object-Z . Imperial College of Science, Technology and Medicine, Department of Computing . David Roe, Krysia Broda, and Alessandra Russo. 2003. Mapping UML models incorporating OCL constraints into Object-Z. Imperial College of Science, Technology and Medicine, Department of Computing."},{"key":"e_1_3_2_1_53_1","unstructured":"Pascal Roques. 2016. MBSE with the ARCADIA Method and the Capella Tool. In Eur. Cong. Embedded Real Time Software and Systems. https:\/\/web1.see.asso.fr\/erts2016\/uploads\/program\/paper_5.pdf  Pascal Roques. 2016. MBSE with the ARCADIA Method and the Capella Tool. In Eur. Cong. Embedded Real Time Software and Systems. https:\/\/web1.see.asso.fr\/erts2016\/uploads\/program\/paper_5.pdf"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85654-2_56"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/504087.504091"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21768-5_12"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5457017"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/DEPCOS-RELCOMEX.2006.27"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"crossref","unstructured":"Markus Weckesser Malte Lochau Michael Ries and Andy Sch\u00fcrr. 2017. Towards complete consistency checks of clafer models. In Int. Work. Feature-Oriented Software Development. ACM 11--20.  Markus Weckesser Malte Lochau Michael Ries and Andy Sch\u00fcrr. 2017. Towards complete consistency checks of clafer models. In Int. Work. Feature-Oriented Software Development. ACM 11--20.","DOI":"10.1145\/3141848.3141850"},{"key":"e_1_3_2_1_60_1","volume-title":"Mathematical Programming for Anomaly Analysis of Clafer Models. In Int. Conf. Model Driven Engineering Languages and Systems. ACM, 34--44","author":"Weckesser Markus","year":"2018","unstructured":"Markus Weckesser , Malte Lochau , Michael Ries , and Andy Sch\u00fcrr . 2018 . Mathematical Programming for Anomaly Analysis of Clafer Models. In Int. Conf. Model Driven Engineering Languages and Systems. ACM, 34--44 . Markus Weckesser, Malte Lochau, Michael Ries, and Andy Sch\u00fcrr. 2018. Mathematical Programming for Anomaly Analysis of Clafer Models. In Int. Conf. Model Driven Engineering Languages and Systems. ACM, 34--44."},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2012.6176655"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-61482-3_11"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66845-1_23"},{"key":"e_1_3_2_1_64_1","volume-title":"Compositional Reasoning for Shared-Variable Concurrent Programs. In Int. Symp. Formal Methods. Springer, 523--541","author":"Zhang Fuyuan","year":"2018","unstructured":"Fuyuan Zhang , Yongwang Zhao , David San\u00e1n , Yang Liu , Alwen Tiu , Shang-Wei Lin , and Jun Sun . 2018 . Compositional Reasoning for Shared-Variable Concurrent Programs. In Int. Symp. Formal Methods. Springer, 523--541 . Fuyuan Zhang, Yongwang Zhao, David San\u00e1n, Yang Liu, Alwen Tiu, Shang-Wei Lin, and Jun Sun. 2018. Compositional Reasoning for Shared-Variable Concurrent Programs. In Int. Symp. Formal Methods. Springer, 523--541."}],"event":{"name":"MODELS '20: ACM\/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Virtual Event Canada","acronym":"MODELS '20"},"container-title":["Proceedings of the 23rd ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3417990.3419224","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3417990.3419224","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:01:15Z","timestamp":1750197675000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3417990.3419224"}},"subtitle":["specification and verification"],"short-title":[],"issued":{"date-parts":[[2020,10,16]]},"references-count":64,"alternative-id":["10.1145\/3417990.3419224","10.1145\/3417990"],"URL":"https:\/\/doi.org\/10.1145\/3417990.3419224","relation":{},"subject":[],"published":{"date-parts":[[2020,10,16]]},"assertion":[{"value":"2020-10-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}