guangnian0412's BLOG

1．? 概述：

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

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

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

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

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

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

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

1.3?? Domain Specific Language

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

1.4 保留字

在規(guī)則語言中存在一些保留字。你應(yīng)該避免使用這些保留字，來命名規(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 單行注釋：

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 ），用來使給定的規(guī)則組之間保持唯一性。 Package 的名字本身就是命名空間，并且與文件或文件夾并無關(guān)聯(lián)。

可以將來自不同規(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 ”語句必須出現(xiàn)在任何一個(gè)規(guī)則之前，放在文件的頂部。在任何情況下，分號都是可選的。

3.1 import

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

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

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

4. Function