1、基本的匹配规则

1.1变量

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

比如

MVEL代码  

account : Account(balance > 100)  

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

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

比如

MVEL代码  

$account : Account($type : type)  

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

MVEL代码  

$account : Account(balance >100)   
Customer(account == $account)  

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

1.2类型

drools支持各种java数据类型

String：字符串

MVEL代码  

Customer(name == “john”)  

正则表达式：

 

MVEL代码  

Customer(name matches “[A-Z][a-z]+”)  

 

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

Date：日期类型

MVEL代码  

Account(dateCreate > “01-Feb-2009”)  

 

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

Boolean：布尔类型

MVEL代码  

Transaction(isApprove == true)  

 

Enum：枚举类型

MVEL代码  

Account(type == Account.Type.STUDENT)  

 

1.3注释

单行注释：//或者#

多行注释： /*   */

1.4包

MVEL代码  

package com.kingsun.drools.rules  

 

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

1.5导入

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

MVEL代码  

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

 

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

1.6全局变量global

声明一个global变量

MVEL代码  

global ReportFactory reportFactory;  

 

给全局变量赋值

MVEL代码  

session.setGlobal(“reportFactory”, reportFactory);  

 

或者

MVEL代码  

List<Command> commands = new ArrayList<Command>();  
  
commmands.add(CommandFactory.newSetGlobal(“reportFactory”, reportFactory));  

 使用全局变量

MVEL代码  

session.getGlobals();  

 

1.7函数Functions

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

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

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

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

Java代码  

public static double calculateAccount(Account account) {  
  
    return 100 + account.balance * 1.2;  
  
}  

 

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

Drl代码  

import com.kingsun.drools.domain.Account;  
  
import function com.kingsun.drools.util.ValidationHelper.calculateAccount;  
  
rule “validation account”  
  
    when  
  
        $account : Account(balance > 100)  
  
    then  
  
        Account(balance == calculateAccount($account));  
  
end  

 

 

1.8方言dialect

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

MVEL代码  

package com.kingsun.drools.rules;  
  
dialect “mvel”  

 

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

 mvel

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

    简单属性表达式：

        

MVEL代码  

($customer.name == “john”) && (balance > 100)   

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

         支持属性导航：

               Bean属性导航

        

MVEL代码  

$customer.address.postalCode = “123” 等同于 $customer.getAddress().setPostalCode(“123”)  

 

              访问List数据结构

        

MVEL代码  

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

              访问Map数据结构

        

MEVL代码  

$customerMap[“123”] 等同于$customerMap.get[“123”]  

        内置的List、Map和数组arrays

               Map：创建一个AccountMap实例–>

MEVL代码  

[“001”, new Account(“001”), “002”, new Account(“002”)]  

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

               List：创建一个List实例–>

MEVL代码  

[“001”, “002”, “003”]   

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

              Arrays：创建一个数组–>

MEVL代码  

{“001”, “002”, “003”}  

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

      嵌套

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

           

MVEL代码  

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

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

      强制转换

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

      返回值

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

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

1.9规则的条件部分

 And 与

MVEL代码  

$customer :　Customer(name == “john”, age > 20)  

 
在condition中使用换行来表示与

OR 或

 

MVEL代码  

$customer :　Customer(name == “john” || age > 20)  

 

 Not 非

MVEL代码  

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

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

 

exists 存在

MVEL代码  

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

 

Eval

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

MVEL代码  

$account : Account()  
  
eval(accountService.isUniqueAccountNumber($account))  

 

返回值约束

MEVL代码  

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

 

内置eval

MEVL代码  

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

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

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

MEVL代码  

$customer1 : Customer()  
  
$customer2 : Customer(this != $customer1)  

 

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

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

MVEL代码  

$customer1 : Customer()  
  
$customer2 : Customer(eval($customer2 != $customer1))  

 

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

嵌套访问

MVEL代码  

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

 

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

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

This

this指向当前的Fact

 

和集合相关的运算

contains

MVEL代码  

$account : Account()  
  
$customer :　Customer(accounts contains $account)  
  
$customer : Customer(accounts not contains $account)  

 

member of

MVEL代码  

$customer : Customer($accounts : accounts)  
  
Account(this member of $accounts)  
  
或  
  
Account(this member of $customer.accounts)  

 

From

MVEL代码  

$customer : Customer()  
  
Account() from $customer.accounts  

 

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

 

1.10规则的推理部分

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

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

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

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

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

modify 修改

更新session中存在的Fact

MVEL代码  

rule “interst calculation”  
  
no-loop  
  
    when   
  
        $account : Account()  
  
    then  
  
        modify($account) {  
  
            setBalance((double)($account.getBalance() * 1.2))  
  
        };  
  
end  

 

insert 插入

向session的Fact中新增一个事实

MVEL代码  

insert(new Account())  

 

retract 收回

从session的Fact中移除一个事实

MEVL代码  

retract(0)  

 

1.11规则的属性部分

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

MVEL代码  

rule “rule attribute”  
  
salience 100  
  
dialect “mvel”  
  
no-loop  
  
    when       
  
        //conditons条件部分  
  
    then  
  
        //consquence推论部分  
  
end  

 

salience

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

默认值是0。

no-loop

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

dialect

指定方言。

MVEL代码  

dialect “mvel”  

 

原文地址：http://einverne.github.io/post/2019/03/drools-syntax.html