drools规则语法（一）

1、基本的匹配规则

1.1变量

drools使用匹配的方式对Fact进行比对，

比如

MVEL代码  

1. account : Account(balance > 100)  

 这个规则的含义就是在Fact中找到类型为Account，且balance属性值大于100的所有Account实例。

可以指定变量来描述一个类型或者一个映射一个类的属性，

比如

MVEL代码  

1. $account : Account($type : type)  

 使用$Variable来定义一个变量，这里定义了两个变量，$account表示定义一个类型为Account的变量，而$type映射Account类型中的type属性。定义变量是为了在后续的规则中使用。

MVEL代码  

1. $account : Account(balance >100)   
2. Customer(account == $account)  

 这个就是说要找到一些Custom类型的Fact，且其account属性必须满足前面定义的balance>100的条件。

1.2类型

drools支持各种java数据类型

String：字符串

MVEL代码  

1. Customer(name == "john")  

正则表达式：

 

MVEL代码  

1. Customer(name matches "[A-Z][a-z]+")  

 

表示Customer类型的name属性必须满足首字母为大写A-Z，且第二位以后有一个或者多个小写的a-z组成。

Date：日期类型

MVEL代码  

1. Account(dateCreate > "01-Feb-2009")  

 

日期的格式默认是"dd-mmmm-yyyy"，可以更改。

Boolean：布尔类型

MVEL代码  

1. Transaction(isApprove == true)  

 

Enum：枚举类型

MVEL代码  

1. Account(type == Account.Type.STUDENT)  

 

1.3注释

单行注释：//或者#

多行注释： /*   */

1.4包

MVEL代码  

1. package com.kingsun.drools.rules  

 

声明该规则文件所属的包，是一种namespace组织方式，和java的包类似，物理上不需要存在相应的目录结构，它只是逻辑上的划分。

1.5导入

import可以导入在规则中使用到的类，也可以导入在规则中使用到的外部定义的functiong

MVEL代码  

1. import java.util.Map;  
2.   
3. import com.kingsun.drools.service.LegacyBankService.extractData;  

 

当导入方法时，这个方法必须是static的，因为利用的是jdk1.5的static import特性。

1.6全局变量global

声明一个global变量

MVEL代码  

1. global ReportFactory reportFactory;  

 

给全局变量赋值

MVEL代码  

1. session.setGlobal("reportFactory", reportFactory);  

 

或者

MVEL代码  

1. List<Command> commands = new ArrayList<Command>();  
2.   
3. commmands.add(CommandFactory.newSetGlobal("reportFactory", reportFactory));  

 使用全局变量

MVEL代码  

1. session.getGlobals();  

 

1.7函数Functions

function可以在规则文件中定义，但更多的是使用外部类中定义的static方法，这样只要java中可以实现的逻辑，在规则中都可以做为function调用。

调用外部类的functiong需要注意的是方法必须是静态的，static，而且这个类可以在Help辅助类中定义。

外部类需要import，此时在function中用到的参数类型也需要import。

如： 在外部的ValidationHelper辅助类中定一个一个static方法

Java代码  

1. public static double calculateAccount(Account account) {  
2.   
3.     return 100 + account.balance * 1.2;  
4.   
5. }  

 

在规则drl文件中可以这么使用：

Drl代码  

1. import com.kingsun.drools.domain.Account;  
2.   
3. import function com.kingsun.drools.util.ValidationHelper.calculateAccount;  
4.   
5. rule "validation account"  
6.   
7.     when  
8.   
9.         $account : Account(balance > 100)  
10.   
11.     then  
12.   
13.         Account(balance == calculateAccount($account));  
14.   
15. end  

 

 

1.8方言dialect

在规则表达式中可以使用方言来简化表达式，使之更加具有可读性。

MVEL代码  

1. package com.kingsun.drools.rules;  
2.   
3. dialect "mvel"  

 

方言默认的是java，drools也支持mvel，在package的后面声明该规则文件使用的方言

 mvel

   mvel是一种基于java应用程序的表达式语言，它支持属性和方法的直接访问

    简单属性表达式：

        

MVEL代码  

1. ($customer.name == "john") && (balance > 100)   

    满足姓名为“john”，且balance必须大于100的customer

         支持属性导航：

               Bean属性导航

        

MVEL代码  

1. $customer.address.postalCode = "123" 等同于 $customer.getAddress().setPostalCode("123")  

 

              访问List数据结构

        

MVEL代码  

1. $customer.accounts[3] 等同于 $customer.getAccounts(3)  

              访问Map数据结构

        

MEVL代码  

1. $customerMap["123"] 等同于$customerMap.get["123"]  

        内置的List、Map和数组arrays

               Map：创建一个AccountMap实例-->

MEVL代码  

1. ["001", new Account("001"), "002", new Account("002")]  

 等同于创建了一个Map，并向Map中put了两个entry。

               List：创建一个List实例-->

MEVL代码  

1. ["001", "002", "003"]   

 等同于创建了一个List，并向List中add了三个对象。

              Arrays：创建一个数组-->

MEVL代码  

1. {"001", "002", "003"}  

          等同于创建了一个Array，并初始化了三个成员。

      嵌套

       使用这个可以方便的访问复杂对象中包括的集合类型的对象。

           

