Drools介绍与使用

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文件

规则文件

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代码

rule部分

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 true
lock-on-active：lock-on-active true 通过这个标签，可以控制当前的规则只会被执行一次，因为一个规则的重复执行不一定是本身触发的，也可能是其他规则触发的，所以这个是no-loop的加强版
date-expires：设置规则的过期时间，默认的时间格式：“日-月-年”
date-effective：设置规则的生效时间，时间格式同上。
duration：规则定时，duration 3000，3秒后执行规则
salience：优先级，数值越大越先执行，这个可以控制规则的执行顺序。

**rule attributes**

条件部分- 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

操作符

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

设计

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>