guangnian0412's BLOG

1．? 概述：

Drools 3 采用了原生的規(guī)則語(yǔ)言，那是一種非 XML 文本格式。在符號(hào)方面，這種格式是非常輕量的，并且通過(guò)“ expanders ”支持符合你問(wèn)題域的 Domain Specific Language （ DSL ）。這一章把焦點(diǎn)放在了 Drools 原生的規(guī)則格式。如果你想從技術(shù)上了解規(guī)則語(yǔ)言的機(jī)制，可以參考“ drl.g ”源文件，這是用 Antlr3 語(yǔ)法來(lái)描述規(guī)則語(yǔ)言。如果你使用 Rule Workbench ，內(nèi)容助手將會(huì)為你完成大量的規(guī)則結(jié)構(gòu)，例如輸入“ ru ”，然后按 ctrl ＋ space ，會(huì)為你建立規(guī)則結(jié)構(gòu)。

1.1??? 規(guī)則文件

一個(gè)規(guī)則文件通常是一個(gè)以 .drl 擴(kuò)展名結(jié)尾的文件。在一個(gè) drl 文件中，你可以有多條 rules ， functions 等等。盡管如此，你也可以將你的規(guī)則分布在多個(gè)文件中，這有利于管理大量的規(guī)則。一個(gè) DRL 文件是一個(gè)簡(jiǎn)單的文本文件。

1.2 規(guī)則的結(jié)構(gòu)

一個(gè)規(guī)則結(jié)構(gòu)大致如下：

可以看到，這是非常簡(jiǎn)單的。通常的標(biāo)點(diǎn)符號(hào)都是不需要的，甚至連“ name ”的雙引號(hào)都是不需要的。 ATTRIBUTES 是簡(jiǎn)單的，也是可選的，來(lái)提示規(guī)則的行為方式。 LHS 是規(guī)則的條件部分，需要按照一定的語(yǔ)法來(lái)寫(xiě)。 RHS 基本上是一個(gè)允許執(zhí)行 Java 語(yǔ)法的代碼的塊（以后將會(huì)支持 groovy 和 C ＃）。任何在 LHS 中使用的變量都可以在 RHS 中使用。

注意：每行開(kāi)始的空格是不重要的，除非在 DSL （ Domain Specific Language ）語(yǔ)言中有特別的指明。

1.3?? Domain Specific Language

Domain Specific Language 是對(duì)原生規(guī)則語(yǔ)言的加強(qiáng)。它們使用“ expander ”機(jī)制。 Expander 機(jī)制是一種可擴(kuò)展的 API 。你可以使用 .dsl 文件，來(lái)提供從域或自然語(yǔ)言到規(guī)則語(yǔ)言和你的域?qū)ο蟮挠成?。你可以?/span> .dsl 文件看成是對(duì)你的域模型的映射。 DSL 提供了更高的規(guī)則可讀性，你可以選擇使用你自己創(chuàng)建的 DSL ，或者是原生的規(guī)則語(yǔ)言。

1.4 保留字

在規(guī)則語(yǔ)言中存在一些保留字。你應(yīng)該避免使用這些保留字，來(lái)命名規(guī)則文本中的域?qū)ο螅瑢傩?，方法，功能。保留字如下?/span> when ， then ， rule ， end ， contains ， matches ， and ， or ， modify ， retract ， assert ， salience ， function ， query ， exists ， eval ， agenda-group ， no-loop ， duration ， -> ， not ， auto-focus 。

2. ? 注釋

2.1 單行注釋?zhuān)?/span>

Figure?2.1.?Single line comment

3. ??? Package

一個(gè)包是 rule 和其他相關(guān)結(jié)構(gòu)，像 import 和 global 的集合。 Package 的成員之間通常都是相關(guān)聯(lián)的。一個(gè) Package 代表了一個(gè)命名空間（ namespace ），用來(lái)使給定的規(guī)則組之間保持唯一性。 Package 的名字本身就是命名空間，并且與文件或文件夾并無(wú)關(guān)聯(lián)。

可以將來(lái)自不同規(guī)則源的規(guī)則裝配在一起，前提是這些規(guī)則必須處在同一個(gè)命名空間中。盡管如此，一個(gè)通常的結(jié)構(gòu)是將處于同一個(gè)命名空間中的所有規(guī)則都放在同一個(gè)相同的文件中。

下面的 rail-road 圖顯示了組成一個(gè) Package 的所有組件。注意：一個(gè) package 必須有一個(gè)命名空間，并且采用 Java 包名的約定。在一個(gè)規(guī)則文件中，各組件出現(xiàn)的位置是任意的，除了“ package ”和“ expander ”語(yǔ)句必須出現(xiàn)在任何一個(gè)規(guī)則之前，放在文件的頂部。在任何情況下，分號(hào)都是可選的。

3.1 import

Global 就是全局變量。如果多個(gè) package 聲明了具有相同標(biāo)識(shí)符的 global ，那么它們必需是相同的類(lèi)型，并且所有的引用都是相同的。它們通常用來(lái)返回?cái)?shù)據(jù)，比如 actions 的日志，或者為 rules 提供所需的數(shù)據(jù)或服務(wù)。 global 并不是通過(guò) assert 動(dòng)作放入 WorkingMemory 的，所有當(dāng) global 發(fā)生改變時(shí)，引擎將不會(huì)知道。所以， global 不能作為約束條件，除非它們的值是 final 的。將 global 錯(cuò)誤的使用在約束條件中，會(huì)產(chǎn)生令人驚訝的錯(cuò)誤結(jié)果。

注意： global 只是從你的 application 中傳入 WorkingMemory 的對(duì)象的命名實(shí)例。這意味著你可以傳入任何你想要的對(duì)象。你可以傳入一個(gè) service locator ，或者是一個(gè) service 本身。

下面的例子中，有一個(gè) EmailService 的實(shí)例。在你調(diào)用規(guī)則引擎的代碼中，你有一個(gè) EmailService 對(duì)象，然后把它放入 WorkingMemory 。在 DRL 文件中，你聲明了一個(gè)類(lèi)型為 EmailService 的 global ，然后將它命名為“ email ”，像這樣： global EmailService email ；。然后在你的規(guī)則的 RHS 中，你可以使用它，像這樣： email.sendSMS(number,message) 等等。

4. Function