MVEL代码  

1. listOfPostCode = (postCode in (addresses in $customerS))  

     这个得到一个postCode列表，它是customers集合中的每一个custemer对象的地址属性中包含的postCode信息的汇集。

      强制转换

      当使用array = {1, 2, 3}时，mvel会自动将元素转换成integer类型。

      返回值

      保存变量的值等于最后一次赋予的值。

      mvel同时还支持方法调用、控制流、赋值、动态类型等等，使用mvel的性能很好，不过要小心使用。在drools中有一些核心特性就是通过mvel来实现的。

1.9规则的条件部分

 And 与

MVEL代码  

1. $customer :　Customer(name == "john", age > 20)  

 
在condition中使用换行来表示与

OR 或

 

MVEL代码  

1. $customer :　Customer(name == "john" || age > 20)  

 

 Not 非

MVEL代码  

1. not Account(type == Account.Type.STUDENT)   

表示所有账户类型不是STUDENT的账户

 

exists 存在

MVEL代码  

1. exists Account(type == Account.Type.STUDENT)  

 

Eval

捕获异常，只要eval表达式中的结果为true或者false就可以

MVEL代码  

1. $account : Account()  
2.   
3. eval(accountService.isUniqueAccountNumber($account))  

 

返回值约束

MEVL代码  

1. $customer1 : Customer()  
2.   
3. Customer(age == ($customer.getAge + 10))  

 

内置eval

MEVL代码  

1. $customer1 : Customer()  
2.   
3. Customer(eval(age == $customer1.getAge() + 10))  

和上个例子一样，只是使用了内置的eval来写的。

内置eval不能使用this，比如：

MEVL代码  

1. $customer1 : Customer()  
2.   
3. $customer2 : Customer(this != $customer1)  

 

customer1和customer2不是同一个对象实例

使用内置的eval表达式来描述：

MVEL代码  

1. $customer1 : Customer()  
2.   
3. $customer2 : Customer(eval($customer2 != $customer1))  

 

注意，在内置的eval中不能使用this来指代自己。

嵌套访问

MVEL代码  

1. $customer : Customer()  
2.   
3. Account(this == $customer.accounts[0])  

 

得到所有customer对象中的第一个账号

如果一个嵌套访问的对象属性值更改了，我们使用modify来提示drools属性改变了。

This

this指向当前的Fact

 

和集合相关的运算

contains

MVEL代码  

1. $account : Account()  
2.   
3. $customer :　Customer(accounts contains $account)  
4.   
5. $customer : Customer(accounts not contains $account)  

 

member of

MVEL代码  

1. $customer : Customer($accounts : accounts)  
2.   
3. Account(this member of $accounts)  
4.   
5. 或  
6.   
7. Account(this member of $customer.accounts)  

 

From

MVEL代码  

1. $customer : Customer()  
2.   
3. Account() from $customer.accounts  

 

from可以接受service的方法调用后的结果集，也可以指向一个对象或者一个集合

 

1.10规则的推理部分

规则引擎的作用就是在于根据预先制定的规则去和事实匹配，对符合激发条件的规则，执行规则中定义的推理，作出相应的处理。

有时候，规则和规则之间存在冲突，drools使用冲突解决策略来解决矛盾。有两种办法：一个是设置规则的优先级，优先级高的先触发。另一个是

在推理部分不推荐使用if then这样的条件判断语句，它应该是明确的行为，因为条件判断应该在LHS中就已经明确区分出来了，如果推论部分存在条件判断的话，应该增加新的规则以满足要求。这样做符合最佳实践。

当一个规则被激活，并且推理部分被执行，它可能会对Fact做一些修改或者更新，这样的修改和更新可能会激活更多的其他规则，因此，必须在推论部分明确指出这个规则对Fact作出的更新和修改，Drools能够及时对Fact进行更新，这样其他规则才能及时应用到最新的Fact数据上来。

推论部分经常使用的几个函数

modify 修改

更新session中存在的Fact

MVEL代码  

1. rule "interst calculation"  
2.   
3. no-loop  
4.   
5.     when   
6.   
7.         $account : Account()  
8.   
9.     then  
10.   
11.         modify($account) {  
12.   
13.             setBalance((double)($account.getBalance() * 1.2))  
14.   
15.         };  
16.   
17. end  

 

insert 插入

向session的Fact中新增一个事实

MVEL代码  

1. insert(new Account())  

 

retract 收回

从session的Fact中移除一个事实

MEVL代码  

1. retract(0)  

 

1.11规则的属性部分

规则属性出现在rule和when关键字之间，用于修改和增强标准的规则行为。

MVEL代码  

1. rule "rule attribute"  
2.   
3. salience 100  
4.   
5. dialect "mvel"  
6.   
7. no-loop  
8.   
9.     when       
10.   
11.         //conditons条件部分  
12.   
13.     then  
14.   
15.         //consquence推论部分  
16.   
17. end  

 

salience

salience是优先级的意思，它可以为负数，salience越高，表明规则的优先级越高，越先被激发。

默认值是0。

no-loop

表明对于每一个Fact实例，该规则只能被激活一次。

dialect

指定方言。

MVEL代码  

1. dialect "mvel"