【正文】 格式的規(guī)則。這意味著 package 可能包含一個單獨的新規(guī)則，或?qū)ΜF(xiàn)有規(guī)則的更改；可以建立這樣的 package 然后與在 RuleBase 中的現(xiàn)有 package 合并。 PackageBuilder, RuleBase, . RuleBase 編譯好的 Package 被加入 RuleBase。 RuleBase, RuleBaseLoader . Serializing 序列化 事實上在 Drools 中所有與 RuleBase 有聯(lián)系的對象都是可序列化的。如果存在錯誤， 你可以從 Package Builder 中獲得它們，好過在部署的時候才發(fā)現(xiàn)問題。 . 進程外規(guī)則構(gòu)建 在這種情況下，規(guī)則在運行時系統(tǒng)外被構(gòu)建成二進制格式（例如在一個部署服務(wù)器中）。你接著可以序列化 Package 到一個文件（使用 java 標(biāo)準(zhǔn)序列化）。 . Pull 拉風(fēng)格 在這種方法中，規(guī)則從規(guī)則庫中被拉到運行系統(tǒng)中。 . Push 推風(fēng)格 在這種方式中，規(guī)則部署進程 /規(guī)則庫推規(guī)則到運行系統(tǒng)中（規(guī)則可能是源碼或二進制格式）。一種相反的可能是使用 XSD/WSDL 產(chǎn)生器產(chǎn)生對這些處理構(gòu)建的類（操作對應(yīng)的規(guī)則）的 XML 綁定。在某方面來說，規(guī)則是編碼（雖然在更高的級別），測試驅(qū)動開發(fā)的許多原則同樣適用。當(dāng)然，規(guī)則的改變也可能就是會引起測試的錯誤，這種情況下需要編寫新的測試來覆蓋新的規(guī)則行為。當(dāng)然，最好的想法是讓測試關(guān)注規(guī)則的核心特性，這樣就不需要隨時改變。它允許規(guī)則測試套件 （功能）在 Word 文檔中捕捉，或 Excel 電子表格中（實際上任何可以保存為 HTML 的工具）。因為輸入的格式對于熟悉規(guī)則的領(lǐng)域的人來說相當(dāng)簡單，它也對“情景測試”有幫助，對這些規(guī)則可以使用不同的情景。你可以下載并獲得更多的資料，通過這個 Web 頁面： Fit for rules 下面的頁面顯示 FIT 規(guī)則框架的截圖 使用規(guī)則 FIT，你可以捕捉測試數(shù)據(jù)，將它傳遞到規(guī)則引擎，然后確認結(jié)果（使用測試組建文檔）。她最初設(shè)計男女相鄰而坐，接著她擔(dān)心大家沒有什么共同話題；一個好主人應(yīng)該怎么做呢？因此她決定標(biāo)記每個客人的興趣，這樣她可以不但將客人安排成男女相鄰而坐，并且 確信客人之間（或者左邊或者右邊）會有一個共同的話題。這 5 個基準(zhǔn)分析也被發(fā)布在 Texas 大學(xué)中 . Manners 小姐的工作流程 在第一個座位被分配后，一個深度優(yōu)先遞歸不斷重復(fù)進行正確的座位分配，直到最后的座位被分配。 數(shù)據(jù) 在結(jié)果中的每一行都是“分配座位”規(guī)則執(zhí)行時輸出的。leftGuestName39。 OPS5 中有兩種策略， LEX 和 MEA， LEX 是幾種策略的結(jié)合，包括 Salience[優(yōu)先級 ], Recency[鄰近性 ], Complexity[復(fù)雜度 ] 每一個 fact 和實例內(nèi)部使用一個時間標(biāo)記來指示它與系統(tǒng)中其它 fact 和實例的鄰近性關(guān)系。直到找出一個激活規(guī)則的時間標(biāo)簽比其它的都晚。 新激活的規(guī)則被放置在其它同樣優(yōu)先級的規(guī)則之前。當(dāng)Manners 小姐起初在 中使用深度策略時，不能產(chǎn)生正確的結(jié)果，這意味著它會無限運行下去。使用 LEX 的 Recency 鄰近性策略，最后被設(shè)置的 Guest 將有更高的時間標(biāo)簽，它所對應(yīng)的激活規(guī)則將先激發(fā)。 ( new Seating( (), 1, true, 1, guestName, 1, guestName) )。 } } . 分配座位 該規(guī)則決定每一個座位的分配。 accept against itself or any already assigned Chosen solutions.] rule assignSeat() { when { context : Context( state == ) Seating( seatingId:id, seatingPid:pid, pathDone == true seatingRightSeat:rightSeat seatingRightGuestName:rightGuestName ) Guest( name == seatingRightGuestName, rightGuestSex:sex, rightGuestHobby:hobby ) Guest( leftGuestName:name , sex != rightGuestSex, hobby == rightGuestHobby ) count : Count() not ( Path( id == seatingId, guestName == leftGuestName) ) not ( Chosen( id == seatingId, guestName == leftGuestName, hobby == rightGuestHobby) ) } then { int newSeat = rightSeat + 1。 ( countValue + 1 )。注意每一個激活規(guī)則有同樣的時間標(biāo)簽 35，因為它們都是在上下文狀態(tài)改變?yōu)?ASSIGN_SEATS 時激活的。 its purposefully designed as a bad rule to full stress test the cross product matching process, which this clearly does. Notice that each Activation has the same time tag of 35, as they were all activated by the change in Context to ASSIGN_SEATS. With OPS5 and LEX it would correctly fire the Activation with the last asserted Seating. With Depth strategy the execution is arbitrary yet Manners does correctly execute for Jess and Clips using the Depth strategy. Clips support, via the public forums, have said that Manners was] 深度算法，作為 Clips 默認的沖突解決策略，不同于在 OPS5 中默認使用的策略。一個 Lex風(fēng)格的鄰近性策略被實現(xiàn)，并且這個基準(zhǔn)正確工作。 unsigned int activationf : 1。 unsigned int bcount : 9。 這個方法使得鏈接記住并且嘗試連接，基于 fact 設(shè)置到節(jié)點中的順序；這樣激活規(guī)則的激發(fā)將基于 fact 的設(shè)置順序。因此在 Drools 中 Manners 可以工作，但是偶然才能產(chǎn)生結(jié)果，用戶不能對此有任何期望。注意，完成路徑是建立路徑的一個子集，因此我們怎樣確信建立路徑可以首先激發(fā)呢？ rule makePath() { when { context : Context( state == ) Seating( seatingId:id, seatingPid:pid, pathDone == false ) Path( id == seatingPid, pathGuestName:guest, pathSeat:seat ) (not Path( id == seatingId, guestName == pathGuestName ) } else { ( new Path( seatingId, pathSeat, pathGuestName ) )。Clips 成功的完成了 Manners，不論規(guī)則在規(guī)則 文件中是以什么樣的順序定義的。為了正確地執(zhí)行Manners，建立路徑規(guī)則所建立的激活規(guī)則 必須在完成路徑規(guī)則之前激活。 rule areWeDone() { when { context : Context( state == ) LastSeat( lastSeat: seat ) Seating( rightSeat == lastSeat ) } then { ( )。當(dāng) manners 完成了正確的輸出時，它也向連接節(jié)點提供了很好的壓力測試；但是，如果基于鄰近性策略的 Fact 被使用，只有 Agenda 沖突解決方案將被測試。一個合適的接口可以阻止使用上下文匹配得到的 fact 啟動。 Manners是對不同連接的叉集算法速度的殘酷壓力測試。這些優(yōu)化使得 Manners 小姐的基準(zhǔn)變成多余的，并且在這個 manner 中建立一個最適宜的系統(tǒng)的結(jié)果將被考慮避免。 James Own, 20202020 Benchmarks, KnowledgeBased Systems Corporation . 輸出摘要 Assign First seat =[fid:13:13]:[Seating id=1, pid=0, done=true, ls=1, ln=n5, rs=1, rn=n5] =[fid:14:14]:[Path id=1, seat=1, guest=n5] ==[ActivationCreated(16): rule=findSeating [fid:13:13]:[Seating id=1, pid=0, done=true, ls=1, ln=n5, rs=1, rn=n5] [fid:9:9]:[Guest name=n5, sex=f, hobbies=h1] [fid:1:1]:[Guest name=n1, sex=m, hobbies=h1] ==[ActivationCreated(16): rule=findSeating [fid:13:13]:[Seating id=1 , pid=0, done=true, ls=1, ln=n5, rs=1, rn=n5] [fid:9:9]:[Guest name=n5, sex=f, hobbies=h1] [fid:5:5]:[Guest name=n4, sex=m, hobbies=h1]* Assign Seating =[fid:15:17] :[Seating id=2 , pid=1 , done=false, ls=1, lg=n5, rs=2, rn=n4] =[fid:16:18]:[Path id=2, seat=2, guest=n4] =[fid:17:1。 由于在 BRMS 引擎中的重大提升， 2020 2020 Benchmarks 將在2020 有重大的改變和超越?，F(xiàn)代的基于 Rete 算法的規(guī)則引擎開始分析網(wǎng)絡(luò)并實現(xiàn)這種類型的優(yōu)化，不管它是一個 leaps 風(fēng)格的懶惰評估或者一個預(yù)編譯的優(yōu)化以避免錯誤的連接。 所有上面的是外部最優(yōu)化，這些情況容易發(fā)現(xiàn)并且使得結(jié)果無效。這將大量減少叉集。 when { context : Context( state == ) } then { ( )。 . Continue and Are We Done Are We Done規(guī)則僅在最后一個座位被設(shè)置后激活，這時所有的規(guī)則都已經(jīng)激活過。當(dāng) Manners 在 CLIPS 中使用寬度（ breadth）策略執(zhí)行時，如果完成路徑在建立路徑之前激發(fā)，它將陷入一個無限的循環(huán)。 ( )。 . Make Path and Path Done 建立并完成路徑 建立路徑規(guī)則必須在完成路徑 規(guī)則之前調(diào)用。這個發(fā)現(xiàn)說明，被放在 Agenda 中，有同樣時間標(biāo)簽的激活規(guī)則的順序仍然按照 LIFO/FIFO 的序列進行。 struct genericMatch binds[1]。 unsigned int notOriginf : 1。我并沒有看 Jess 或 Clips 的代碼， Peter Lin 已經(jīng)證實 Clips 為內(nèi)存使用鏈接的列表（ LinkedLists），就像下面的 Clips 的PartialMatch 結(jié)構(gòu)中的 *next 屬性： struct partialMatch { unsigned int betaMemory : 1。在 Clips 中提供的 Lex 和 Mea 沖突解決策略允許你快速轉(zhuǎn)換并正確的在 Clips 中運行 OPS5 程序。雖然深度策略的執(zhí)行是任意的，但 Manners 對于 Jess 和 Clip在使用深度策略后正確的執(zhí)行。 } } 但是，可以從之前打印的結(jié)果看到，基本上只有帶有最高 pid 座位的叉集算法（ cross product）被選擇，如果我們對于鄰近的所有座位和客人已經(jīng)有激活規(guī)則，怎樣才會產(chǎn)生這樣的結(jié)果。 ( new Path( countValue, leftGuestName, newSeat )。接受對自己或任何已經(jīng)分配的選擇方案。 ( () + 1