Development of Domain-specific Languages: Status and Prospects

doi:10.3981/j.issn.2097-0781.2023.01.004

Science and Technology Foresight ›› 2023, Vol. 2 ›› Issue (1): 46-61.DOI: 10.3981/j.issn.2097-0781.2023.01.004

• Review and Commentary • Previous Articles Next Articles

Development of Domain-specific Languages: Status and Prospects

CAO Yiyuan¹(), GUAN Zhichao¹, XIAO Yushuo², ZHAO Haiyan¹, HU Zhenjiang¹^,^†()

1. School of Computer Science, Peking University, Beijing 100871, China
2. Department of Computer Science, ETH Zürich, Zürich 8092, Switzerland

Received:2022-12-30 Revised:2023-02-06 Online:2023-03-20 Published:2023-03-27
Contact: ^†

领域特定语言开发现状与展望

曹奕远¹(), 关智超¹, 肖宇朔², 赵海燕¹, 胡振江¹^,^†()

1.北京大学计算机学院，北京 100871
2.苏黎世联邦理工学院计算机学部，瑞士苏黎世 8092

通讯作者: ^†
作者简介:曹奕远，博士研究生。主要研究方向为安全编程语言与可验证编程。电子信箱：yiyuan@stu.pku.edu.cn。
胡振江，北京大学讲席教授，博士研究生导师。北京大学计算机学院院长。日本工程院院士、欧洲科学院院士、日本工学会会士、国际电气与电子工程师协会（IEEE）会士。曾任日本东京大学信息理工学研究科教授和日本国立信息学研究所教授、系主任。长期从事程序设计语言和软件科学与工程研究。获全日本最佳博士论文奖、日本软件科学会基础研究成就奖、21世纪先驱科学家（日本科学技术振兴机构）等。电子信箱：huzj@pku.edu.cn。

Abstract

Abstract:

A software system in the ubiquitous computing environment spans multiple fields and uses a large number of domain-specific languages. Therefore, an efficient and feasible domain-specific language development environment is urgently needed. This article gives a brief introduction to the evolution and characteristics of domain-specific languages and reviews the current research on domain-specific language development both in China and abroad in three dimensions: design, implementation, and programming environment development. Furthermore, the article analyzes and identifies the challenges encountered in the present work, proposes to develop an agile domain-specific language workbench, and highlights issues that require further research.

Key words: ubiquitous computing, domain-specific language, implementation of programming language

摘要：

泛在计算环境下的软件系统横跨多个领域并使用大量领域特定语言，迫切需要一个高效可行的领域特定语言开发环境。文章简要介绍领域特定语言的发展脉络与特点，从设计、实现和编程开发环境3个维度梳理国内外在领域特定语言开发方面的研究现状，分析和定位现有工作面临的挑战，进而提出一种敏捷的领域特定语言开发工作台的构想，并突出其中有待重点探究的问题。

关键词: 泛在计算, 领域特定语言, 编程语言实现

CAO Yiyuan, GUAN Zhichao, XIAO Yushuo, ZHAO Haiyan, HU Zhenjiang. Development of Domain-specific Languages: Status and Prospects[J]. Science and Technology Foresight, 2023, 2(1): 46-61.

曹奕远, 关智超, 肖宇朔, 赵海燕, 胡振江. 领域特定语言开发现状与展望[J]. 前瞻科技, 2023, 2(1): 46-61.

Figures/Tables 4

References 37

