第4章 Decision Central での DRL ルールの作成

手順

1. DRL デザイナーで、ルールに when を入力して、条件命令文を追加します。when セクションは、ルールの条件を定義するファクトパターンで設定されますが、ファクトパターンが 1 つも追加されない場合もあります。

   when セクションを空にすると、デシジョンエンジンで fireAllRules() を呼び出すたびに、then セクションのアクションが実行します。これは、デシジョンエンジンのステートを設定するルールを使用する場合に便利です。

   条件のないルール

   rule "bootstrap"
     when   // empty
   
     then   // actions to be executed once
       insert( new Applicant() );
   end
   
   // The above rule is internally rewritten as:
   
   rule "bootstrap"
     when
       eval( true )
     then
       insert( new Applicant() );
   end

   Copy to Clipboard Toggle word wrap

2. 一致させる最初の条件のパターンを入力し、任意で制約、バインディング、およびサポートされる DRL 要素を入力します。基本的なパターンフォーマットは patternBinding : patternType ( constraints ) です。パターンは、パッケージで利用可能なデータオブジェクトに基づいており、then セクションのアクションを発生させるのに必要な条件を定義します。

   • 単純なパターン: 制約のない単純なパターンは、指定したタイプのファクトに一致します。たとえば、次は、申込者が存在することだけが条件になります。

     when
       Applicant( )

     Copy to Clipboard Toggle word wrap

   • 制約のあるパターン: 制約を持つパターンは、指定したタイプのファクトと、追加制限を括弧で指定したパターン (true または false) に一致します。たとえば、次は、申込者が 21 歳に満たないことを条件としています。

     when
       Applicant( age < 21 )

     Copy to Clipboard Toggle word wrap

   • バインディングのあるパターン: パターンのバインディングは簡単な参照となり、ルールのその他のコンポーネントが、定義したバターンに戻って参照します。たとえば、次の例では、LoanApplication のバインディング a が、underage の申込者に関連するアクションとして使用されます。

     when
       a : LoanApplication( )
       Applicant( age < 21 )
     then
       a.setApproved( false );
       a.setExplanation( "Underage" )

     Copy to Clipboard Toggle word wrap

3. 引き続き、このルールに適用する条件パターンをすべて定義します。以下は、DRL 条件を定義するいくつかのキーワードオプションです。

   • and: 条件コンポーネントを論理積に分類します。インフィックスおよびプリフィックスの and がサポートされます。デフォルトでは、結合演算子を指定しないと、リストされている条件またはアクションがすべて and と結合します。

     a : LoanApplication( ) and Applicant( age < 21 )
     
     a : LoanApplication( )
     and Applicant( age < 21 )
     
     a : LoanApplication( )
     Applicant( age < 21 )
     
     // All of the above are the same.

     Copy to Clipboard Toggle word wrap

   • or: 条件コンポーネントを論理和に分類します。インフィックスおよびプリフィックスの or がサポートされます。

     Bankruptcy( amountOwed == 100000 ) or IncomeSource( amount == 20000 )
     
     Bankruptcy( amountOwed == 100000 )
     or IncomeSource( amount == 20000 )

     Copy to Clipboard Toggle word wrap

   • exists: 存在すべきファクトおよび制約を指定します。これは、ファクトが存在していることを示しているのではなく、ファクトが存在すべきであることを示しています。このオプションは、最初に一致したものだけが適用され、その後一致するものは無視されます。

     exists ( Bankruptcy( yearOfOccurrence > 1990 || amountOwed > 10000 ) )

     Copy to Clipboard Toggle word wrap

   • not: 存在するべきでないファクトおよび制約を指定します。

     not ( Applicant( age < 21 ) )

     Copy to Clipboard Toggle word wrap

   • forall: 最初のパターンに一致したすべてのファクトが残りのパターンに一致する制約を作成します。

     forall( app : Applicant( age < 21 )
                   Applicant( this == app, status = 'underage' ) )

     Copy to Clipboard Toggle word wrap

   • from: 条件パターンによりデータが一致するソースを指定します。

     Applicant( ApplicantAddress : address )
     Address( zipcode == "23920W" ) from ApplicantAddress

     Copy to Clipboard Toggle word wrap

   • entry-point: パターンのデータソースに対応する エントリーポイント を定義します。通常は from とともに使用します。

     Applicant( ) from entry-point "LoanApplication"

     Copy to Clipboard Toggle word wrap

   • collect: 設定を条件の一部として使用できる、オブジェクトのコレクションを定義します。この例では、指定した各担保に対して、デシジョンエンジンで保留されているすべての申し込みが ArrayLists に分類されます。申し込みが 3 つ以上ある場合は、このルールが実行します。

     m : Mortgage()
     a : ArrayList( size >= 3 )
         from collect( LoanApplication( Mortgage == m, status == 'pending' ) )

     Copy to Clipboard Toggle word wrap

   • accumulate: オブジェクトのコレクションを処理し、各要素のカスタムアクションを実行し、(制約が true と評価されると) 結果オブジェクトを 1 つ以上返します。このオプションは、collect よりも強力で、柔軟性が高いオプションです。accumulate( <source pattern>; <functions> [;<constraints>] ) 形式を使用します。この例では、min、max、および average は累積関数で、各センサーのすべての測定値から、最低気温、最高気温、そして平均気温の値を計算します。その他のサポートされる関数には、count、sum、variance、standardDeviation、collectList、および collectSet があります。

     s : Sensor()
     accumulate( Reading( sensor == s, temp : temperature );
                 min : min( temp ),
                 max : max( temp ),
                 avg : average( temp );
                 min < 20, avg > 70 )

     Copy to Clipboard Toggle word wrap
     高度な DRL オプション

     これは、条件を定義する基本的なキーワードオプションおよびパターン構築の例です。さらに高度な DRL オプションと構文が DRL デザイナーでサポートされています。オンラインのDrools ドキュメンテーションを参照してください。

4. ルールの条件コンポーネントをすべて定義したら、DRL デザイナーの右上のツールバーの Validate をクリックして、DRL ファイルの妥当性を確認します。ファイルの妥当性確認に失敗したら、エラーメッセージに記載された問題に対応し、DRL ファイルの構文およびコンポーネントをすべて見直し、エラーが表示されなくなるまで再度、ファイルを検証します。
5. DRL デザイナーで Save をクリックして、設定した内容を保存します。