{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T19:01:19Z","timestamp":1754161279921,"version":"3.41.2"},"publisher-location":"New York, NY, USA","reference-count":50,"publisher":"ACM","funder":[{"name":"National Key Research and Devel- opment Program of China","award":["2022YFB4501901"],"award-info":[{"award-number":["2022YFB4501901"]}]},{"name":"State Key Laboratory of Complex & Critical Software Environment","award":["CCSE-2024ZX-16"],"award-info":[{"award-number":["CCSE-2024ZX-16"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,23]]},"DOI":"10.1145\/3696630.3728550","type":"proceedings-article","created":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:09:27Z","timestamp":1753729767000},"page":"250-261","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["SemServGen: Advancing Industrial Domain-Specific Language Engineering through Semantic Service Generation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9767-6773","authenticated-orcid":false,"given":"Yong","family":"Wang","sequence":"first","affiliation":[{"name":"School of Software, Beihang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1708-5018","authenticated-orcid":false,"given":"Ning","family":"Ge","sequence":"additional","affiliation":[{"name":"School of Software, Beihang University, Beijing, China"},{"name":"State Key Laboratory of Complex & Critical Software Environment, Beijing, China"},{"name":"Zhongguancun Laboratory, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-7580-1691","authenticated-orcid":false,"given":"Jingyao","family":"Li","sequence":"additional","affiliation":[{"name":"School of Software, Beihang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-4337-4031","authenticated-orcid":false,"given":"Loulin","family":"Wang","sequence":"additional","affiliation":[{"name":"School of Software, Beihang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-7608-8546","authenticated-orcid":false,"given":"Guangyu","family":"Zhou","sequence":"additional","affiliation":[{"name":"Software IDE innovation Lab, Huawei, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-9415-6113","authenticated-orcid":false,"given":"Chengrui","family":"Deng","sequence":"additional","affiliation":[{"name":"Software IDE innovation Lab, Huawei, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2258-5893","authenticated-orcid":false,"given":"Li","family":"Zhang","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, Beihang University, Beijing, China"},{"name":"State Key Laboratory of Complex & Critical Software Environment, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3473-9703","authenticated-orcid":false,"given":"Chunming","family":"Hu","sequence":"additional","affiliation":[{"name":"School of Software, Beihang University, Beijing, China"},{"name":"State Key Laboratory of Complex & Critical Software Environment, Beijing, China"},{"name":"Zhongguancun Laboratory, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,7,28]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Frameworks generate domain-specific languages: A case study in the multimedia domain","author":"Amatriain Xavier","year":"2010","unstructured":"Xavier Amatriain and Pau Arumi. 2010. Frameworks generate domain-specific languages: A case study in the multimedia domain. IEEE transactions on software engineering 37, 4 (2010), 544\u2013558."},{"key":"e_1_3_2_1_2_1","unstructured":"Guillaume Ambal Alan Schmitt and Sergue\u00ef Lenglet. 2020. Automatic Transformation of a Big-Step Skeletal Semantics into Small-Step. Research Report RR-9363. Inria Rennes - Bretagne Atlantique. https:\/\/inria.hal.science\/hal-02946930"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","first-page":"559","DOI":"10.1109\/TSE.2015.2506164","article-title":"Enforcing exception handling policies with a domain-specific language","volume":"42","author":"Barbosa Eiji Adachi","year":"2015","unstructured":"Eiji Adachi Barbosa, Alessandro Garcia, Martin P Robillard, and Benjamin Jakobus. 2015. Enforcing exception handling policies with a domain-specific language. IEEE Transactions on Software Engineering 42, 6 (2015), 559\u2013584.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1145\/505145.505147","article-title":"Achieving extensibility through product-lines and domain-specific languages: a case study","volume":"11","author":"Batory Don","year":"2002","unstructured":"Don Batory, Clay Johnson, Bob MacDonald, and Dale Von Heeder. 2002. Achieving extensibility through product-lines and domain-specific languages: a case study. ACM Transactions on Software Engineering and Methodology (TOSEM) 11, 2 (2002), 191\u2013214.","journal-title":"ACM Transactions on Software Engineering and Methodology (TOSEM)"},{"key":"e_1_3_2_1_5_1","volume-title":"2016 IEEE International Conference on Software Testing, Verification and Validation (ICST). IEEE, 157\u2013167","author":"Bernardino Maicon","year":"2016","unstructured":"Maicon Bernardino, Avelino F Zorzo, and Elder M Rodrigues. 2016. Canopus: A domain-specific language for modeling performance testing. In 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST). IEEE, 157\u2013167."},{"key":"e_1_3_2_1_6_1","first-page":"10","volume-title":"Proc. ACM Program. Lang. 3, POPL, Article 44 (jan","author":"Bodin Martin","year":"2019","unstructured":"Martin Bodin, Philippa Gardner, Thomas Jensen, and Alan Schmitt. 2019. Skeletal semantics and their interpretations. Proc. ACM Program. Lang. 3, POPL, Article 44 (jan 2019), 31 pages. 10.1145\/3290357"},{"volume-title":"The MPS language workbench","author":"Campagne Fabien","key":"e_1_3_2_1_7_1","unstructured":"Fabien Campagne. 2014. The MPS language workbench: volume I. Vol. 1. Fabien Campagne."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/j.engappai.2013.11.012","article-title":"On the use of a domain-specific modeling language in the development of multiagent systems","volume":"28","author":"Challenger Moharram","year":"2014","unstructured":"Moharram Challenger, Sebla Demirkol, Sinem Getir, Marjan Mernik, Geylani Kardas, and Toma\u017e Kosar. 2014. On the use of a domain-specific modeling language in the development of multiagent systems. Engineering Applications of Artificial Intelligence 28 (2014), 111\u2013141.","journal-title":"Engineering Applications of Artificial Intelligence"},{"volume-title":"International Colloquium on Theoretical Aspects of Computing","author":"Chen Sini","key":"e_1_3_2_1_9_1","unstructured":"Sini Chen, Huibiao Zhu, Ran Li, Lili Xiao, Jiapeng Wang, Ning Ge, and Xinbin Cao. 2024. Formal Foundations for Efficient Simulation of MOM Systems: The Refinement Calculus for Object-Oriented Event-Graphs. In International Colloquium on Theoretical Aspects of Computing. Springer, 290\u2013309."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","first-page":"825","DOI":"10.1109\/TSE.2009.14","article-title":"A model-based approach to families of embedded domain-specific languages","volume":"35","author":"Cuadrado Jes\u00fas S\u00e1nchez","year":"2009","unstructured":"Jes\u00fas S\u00e1nchez Cuadrado and Jesus Garcia Molina. 2009. A model-based approach to families of embedded domain-specific languages. IEEE Transactions on Software Engineering 35, 6 (2009), 825\u2013840.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"e_1_3_2_1_11_1","volume-title":"2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). IEEE, 238\u2013245","author":"Darif Ikram","year":"2022","unstructured":"Ikram Darif, Cristiano Politowski, Ghizlane El Boussaidi, and S\u00e8gla Kpodjedo. 2022. A domain specific language for the ARINC 653 specification. In 2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). IEEE, 238\u2013245."},{"key":"e_1_3_2_1_12_1","volume-title":"SIMPAR 2012, Tsukuba, Japan, November 5\u20138, 2012. Proceedings 3. Springer, 149\u2013160","author":"Dhouib Saadia","year":"2012","unstructured":"Saadia Dhouib, Selma Kchir, Serge Stinckwich, Tewfik Ziadi, and Mikal Ziane. 2012. Robotml, a domain-specific language to design, simulate and deploy robotic applications. In Simulation, Modeling, and Programming for Autonomous Robots: Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5\u20138, 2012. Proceedings 3. Springer, 149\u2013160."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3490387","article-title":"Verification of distributed systems via sequential emulation","volume":"31","author":"Stefano Luca Di","year":"2022","unstructured":"Luca Di Stefano, Rocco De Nicola, and Omar Inverso. 2022. Verification of distributed systems via sequential emulation. ACM Transactions on Software Engineering and Methodology (TOSEM) 31, 3 (2022), 1\u201341.","journal-title":"ACM Transactions on Software Engineering and Methodology (TOSEM)"},{"key":"e_1_3_2_1_14_1","unstructured":"Engineering and Physical Sciences Research Council. 2023. Programming Language Components and Specifications. https:\/\/plancomps.github.io\/. Accessed: 2024-09-09."},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion. 307\u2013309","author":"Eysholdt Moritz","year":"2010","unstructured":"Moritz Eysholdt and Heiko Behrens. 2010. Xtext: implement your language faster than the quick and dirty way. In Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion. 307\u2013309."},{"key":"e_1_3_2_1_16_1","unstructured":"Martin Fowler. 2010. Domain-specific languages. Pearson Education."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","first-page":"102624","DOI":"10.1016\/j.scico.2021.102624","article-title":"RT-MOBS: A compositional observer semantics of time Petri net for real-time property specification language based on \u03bc-calculus","volume":"206","author":"Ge Ning","year":"2021","unstructured":"Ning Ge, Silvano Dal Zilio, Hongyu Liu, Li Zhang, and Lianyi Zhang. 2021. RT-MOBS: A compositional observer semantics of time Petri net for real-time property specification language based on \u03bc-calculus. Science of Computer Programming 206 (2021), 102624.","journal-title":"Science of Computer Programming"},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. 12\u201316","author":"Ge Ning","year":"2022","unstructured":"Ning Ge, Yunduo Wang, Yuan Wang, and Yong Wang. 2022. Towards the practical adoption of LIDL: a toolchain for modeling human-machine interface software interactions. In Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. 12\u201316."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","first-page":"101209","DOI":"10.1016\/j.cola.2023.101209","article-title":"A domain-specific language for describing machine learning datasets","volume":"76","author":"Giner-Miguelez Joan","year":"2023","unstructured":"Joan Giner-Miguelez, Abel G\u00f3mez, and Jordi Cabot. 2023. A domain-specific language for describing machine learning datasets. Journal of Computer Languages 76 (2023), 101209.","journal-title":"Journal of Computer Languages"},{"key":"e_1_3_2_1_20_1","unstructured":"GRAALVM. 2023. Simplelanguage. https:\/\/github.com\/graalvm\/simplelanguage Accessed: 2024-09-09."},{"key":"e_1_3_2_1_21_1","volume-title":"2021 IEEE\/ACM 8th International Workshop on Software Engineering Research and Industrial Practice (SER&IP). IEEE, 49\u201356","author":"Gupta Rohit","year":"2021","unstructured":"Rohit Gupta, Sieglinde Kranz, Nikolaus Regnat, Bernhard Rumpe, and Andreas Wortmann. 2021. Towards a systematic engineering of industrial domain-specific languages. In 2021 IEEE\/ACM 8th International Workshop on Software Engineering Research and Industrial Practice (SER&IP). IEEE, 49\u201356."},{"volume-title":"Model-Based Design for Embedded Systems","author":"Jackson Ethan","key":"e_1_3_2_1_22_1","unstructured":"Ethan Jackson, Ryan Thibodeaux, and Joseph Porter. 2018. Semantics of Domain-SpecificModeling Languages. In Model-Based Design for Embedded Systems. CRC Press, 461\u2013510."},{"key":"e_1_3_2_1_23_1","volume-title":"Habitation: a domain-specific language for home automation","author":"Jimenez Manuel","year":"2009","unstructured":"Manuel Jimenez, Francisca Rosique, Pedro Sanchez, Barbara Alvarez, and Andres Iborra. 2009. Habitation: a domain-specific language for home automation. IEEE software 26, 4 (2009), 30\u201338."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","first-page":"1505","DOI":"10.1007\/s10270-013-0387-8","article-title":"A framework for qualitative assessment of domain-specific languages","volume":"14","author":"Kahraman G\u00f6khan","year":"2015","unstructured":"G\u00f6khan Kahraman and Semih Bilgen. 2015. A framework for qualitative assessment of domain-specific languages. Software & Systems Modeling 14 (2015), 1505\u20131526.","journal-title":"Software & Systems Modeling"},{"key":"e_1_3_2_1_25_1","volume-title":"Proceedings of the ACM international conference on Object oriented programming systems languages and applications. 444\u2013463","author":"Kats Lennart CL","year":"2010","unstructured":"Lennart CL Kats and Eelco Visser. 2010. The Spoofax language workbench: rules for declarative specification of languages and IDEs. In Proceedings of the ACM international conference on Object oriented programming systems languages and applications. 444\u2013463."},{"key":"e_1_3_2_1_26_1","volume-title":"Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (Reno\/Tahoe","author":"Lennart","year":"1869","unstructured":"Lennart C.L. Kats and Eelco Visser. 2010. The spoofax language workbench: rules for declarative specification of languages and IDEs. In Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (Reno\/Tahoe, Nevada, USA) (OOPSLA '10). Association for Computing Machinery, New York, NY, USA, 444\u2013463. 10.1145\/1869459.1869497"},{"key":"e_1_3_2_1_27_1","volume-title":"JFLA 2021 - Journ\u00e9es Francophones des Langages Applicatifs","author":"Khayam Adam","year":"2021","unstructured":"Adam Khayam, Louis Noizet, and Alan Schmitt. 2021. JSkel: Towards a Formalization of JavaScript's Semantics. In JFLA 2021 - Journ\u00e9es Francophones des Langages Applicatifs. Virtuelles, France, 1\u201322. https:\/\/inria.hal.science\/hal-03509431"},{"key":"e_1_3_2_1_28_1","volume-title":"Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering. 235\u2013248","author":"Khorram Faezeh","year":"2022","unstructured":"Faezeh Khorram, Erwan Bousse, Antonio Garmendia, Jean-Marie Mottu, Gerson Suny\u00e9, and Manuel Wimmer. 2022. From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages. In Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering. 235\u2013248."},{"key":"e_1_3_2_1_29_1","volume-title":"RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation. In 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation. 168\u2013177","author":"Klint Paul","year":"2009","unstructured":"Paul Klint, Tijs van der Storm, and Jurgen Vinju. 2009. RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation. In 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation. 168\u2013177. 10.1109\/SCAM.2009.28"},{"key":"e_1_3_2_1_30_1","volume-title":"2023 ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, 266\u2013275","author":"Kourouklidis Panagiotis","year":"2023","unstructured":"Panagiotis Kourouklidis, Dimitris Kolovos, Joost Noppen, and Nicholas Matragkas. 2023. A Domain-Specific Language for Monitoring ML Model Performance. In 2023 ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, 266\u2013275."},{"key":"e_1_3_2_1_31_1","first-page":"1415","article-title":"Production plan analysis oriented collaborative manufacturing process modeling language and modeling\/simulation system","volume":"29","author":"Li ZHANG","year":"2023","unstructured":"ZHANG Li, YANG Zitian, GE Ning, and LIU Yi. 2023. Production plan analysis oriented collaborative manufacturing process modeling language and modeling\/simulation system. Computer Integrated Manufacturing System 29, 5 (2023), 1415.","journal-title":"Computer Integrated Manufacturing System"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"crossref","first-page":"2342","DOI":"10.1109\/TSC.2021.3050610","article-title":"Specification and automated analysis of inter-parameter dependencies in web APIs","volume":"15","author":"Martin-Lopez Alberto","year":"2021","unstructured":"Alberto Martin-Lopez, Sergio Segura, Carlos M\u00fcller, and Antonio Ruiz-Cort\u00e9s. 2021. Specification and automated analysis of inter-parameter dependencies in web APIs. IEEE Transactions on Services Computing 15, 4 (2021), 2342\u20132355.","journal-title":"IEEE Transactions on Services Computing"},{"key":"e_1_3_2_1_33_1","volume-title":"When and how to develop domain-specific languages. ACM computing surveys (CSUR) 37, 4","author":"Mernik Marjan","year":"2005","unstructured":"Marjan Mernik, Jan Heering, and Anthony M Sloane. 2005. When and how to develop domain-specific languages. ACM computing surveys (CSUR) 37, 4 (2005), 316\u2013344."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jvlc.2018.11.003"},{"key":"e_1_3_2_1_35_1","volume-title":"Semantics in Skel and Necro. In ICTCS 2022 - Italian Conference on Theoretical Computer Science (CEUR Workshop Proceedings)","author":"Noizet Louis","year":"2022","unstructured":"Louis Noizet and Alan Schmitt. 2022. Semantics in Skel and Necro. In ICTCS 2022 - Italian Conference on Theoretical Computer Science (CEUR Workshop Proceedings). Rome, Italy, 1\u201317. https:\/\/inria.hal.science\/hal-03784478"},{"key":"e_1_3_2_1_36_1","unstructured":"Louis Noizet and Alan Schmitt. 2022. Stating and Handling Semantics with Skel and Necro. Research Report RR-9449. Inria Rennes - Bretagne Atlantique. 1\u201323 pages. https:\/\/inria.hal.science\/hal-03543701"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"crossref","first-page":"789","DOI":"10.1002\/spe.4380250705","article-title":"ANTLR: A predicated-LL (k) parser generator. Software","volume":"25","author":"Parr Terence J.","year":"1995","unstructured":"Terence J. Parr and Russell W. Quong. 1995. ANTLR: A predicated-LL (k) parser generator. Software: Practice and Experience 25, 7 (1995), 789\u2013810.","journal-title":"Practice and Experience"},{"key":"e_1_3_2_1_38_1","volume-title":"Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools","author":"Pech Vaclav","year":"2013","unstructured":"Vaclav Pech, Alex Shatalin, and Markus Voelter. 2013. JetBrains MPS as a tool for extending Java. In Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools (Stuttgart, Germany) (PPPJ '13). Association for Computing Machinery, New York, NY, USA, 165\u2013168. 10.1145\/2500828.2500846"},{"key":"e_1_3_2_1_39_1","volume-title":"Development and Multimodality: 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9\u201314, 2017, Proceedings, Part I 19","author":"Rodrigues Ildevana Poltronieri","year":"2017","unstructured":"Ildevana Poltronieri Rodrigues, M\u00e1rcia de Borba Campos, and Avelino F Zorzo. 2017. Usability evaluation of domain-specific languages: a systematic literature review. In Human-Computer Interaction. User Interface Design, Development and Multimodality: 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9\u201314, 2017, Proceedings, Part I 19. Springer, 522\u2013534."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2010.03.012"},{"key":"e_1_3_2_1_41_1","volume-title":"Proceedings of the 15th ACM SIGPLAN International Symposium on Dynamic Languages","author":"Stolpe Daniel","year":"2019","unstructured":"Daniel Stolpe, Tim Felgentreff, Christian Humer, Fabio Niephaus, and Robert Hirschfeld. 2019. Language-independent development environment support for dynamic runtimes. In Proceedings of the 15th ACM SIGPLAN International Symposium on Dynamic Languages (Athens, Greece) (DLS 2019). Association for Computing Machinery, New York, NY, USA, 80\u201390. 10.1145\/3359619.3359746"},{"key":"e_1_3_2_1_42_1","volume-title":"2019 IEEE International Conference on Service-Oriented System Engineering (SOSE). IEEE, 134\u201313411","author":"Tsai Wei-Tek","year":"2019","unstructured":"Wei-Tek Tsai, Ning Ge, Jiaying Jiang, Kevin Feng, and Juan He. 2019. Beagle: A new framework for smart contracts taking account of law. In 2019 IEEE International Conference on Service-Oriented System Engineering (SOSE). IEEE, 134\u201313411."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2018.12.004"},{"key":"e_1_3_2_1_44_1","first-page":"14","article-title":"The Rascal language workbench","volume":"13","author":"van Der Storm Tijs","year":"2011","unstructured":"Tijs van Der Storm. 2011. The Rascal language workbench. CWI. Software Engineering [SEN] 13 (2011), 14.","journal-title":"CWI. Software Engineering [SEN]"},{"key":"e_1_3_2_1_45_1","volume-title":"26th International Conference on Rewriting Techniques and Applications (RTA","author":"Vergu Vlad","year":"2015","unstructured":"Vlad Vergu, Pierre N\u00e9ron, and Eelco Visser. 2015. DynSem: A DSL for dynamic semantics specification. In 26th International Conference on Rewriting Techniques and Applications (RTA 2015). Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik, 365\u2013378."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"crossref","unstructured":"Andrzej W\u0105sowski and Thorsten Berger. 2023. Domain-Specific Languages. Springer.","DOI":"10.1007\/978-3-031-23669-3"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/s10270-019-00757-6","article-title":"Modeling languages in Industry 4.0: an extended systematic mapping study","volume":"19","author":"Wortmann Andreas","year":"2020","unstructured":"Andreas Wortmann, Olivier Barais, Benoit Combemale, and Manuel Wimmer. 2020. Modeling languages in Industry 4.0: an extended systematic mapping study. Software and Systems Modeling 19 (2020), 67\u201394.","journal-title":"Software and Systems Modeling"},{"key":"e_1_3_2_1_48_1","volume-title":"Proceedings of the 2013 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software","author":"W\u00fcrthinger Thomas","year":"2013","unstructured":"Thomas W\u00fcrthinger, Christian Wimmer, Andreas W\u00f6\u00df, Lukas Stadler, Gilles Duboscq, Christian Humer, Gregor Richards, Doug Simon, and Mario Wolczko. 2013. One VM to rule them all. In Proceedings of the 2013 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software (Indianapolis, Indiana, USA) (Onward! 2013). Association for Computing Machinery, New York, NY, USA, 187\u2013204. 10.1145\/2509578.2509581"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1504\/IJBIC.2023.132786","article-title":"Collaborative manufacturing operation mode and modelling simulation of manufacturing enterprise based on collective intelligence","volume":"21","author":"Yu Weiwei","year":"2023","unstructured":"Weiwei Yu, Li Zhang, Ning Ge, Hang Jia, and Hui Wang. 2023. Collaborative manufacturing operation mode and modelling simulation of manufacturing enterprise based on collective intelligence. International Journal of Bio-Inspired Computation 21, 4 (2023), 218\u2013229.","journal-title":"International Journal of Bio-Inspired Computation"},{"key":"e_1_3_2_1_50_1","volume-title":"2023 IEEE\/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion). IEEE, 16\u201320","author":"Zhai Shumao","year":"2023","unstructured":"Shumao Zhai, Xiaozhou Li, and Ning Ge. 2023. HOME: Heard-Of based Formal Modeling and Verification Environment for Consensus Protocols. In 2023 IEEE\/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion). IEEE, 16\u201320."}],"event":{"name":"FSE Companion '25: 33rd ACM International Conference on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Clarion Hotel Trondheim Trondheim Norway","acronym":"FSE Companion '25"},"container-title":["Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3696630.3728550","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:11:00Z","timestamp":1753729860000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3696630.3728550"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,23]]},"references-count":50,"alternative-id":["10.1145\/3696630.3728550","10.1145\/3696630"],"URL":"https:\/\/doi.org\/10.1145\/3696630.3728550","relation":{},"subject":[],"published":{"date-parts":[[2025,6,23]]},"assertion":[{"value":"2025-07-28","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}