TY - GEN
T1 - SemServGen
T2 - 33rd ACM International Conference on the Foundations of Software Engineering, FSE Companion 2025
AU - Wang, Yong
AU - Ge, Ning
AU - Li, Jingyao
AU - Wang, Luolin
AU - Zhou, Guangyu
AU - Deng, Chengrui
AU - Zhang, Li
AU - Hu, Chunming
N1 - Publisher Copyright:
© 2025 Copyright held by the owner/author(s).
PY - 2025/7/28
Y1 - 2025/7/28
N2 - Domain-Specific Languages (DSLs) are widely used across industries for addressing challenges within specific domains. However, designing a DSL is just the first step in DSL engineering. To truly enhance development efficiency and system quality, comprehensive syntax and semantic services are essential. Currently, semantic services are primarily implemented manually, leading to high development costs. Automating their generation can significantly improve efficiency and reduce costs in DSL projects. This paper presents SemServGen, a framework that defines a structured approach to DSL semantic service development. SemServGen comprises SemaDSL, a unified semantic service expression language; SemServ-editor, which provides editing, syntax, semantic, template, and DSL-binding services; and SemServ-gen, an automated semantic service generator. SemaDSL enables the specification of both generic and domain-specific semantic services, while SemServ-gen translates these formal specifications into executable semantic services. We evaluated SemServGen with industry partners using CRL and SemaDSL as target DSLs. The results demonstrate that SemaDSL effectively models semantic service domain concepts with high usability, while SemServGen increases development efficiency by 2.5 times for CRL and 1.9 times for SemaDSL compared to manual implementation. Additionally, the generated semantic services meet industry-standard performance benchmarks for service analysis time.
AB - Domain-Specific Languages (DSLs) are widely used across industries for addressing challenges within specific domains. However, designing a DSL is just the first step in DSL engineering. To truly enhance development efficiency and system quality, comprehensive syntax and semantic services are essential. Currently, semantic services are primarily implemented manually, leading to high development costs. Automating their generation can significantly improve efficiency and reduce costs in DSL projects. This paper presents SemServGen, a framework that defines a structured approach to DSL semantic service development. SemServGen comprises SemaDSL, a unified semantic service expression language; SemServ-editor, which provides editing, syntax, semantic, template, and DSL-binding services; and SemServ-gen, an automated semantic service generator. SemaDSL enables the specification of both generic and domain-specific semantic services, while SemServ-gen translates these formal specifications into executable semantic services. We evaluated SemServGen with industry partners using CRL and SemaDSL as target DSLs. The results demonstrate that SemaDSL effectively models semantic service domain concepts with high usability, while SemServGen increases development efficiency by 2.5 times for CRL and 1.9 times for SemaDSL compared to manual implementation. Additionally, the generated semantic services meet industry-standard performance benchmarks for service analysis time.
KW - Domain-specific language engineering
KW - code generation
KW - semantic service
KW - semantic specification language
UR - https://www.scopus.com/pages/publications/105013968028
U2 - 10.1145/3696630.3728550
DO - 10.1145/3696630.3728550
M3 - 会议稿件
AN - SCOPUS:105013968028
T3 - Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering
SP - 250
EP - 261
BT - FSE Companion 2025 - Companion Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering
A2 - Li, Jingyue
PB - Association for Computing Machinery
Y2 - 23 June 2025 through 27 June 2025
ER -