Drools 是用 Java 语言编写的开放源码规则引擎,使用 Rete 算法对所编写的规则求值。Drools 允许使用声明方式表达业务逻辑。可以使用非 XML 的本地语言编写规则,从而便于学习和理解。并且,还可以将 Java 代码直接嵌入到规则文件中,这令 Drools 的学习更加吸引人。
Drools 还具有其他优点:
- 非常活跃的社区支持
- 易用
- 快速的执行速度
- 在 Java 开发人员中流行
- 与 Java Rule Engine API(JSR 94)兼容
Drools 是业务逻辑集成平台,被分为4个项目:
- Drools Guvnor (BRMS/BPMS):业务规则管理系统
- Drools Expert (rule engine):规则引擎,drools的核心部分
- Drools Flow (process/workflow):工作流引擎
- Drools Fusion (cep/temporal reasoning):事件处理
官网:http://www.drools.org/#
官方文档:http://www.drools.org/learn/documentation.html
Drools语法
规则文件
规则文件可以使用 .drl文件,也可以是xml文件,这里我们使用drl文件
![](http://upload-images.jianshu.io/upload_images/840965-7e8cac0954ee2cbd.png?imageMogr2/auto-orient/strip%7CimageView2/2/w/663/format/webp)
package:对一个规则文件而言,package是必须定义的,必须放在规则文件第一行,package的名字是随意的,不必必须对应物理路径,跟java的package的概念不同,这里只是逻辑上的一种区分
如:
package com.sankuai.meituan.waimai.drools.demo
import:导入规则文件需要使用到的外部规则文件或者变量,这里的使用方法跟java相同,但是不同于java的是,这里的import导入的不仅仅可以是一个类,也可以是这个类中的某一个可访问的静态方法
import com.drools.demo.point.PointDomain;
rule:定义一个具体规则。rule "ruleName"。一个规则可以包含三个部分:
属性部分:
定义当前规则执行的一些属性等,比如是否可被重复执行、过期时间、生效时间等。条件部分(LHS):
定义当前规则的条件,如 when Message(); 判断当前workingMemory中是否存在Message对象。结果部分(RHS):
即当前规则条件满足后执行的操作,可以直接调用Fact对象的方法来操作应用。这里可以写普通java代码
![](http://upload-images.jianshu.io/upload_images/840965-d503e540d8207416.png?imageMogr2/auto-orient/strip%7CimageView2/2/w/403/format/webp)
rule "ruleName"
no-loop true
<span class="hljs-keyword">when</span>
$message<span class="hljs-symbol">:Message</span>(status == <span class="hljs-number">0</span>)
<span class="hljs-keyword">then</span>
System.out.println(<span class="hljs-string">"fit"</span>);
$message.setStatus(<span class="hljs-number">1</span>);
update($message);
end
规则详情
属性详情
no-loop:
定义当前的规则是否不允许多次循环执行,默认是false
;当前的规则只要满足条件,可以无限次执行。什么情况下会出现一条规则执行过一次又被多次重复执行呢?drools提供了一些api,可以对当前传入workingMemory中的Fact对象进行修改或者个数的增减,比如上述的update方法,就是将当前的workingMemory中的Message类型的Fact对象进行属性更新,这种操作会触发规则的重新匹配执行,可以理解为Fact对象更新了,所以规则需要重新匹配一遍,那么疑问是之前规则执行过并且修改过的那些Fact对象的属性的数据会不会被重置?结果是不会,已经修改过了就不会被重置,update之后,之前的修改都会生效。当然对Fact对象数据的修改并不是一定需要调用update才可以生效,简单的使用set方法设置就可以完成,这里类似于java的引用调用,所以何时使用update是一个需要仔细考虑的问题,一旦不慎,极有可能会造成规则的死循环。上述的no-loop true,即设置当前的规则,只执行一次,如果本身的RHS部分有update等触发规则重新执行的操作,也不要再次执行当前规则。
但是其他的规则会被重新执行,岂不是也会有可能造成多次重复执行,数据紊乱甚至死循环?答案是使用其他的标签限制,也是可以控制的:lock-on-active truelock-on-active:lock-on-active true 通过这个标签,可以控制当前的规则只会被执行一次,因为一个规则的重复执行不一定是本身触发的,也可能是其他规则触发的,所以这个是no-loop的加强版
date-expires:设置规则的过期时间,默认的时间格式:“日-月-年”
date-effective:设置规则的生效时间,时间格式同上。
duration:规则定时,duration 3000,3秒后执行规则
salience:优先级,数值越大越先执行,这个可以控制规则的执行顺序。
![](http://upload-images.jianshu.io/upload_images/840965-a504227491ffa42b.png?imageMogr2/auto-orient/strip%7CimageView2/2/w/457/format/webp)
条件部分- LHS
-
when:规则条件开始。条件可以单个,也可以多个,多个条件一次排列
如:当前规则只有在这三个条件都匹配的时候才会执行RHS部分
when
eval(true)
$customer:Customer()
$message:Message(status==0)
eval(true):是一个默认的api,true 无条件执行,类似于 while(true)
操作符:
>
、>=
、<
、<=
、==
、!=
、contains
、not contains
、memberOf
、not memberOf
、matches
、not matches
![](http://upload-images.jianshu.io/upload_images/840965-36d6a7a07bc28b6e.png?imageMogr2/auto-orient/strip%7CimageView2/2/w/584/format/webp)
- contains: 对比是否包含操作,操作的被包含目标可以是一个复杂对象也可以是一个简单的值
Person( fullName not contains "Jr" )
- not contains:与contains相反。
- memberOf:判断某个Fact属性值是否在某个集合中,与contains不同的是他被比较的对象是一个集合,而contains被比较的对象是单个值或者对象
CheeseCounter( cheese memberOf $matureCheeses )
- not memberOf:与memberOf正好相反
- matches:正则表达式匹配
Cheese( type matches "(Buffalo)?\S*Mozarella" )
注意:
就像在Java中,写为字符串的正则表达式需要转义“”
- not matches:与matches正好相反
结果部分- RHS
当规则条件满足,则进入规则结果部分执行,结果部分可以是纯java代码
- then:
then
System.out.println("OK"); //会在控制台打印出ok
end
- insert:往当前workingMemory中插入一个新的Fact对象,会触发规则的再次执行,除非使用no-loop限定
- update:更新
- modify:修改,与update语法不同,结果都是更新操作
- retract:删除
rule "Rule 03"
when
$number : Number( )
not Number( intValue < $number.intValue )
then
System.out.println("Number found with value: " + $number.intValue() );
retract( $number );
end
Drools关键词
关键词 | 描述 | 详情 |
---|---|---|
lock-on-active | ||
date-effective | ||
date-expires | ||
no-loop | ||
auto-focus | ||
activation-group | ||
agenda-group | ||
ruleflow-group | ||
entry-point | ||
duration | ||
package | ||
import | ||
dialect | ||
salience | ||
enabled | ||
attributes | ||
rule | ||
extend | ||
when | ||
then | ||
template | ||
query | ||
declare | ||
function | ||
global | ||
eval | ||
not | ||
in | ||
or | ||
and | ||
exists | ||
forall | ||
accumulate | ||
collect | ||
from | ||
action | ||
reverse | ||
result | ||
end | ||
over | ||
init | - |
Drools方法定义
- function
function String hello(String name) {
return "Hello "+name+"!";
}
Drools声明类型
- declare:声明类型
- 声明Class、Enum etc类型
- 声明元数据
声明类类型
declare Address
number : int
streetName : String
city : String
end
声明枚举类型
declare enum DaysOfWeek
SUN("Sunday"),MON("Monday"),TUE("Tuesday"),WED("Wednesday"),THU("Thursday"),FRI("Friday"),SAT("Saturday");
fullName : String
end
声明元数据类型
元数据可以被分配给在Drools中几个不同的结构:
- fact types
- fact attributes
- rules
定义格式:
@metadata_key(metadata_value)
例子:
@author( Bob )
import java.util.Date
declare Person
@author( Bob )
@dateOfCreation( 01-Feb-2009 )
name : String @key @maxLength( 30 )
dateOfBirth : Date address : Address
end
声明元数据类级别 关键词
@role( <fact | event> )
import some.package.StockTick
declare StockTick
@role ( event )
end
@typesafe( <boolean> )
@timestamp( <attribute name> )
declare VoiceCall
@role( event )
@timestamp( callDateTime )
end
@duration( <attribute name> )
@expires( <time interval> )
@propertyChangeSupport
@propertyReactive
声明元数据属性级别 关键词
@key
两个方面影响:
根据@key作为类标识符,类比较以 @key 的字段为准
根据@key字段生成构造函数
declare Person
firstName : String @key
lastName : String @key
age : int
end
@position
declare Cheese
name : String @position(1)
shop : String @position(2)
price : int @position(0)
end
设计
![](http://upload-images.jianshu.io/upload_images/840965-ab96c1e6c41d556e.png?imageMogr2/auto-orient/strip%7CimageView2/2/w/742/format/webp)
Drools vs ILog vs Jess vs Mandarax
优点 | ||
---|---|---|
Drools | 开源、社区非常活跃、易使用、免费、JSR94兼容(JSR94是Java Rule Engine API)、支持Java、强大的工具集 | 只支持一种推理方式、安全性不够 |
ILog | 性能高(电信领域使用)、易使用 | 商业产品、不开源 |
Jess | 支持2种推理方式(正向链和反向链)、很强的表示、推理能力、支持AOP | 不开源、无规则管理工具、不易使用 |
Mandarax | 开源、免费、支持Java | JSR94不兼容(JSR94是Java Rule Engine API)、已经不更新、社区不活跃、并且文档不全 |
推理方式
- 正向链推理:一条由问题开始搜索,并得到其解答的链称为正向链推理。
- 反向链推理:一条由假设回推到支持该假设的事实的链称为反向链推理。
作者 @九都散人
2016 年 5月 6日
参考:
Jess 反向链推理机理及诊断专家系统开发模式研究
http://www.docin.org/p-86340503.html
Drools 6.4 Final 文档
</div>