在
DSL:基于规则系统组织业务规则我提出DSL,不过在该文没有太多关于DSL的东东,显得有些牵强。
先要说明一下什么是DSL(Domain Specific language),援引《产生式编程》一文:
“DSL(领域特定语言)是一种
特化的,面向问题的语言。”
《产生式编程》对DSL的做如下分类:
1. 固定和独立的DSL(fixed, sparate DSL),如SQL,用独立转换器实现的,导致技术孤岛
2. 嵌入式的DSL(Embedded DSL),如类和过程,还有嵌入式的DSL
3. 模块可组合的DSL(Modularly Composable DSL),包含两种DSL:封装的DSL(encapsulated DSL)和方面性(aspectual DSL)。这个两个关系就象OOP和AOP之间的关系。
好了,DSL是
面向问题域的。换句话说,DSL是用来
解决(特定)问题。
1. DSL更多的是表述特定问题域的,这是和常见编程语言的最大区别,
编程语言不是面向特定的问题域的,而是一般问题域。
1.1 DSL中关于问题域的名词是关键字,而编程语言不是。
对于保险行业来说: 代理人,保单都是DSL中的关键字,而在编程语言中不是,需要建立起该对象(OO语言中)。
同时注意:OO追求的是一个细粒度的设计,而在DSL中可以是相对的一个粗粒度的概念。DSL中对象体系的观念并不直接。
1.2 DSL不处理编程语言中所涉及到的技术问题。
2. DSL是针对一个问题域的过程化表述。DSL基于特定问题域的关键字——名词,给出一个特定问题的流程。
按我在《小议领域模型Domain Model》一文中的观点,Domain Object都是DSL的关键字,而DSL表述的是Domain Service所包含的流程和规则。
举个例子:
如果某学生的这个学期期末考成绩90分以上超过5门,那么该学生就可以获得一个小红花。
用DSL来描述就可能是:
foreach students
if the total number of { the courses of {the student} {this term} that {it's grade > 90} } > 5 then
the student get a red flower
end if
end foreach
而用Java程序代码(假想代码)
Iterator studentIterator = students.iterator();
while(studentIterator.hasNext()){
Student student = (Student)studentIterator.next();
// 从教务处获取学习成绩,
// SchoolService表示教务处,"200602"是学期代号。
CourseGrade[] grades = SchoolService.getCourseGrade(student, "200602");
int i = 0;
Iterator gradeIterator = grades.iterator();
while(gradeIterator.hasNext()){
CourseGrade courseGrade = (CourseGrade)gradeIterator.next();
if(courseGrade.getGrade() > 90){
i++;
}
}
if(i>5){
// 学校为该生记一个小红花的奖章。
SchoolService.addMedal(student, "200602", new RedFlower());
}
}
从上面可以看出,用
DSL描述很简洁。(自己立了靶子,然后开打)
这里我要说明的是:student和course都DSL的关键字,而在java代码中不是,是开发中建立的对象体系。
DSL中没有涉及到编程语言的技术处理问题:
1. java代码中的转型:(Student)studentIterator.next();
2. 临时变量:int i = 0;
3. 新建对象: new RedFlower()
同时:DSL中我们隐藏了一个SchoolService对象,在技术上,SchoolService教务处记录学生的成绩和奖惩,student本身不带有这些信息。
(当然关于这个例子的设计,或许有人认为student本身可以拥有这些记录,不过由于这个course还关联教师对象等,所以单独管理。BTW:例子而已表太认真嘛!)
通常来说Use Case描述更多是是问题域的描述。
这里面DSL的关键字:所谓的问题域名词(也就是我们所说的Domain Model)的设计和建立就是DSL的实现的关键,现有的手段无非就两种:
1. 工具本身
内置支持Domain Object的设计和实现。这个是正统的路子。
2. 利用
外置工具实现,这个有点剑走偏锋的意思。
常见的有以下几条路子:
一.映射法。
如Drools3推出的DSL实现方式。来看看
springside的例子
package org.springside.dsl
import org.springside.bookstore.domain.Order
import java.lang.Double
import java.math.BigDecimal
expander orderPricing.dsl
rule " order 0.9 discount"
when
order price larger than 100
then
do 0.9 discount
#加入 > 就可以在drl/dsl 中直接写入drl 语法
>System.out.println("original price:"+order.getOriginalPrice()+" discount price:"+order.getTotalPrice());
end
注意这个expander orderPricing.dsl将导入DSL映射:
[when]order price larger than {topPrice}=order : Order( totalPrice >= {topPrice} )
[then]do {discountRate} discount=order.setTotalPrice(new Double(new BigDecimal(order.getTotalPrice().doubleValue() * {discountRate}).setScale(2, BigDecimal.ROUND_HALF_UP).doubleValue()));
Oracle的Rule编辑器和JRule也属于这一类。
二.解析法
1. 脚本解析:
用脚本做有天然的好处,动态类型,语法的易用性等等。
出名的有Ruby:http://www.artima.com/rubycs/articles/ruby_as_dsl.html
2. 程序解析:
ajoo同学的jaskell的dsl方案:
http://forum.iteye.com/bloglist.php?userid=6423
http://forum.iteye.com/viewtopic.php?t=17579&start=120
或许这样分不太好,不过从本质上看,两者都通过提供相对灵活的语法解析来使代码简洁更贴近问题域描述。
映射法和解析法两者都不提供Domain Model的设计支持,两者只是在代码生成手段上有所不同。
在《DSL:基于规则系统组织业务规则》一文中所提出的组织业务规则的DSL就是指这两种。 三.元数据生成法。
这类属于正统手法,当然也是复杂性最大的。
1. JetBrains的MPS(Meta Programming System)。
MPS的定义流程很严格
1. 首先定义基本的关键字--Struture,然后要定义其对应的editor,相当于MS VS的Designer,
2. 有了这个后就可以作为high level的模型,用来设计Model,就可以设计描述领域问题。
3. 定义low level的代码产生器,定义转换映射关系。
可以参照Drools的设计实现来理解MPS的工作原理:
1. 定义DSL文件的左表达式(MPS在这里还需要设计好editor,drools合二为一了)。
2. 基于这个表达式定义领域问题。
3. 定义DSL的右表达式,以便代码生成。
MPS采用XML结构化的节点扩展能力来实现Type的定义,可以看到其GUI工具生成的mps文件是晦涩难懂的。
2. Microsoft的意图编程(Intentional Programming),只在《产生式编程》中闻其大名,未见真身。
不过微软推出了VS.Net的DSL Tools,不知道是不是意图编程的成果。
http://msdn.microsoft.com/vstudio/DSLTools/http://www.microsoft.com/downloads/details.aspx?familyid=57a14cc6-c084-48dd-b401-1845013bf834&displaylang=en MS DSL的model定义也是采用XML,没有designer的帮助,也是晦涩难懂的。
不过,其模版生成采用类似ASP.NET一样的语法结构,来定义模版(Text Template)。而不是想MPS那样,在MPS和IntelliJ两个工具切换来切换去的,同时也相对容易上手。
相比而言,MPS显的庞大,VS DSL则简单明了。
这正好反应了JAVA世界和MS世界的不同,MS一向是怎么样简单就怎么来,而JAVA更多像学院派风格。
准备另外写Blog详细介绍MPS和MS的DSL Tools,这是后话。
另:TW的taowen同学在BJUG的google groups上有过讨论,还发了一文《DSL简单观察报告》。有很好讨论,不过不好贴出来。
分享到:
相关推荐
SQL DSL (Domain Specific Language) for Kotlin and Java. Su
Eclipse Modeling Project A Domain-Specific Language (DSL) Toolkit
Learn to quickly develop a domain-specific language with Xtext Implement any aspect of a DSL using Xtend, a fully featured Java-like programming language Discover how to test a DSL implementation and ...
Leverage the latest features of Xtext and Xtend to develop a domain-specific language. Integrate Xtext with popular third party IDEs and get the best out of both worlds. Discover how to test a DSL ...
Gain an accelerated introduction to domain-specific languages in R, including coverage of regular expressions. This compact, in-depth book shows you how DSLs are programming languages specialized for ...
全面详尽地讲解了各种dsl及其构造方式,揭示了与编程语言无关的通用原则和模式,阐释了如何通过dsl有效提高开发人员的生产力以及增进与领域专家的有效沟通,能为开发人员选择和使用dsl提供有效的决策依据和指导方法...
“Implementing Domain-Specific Languages with Xtext and Xtend” will teach you how to develop a DSL with Xtext, an Eclipse framework for implementing domain-specific languages. The chapters are like ...
特定领域编程语言如SQL,LINQ,正则等。
微软的新技术Domain Specific Language Tool的教程
DSLs in Boo Domain Specific Languages in .Net
DSL(DomainSpecificLanguages)带来的表达能力,相比较于if-else 的代码,要更优雅更容易理解。另一方面,状态机很简单,不像流程引擎那么华而不实。一开始我们选用了一个开源的状态机引擎,但我觉得不好用,就自己...
DSL工程示范站,DSL图片规划,标准化施工
文件夹src/test/kotlin/kotlin_dsl包含以下文件: 介绍DSL使用情况的Demo.kt dsl.kt定义DSL的上下文注解.kt,它提供了上下文控制工具文件夹src/main/kotlin/kotlin_dsl包含以下文件: model.kt,其中包含此示例的...
In Detail, Gradle is an open source build automation system that introduces a Groovy-based domain-specific language (DSL) to configure projects. Using Gradle makes it easy for Android developers to ...
English |抽象的为了为使用imgcook在多个平台上生成代码的用户提供更好的体验,我们提供了将imgcook模式转码为您喜欢的任何编程语言的Open DSL System(开放域特定语言系统)。 开发人员可以使用imgcook提供的默认...
It provides a solid foundation to the usage as well as implementation aspects of a DSL, focusing on the necessity of applications speaking the language of the domain. After reading this book, a ...
上下文映射器DSL(CML) ContextMapper是一个开放源代码工具,提供基于域驱动设计(DDD)模式的特定于域的语言,用于上下文映射和服务分解。 使用ContextMapper DSL语言,您可以表达DDD上下文映射。 使用该语言对...
特定领域语言(DSL,Domain Specific Language)是一种特别用来描述某一专业领域内涵的描述语言,其实它并不陌生, HTML ,SQL都算的上是DSL的例子.
### Info:该项目将一种特定于域的Languange(DSL)实现为LL(1)语法,该语法允许定义变量以及变量和值之间的等价关系和不等式。 例如: x = { x1, x2, x3 } y = { y1, y2, y3 } z = { z1, z2, z3 } { (y1, z1), ...