第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

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

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

     when
       Applicant( )

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

     when
       Applicant( age < 21 )

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

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

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.

   • or: 条件コンポーネントを論理和に分類します。接中辞および接頭辞の or がサポートされます。

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

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

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

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

     not (Applicant( age < 21 ))

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

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

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

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

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

     Applicant( ) from entry-point "LoanApplication"

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

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

   • 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 )

     高度な DRL オプション

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

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

手順

1. DRL デザイナーで、ルールの when セクションの後に then を入力して、アクション命令文を追加します。

2. ルールの条件に基づいて、ファクトパターンに対して実行するアクションを 1 つ以上入力します。

   次は、DRL アクションを定義するキーワードオプションの例です。

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

     application.setApproved ( false ) and application.setExplanation( "has been bankrupt" );
     
     application.setApproved ( false );
     and application.setExplanation( "has been bankrupt" );
     
     application.setApproved ( false );
     application.setExplanation( "has been bankrupt" );
     
     // All of the above are the same.

   • set: フィールドの値を設定します。

     application.setApproved ( false );
     application.setExplanation( "has been bankrupt" );

   • modify: ファクトに対して修正するフィールドを指定し、変更をデシジョンエンジンに通知します。

     modify( LoanApplication ) {
             setAmount( 100 )
     }

   • update: フィールドと、修正される関連ファクト全体を指定して、その変更をデシジョンエンジンに通知します。ファクトが変更したら、アップデートした値の影響を受ける可能性がある別のファクトを変更する前に、update を呼び出す必要があります。modify キーワードには、この追加手順がありません。

     update( LoanApplication ) {
             setAmount( 100 )
     }

   • delete: デシジョンエンジンからオブジェクトを削除します。キーワード retract も DRL デザイナーでサポートされ、同じアクションを実行しますが、キーワード insert との一貫性を保つために delete が好まれます。

     delete( LoanApplication );

   • insert: 新しい ファクトを挿入し、ファクトに必要な結果フィールドと値を定義します。

     insert( new Applicant() );

   • insertLogical: 新しい ファクトをデシジョンエンジンに論理的に挿入し、ファクトに必要な結果フィールドと値を追加します。Red Hat Decision Manager のデシジョンエンジンは、ファクトの挿入および取り消しに対して論理的な決断を行います。定期的な挿入、または指定した挿入の後に、ファクトを明示的に取り消す必要があります。論理挿入の後に、ファクトをアサートした条件が TRUE ではなくなると、ファクトは自動的にに取り消されます。

     insertLogical( new Applicant() );

     高度な DRL オプション

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

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