[1]	Mei H, Guo Y. Toward ubiquitous operating systems: A software-defined perspective[J]. Computer, 2018, 51(1): 50-56.
[2]	Gartner. Gartner top 10 strategic technology trends for 2021[EB/OL]. [2023-01-13]. https://www.gartner.com/smarterwithgartner/gartner-top-strategic-technology-trends-for-2021/.
[3]	国家自然科学基金委员会, 中国科学院. 材料科学与工程[M]. 北京: 科学出版社, 2021.
[4]	Aheleroff S, Xu X, Lu Y, et al. Iot-enabled smart appliances under industry 4.0: A case study[J]. Advanced Engineering Informatics, 2020, 43: 101043. DOI URL
[5]	Fowler M. Domain-specific languages[M]. Boston: Addison-Wesley Professional, 2010.
[6]	Van Deursen A, Klint P, Visser J. Domain-specific languages[J]. ACM SIGPLAN Notices, 2000, 35(6): 26-36.
[7]	Mernik M, Heering J, Sloane A M. When and how to develop domain-specific languages[J]. ACM Computing Surveys, 2005, 37(4): 316-344. DOI URL
[8]	Bentley J. Programming pearls[J]. Communications of the ACM, 1986, 29(8): 711-721. DOI URL
[9]	Oliveira N, Pereira M J, Henriques P R, et al. Domain specific languages: A theoretical survey[C]// Schürr A, Selic B. Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems, MODELS 2009. Denver: DBLP, 2009, doi: 10.1007/978-3-642-04425-0_33. DOI
[10]	Brooks F P, Bullet N S. Essence and accidents of software engineering[J]. IEEE Computer, 1987, 20(4): 10-19.
[11]	Hudak P. Building domain-specific embedded languages[J]. ACM Computing Surveys, 1996, 28(4es), doi: 10.1145/242224.242227. DOI
[12]	Felleisen M, Findler R B, Flatt M, et al. A programmable programming language[J]. Communications of the ACM, 2018, 61(3): 62-71.
[13]	Andersen L, Chang S, Felleisen M. Super 8 languages for making movies (functional pearl)[J]. Proceedings of the ACM on Programming Languages, 2017, 1(ICFP), doi: 10.1145/3110274. DOI
[14]	Poltronieri I, Zorzo A F, Bernardino M, et al. Usa-DSL: Usability evaluation framework for domain-specific languages[C]// Cunha T, Soares C, de Carvalho, et al Proceedings of the 33rd Annual ACM Symposium on Applied Computing. New York: ACM Press, 2018: 2013-2021.
[15]	Wirth N. On the design of programming languages[C]// Proceedings of the 6th IFIP Congress 1974. Berlin, Heidelberg: Springer, 1974, 74: 386-393.
[16]	Karsai G, Krahn H, Pinkernell C, et al. Design guidelines for domain specific languages[DB/OL]. arXiv preprint: 1409.2378, 2014.
[17]	Erwig M, Walkingshaw E. Semantics-driven DSL design[M]// Mernik M. Formal and Practical Aspects of Domain-Specific Languages. Hershey: IGI Global, 2012: 56-80.
[18]	Iverson K E. Notation as a tool of thought[M]// ACM Turing Award Lectures. New York: ACM Press, 2011: 1979.
[19]	Mernik M, Heering J, Sloane A M. When and how to develop domain-specific languages[J]. ACM Computing Surveys, 2005, 37(4): 316-344. DOI URL
[20]	Hutton G, Meijer E. Monadic parser combinators[R/OL]. [2023-01-13]. http://www.cs.nott.ac.uk/-pszgmh/monparsing.pdf.
[21]	Gondow K, Kawashima H. Towards ANSI C program slicing using XML[J]. Electronic Notes in Theoretical Computer Science, 2002, 65(3): 30-49. DOI URL
[22]	Bechhofer S, van Harmelen F, Hendler J, et al. Owl web ontology language reference[EB/OL]. [2023-01-13]. https://www.w3.org/TR/owl-ref/.
[23]	Team S. Spoofax: The language designer’s workbench[EB/OL]. [2023-01-13]. https://www.spoofax.dev/.
[24]	K \| runtime verification inc[EB/OL]. [2023-01-13]. https://kframework.org/.
[25]	Clements J, Felleisen M, Findler R, et al. Fostering little languages[J]. Dr. Dobb’s Journal, 2004, 29: 16-24.
[26]	Veldhuizen T. Blitz++ user’s guide[EB/OL]. [2023-01-13]. https://github.com/blitzpp/blitz.
[27]	Erdweg S, van der Storm T, Völter M, et al. Evaluating and comparing language workbenches: Existing results and benchmarks for the future[J]. Computer Languages, Systems & Structures, 2015, 44: 24-47.
[28]	Hudak P. Modular domain specific languages and tools[C]// Proceedings of Fifth International Conference on Software Reuse (Cat. No.98TB100203). Piscataway:IEEE Press, 2002: 134-142.
[29]	Spolsky J. The law of leaky abstractions[M]// Spolsky J.Joel on Software. Berkeley: Apress, 2004: 197-202.
[30]	Zemanek H. Semiotics and programming languages[J]. Communications of the ACM, 1966, 9(3): 139-143. DOI URL
[31]	Mosses P D. Modular structural operational semantics[J]. The Journal of Logic and Algebraic Programming, 2004, 60-61: 195-228. DOI URL
[32]	Plotkin G, Pretnar M. Handlers of algebraic effects[C]// Castagna G. Proceedings of the 18th European Symposium on Programming. Berlin, Heidelberg: Springer, 2009: 80-94.
[33]	Felleisen M. On the expressive power of programming languages[J]. Science of Computer Programming, 1991, 17(1-3): 35-75. DOI URL
[34]	Gibbons J, Wu N. Folding domain-specific languages: Deep and shallow embeddings (functional Pearl)[C]// Agrawal D, Cruz I, Jensen C S, et al. Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming. New York: ACM Press, 2014: 339-347.
[35]	Pombrio J, Krishnamurthi S. Inferring type rules for syntactic sugar[C]// Cusumano-Towner M, Bichsel B, Gehr T, et al. Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation. New York: ACM Press, 2018: 812-825.
[36]	Baldwin C Y, Clark K B. Design rules. Volume 1: The power of modularity[M]. Cambridge: MIT Press, 2000.
[37]	Moggi E. Notions of computation and monads[J]. Information and Computation, 1991, 93(1): 55-92. DOI URL

Development of Domain-specific Languages: Status and Prospects

领域特定语言开发现状与展望

RichHTML

PDF

Knowledge

Abstract

Cite this article

share this article

Figures/Tables 4

References 37

Related Articles 0

Recommended Articles

Metrics

Access Statistics

Links

Contact Us

WeChat