{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,28]],"date-time":"2026-09-28T17:48:24Z","timestamp":1790617704291,"version":"4.1.0"},"reference-count":25,"publisher":"Association for Computing Machinery (ACM)","issue":"5","license":[{"start":{"date-parts":[[2023,4,21]],"date-time":"2023-04-21T00:00:00Z","timestamp":1682035200000},"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":["Commun. ACM"],"published-print":{"date-parts":[[2023,5]]},"abstract":"<jats:p>Choosing underlying semantic theories and definition techniques must closely follow intended use cases for the modeling language.<\/jats:p>","DOI":"10.1145\/3569927","type":"journal-article","created":{"date-parts":[[2023,4,21]],"date-time":"2023-04-21T14:34:35Z","timestamp":1682087675000},"page":"62-71","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Development Use Cases for Semantics-Driven Modeling Languages"],"prefix":"10.1145","volume":"66","author":[{"given":"Manfred","family":"Broy","sequence":"first","affiliation":[{"name":"Technical University of Munich, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bernhard","family":"Rumpe","sequence":"additional","affiliation":[{"name":"RWTH Aachen University, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,4,21]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems: Lecture Notes in Comp. Science 863, H. Langmaack, W.-P. de Roever, and J. Vytopil (eds)","author":"von der Beeck","year":"2014","unstructured":"von der Beeck., M. A comparison of statecharts variants. In Formal Techniques in Real-Time and Fault-Tolerant Systems: Lecture Notes in Comp. Science 863, H. Langmaack, W.-P. de Roever, and J. Vytopil (eds), Springer (2014), 128--148."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-011-0207-y"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/9758.10501"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/374869"},{"key":"e_1_2_1_5_1","volume-title":"2017 IEEE Intern. Conf. on Software Architecture, 145--154","author":"Butting A.","unstructured":"Butting, A. et al. Semantic differencing for message-driven component and connector architectures. In 2017 IEEE Intern. Conf. on Software Architecture, 145--154."},{"key":"e_1_2_1_6_1","volume-title":"Proceedings of MODELS 2009: Model Driven Engineering Languages and Systems, Springer, 670--684","author":"Cengarle M.V.","unstructured":"Cengarle, M.V., Gr\u00f6nniger, H., and Rumpe, B. Variability within modeling language definitions. In Proceedings of MODELS 2009: Model Driven Engineering Languages and Systems, Springer, 670--684."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5229-1_4"},{"key":"e_1_2_1_8_1","volume-title":"Refactoring: Improving the Design of Existing Code","author":"Fowler M.","year":"1999","unstructured":"Fowler, M. Refactoring: Improving the Design of Existing Code, Addison-Wesley (1999)."},{"key":"e_1_2_1_9_1","volume-title":"I. Reinhartz-Berger, A. Sturm, T. Clark, and S. Cohen (eds)","author":"Frank U.","year":"2013","unstructured":"Frank, U. Domain-specific modeling languages: Requirements analysis and design guidelines. Domain Engineering, I. Reinhartz-Berger, A. Sturm, T. Clark, and S. Cohen (eds), May 2013, 133--157."},{"key":"e_1_2_1_10_1","unstructured":"Friedenthal S. and Seidewitz E. A look ahead at SysML v2. SysML v2 Submission Team (SST) Wasatch INCOSE Chapter (June 2020)."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/359605.359618"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2004.172"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"e_1_2_1_15_1","volume-title":"Proceedings of the 9th OOPSLA Workshop on Domain-Specific Modeling. Helsinki School of Economics","author":"Karsai G.","year":"2009","unstructured":"Karsai, G. et al. Design guidelines for domain specific languages. In Proceedings of the 9th OOPSLA Workshop on Domain-Specific Modeling. Helsinki School of Economics (2009)."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2934574"},{"key":"e_1_2_1_17_1","volume-title":"Models and Evolution","author":"Maoz S.","year":"2011","unstructured":"Maoz, S., Ringert, J.O., and Rumpe, B. Summarizing semantic model differences. In Models and Evolution (2011)."},{"key":"e_1_2_1_18_1","volume-title":"The triptych of conceptual modeling. A framework for a better understanding of conceptual modeling. Software and Systems Modeling 20","author":"Mayr H.","year":"2021","unstructured":"Mayr, H. and Thalheim, B. The triptych of conceptual modeling. A framework for a better understanding of conceptual modeling. Software and Systems Modeling 20, Springer (2021), 7--24."},{"key":"e_1_2_1_19_1","volume-title":"Refactoring of programs and specifications. Practical Foundations of Business and System Specifications","author":"Philipps J.","year":"2003","unstructured":"Philipps, J. and Rumpe, B. Refactoring of programs and specifications. Practical Foundations of Business and System Specifications. H. Kilov and K. Baclawski (eds.), Kluwer Academic Publishers (2003)."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2004.03.009"},{"key":"e_1_2_1_21_1","volume-title":"Outline of a mathematical theory of computation","author":"Scott D.","year":"1970","unstructured":"Scott, D. Outline of a mathematical theory of computation. Programming Research Group, Oxford University (1970)."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/174837"},{"key":"e_1_2_1_23_1","volume-title":"SYSMOD---The Systems Modeling Toolbox: Pragmatic MBSE with SysML","author":"Weilkiens T.","year":"2020","unstructured":"Weilkiens, T. SYSMOD---The Systems Modeling Toolbox: Pragmatic MBSE with SysML (3rd ed.) 2020.","edition":"3"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2013.65"},{"key":"e_1_2_1_25_1","volume-title":"et al. Thirteen years of SysML: A systematic mapping study. Software and Systems Modeling 19","author":"Wolny S.","year":"2020","unstructured":"Wolny, S. et al. Thirteen years of SysML: A systematic mapping study. Software and Systems Modeling 19, Springer (2020), 111--169."}],"container-title":["Communications of the ACM"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3569927","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3569927","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:07:50Z","timestamp":1750183670000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3569927"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,4,21]]},"references-count":25,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2023,5]]}},"alternative-id":["10.1145\/3569927"],"URL":"https:\/\/doi.org\/10.1145\/3569927","relation":{},"ISSN":["0001-0782","1557-7317"],"issn-type":[{"value":"0001-0782","type":"print"},{"value":"1557-7317","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,4,21]]},"assertion":[{"value":"2023-04-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}