1.5. DMN モデルの例
以下は、入力データ、状況、企業のガイドラインをもとに、デシジョンモデルをどのように使用して決断に至るかを判断する実際の DMN モデル例です。以下のシナリオでは、サンディエゴからニューヨークへのフライトがキャンセルされ、欠航となってしまったフライトの航空会社は、このフライトの乗客に対して、別のフライトを手配する必要があります。
まずは、乗客を目的地に運ぶ最適な方法を決めるのに必要な情報を集めます。
- 入力データ
- フライトリスト
- 乗客リスト
- 決定
- 新しいフライトで席を確保する乗客の優先順位をつける
- 乗客に提示するフライトを決定する
- ビジネスナレッジモデル
- 乗客の優先順位を決定する企業のプロセス
- 席に余裕があるフライト
- フライトをキャンセルされた乗客を再割り当てするのに最適な方法を決定する会社のルール
次に、航空会社は、DMN 仕様を使用して、以下の意思決定要件ダイアグラム (DRD) でそのデシジョンプロセスをモデル化し、予約変更の最適解を決める以下のダイアグラムを作成します。
図1.16 フライト予約変更の DRD
DRD では、フローチャートのように、プロセスの各要素に異なる形状を使用します。楕円形には必要な入力データが 2 つ、長方形にはモデルでのデシジョンポイントを含み、端が欠けた長方形 (ビジネスナレッジモデル) には、繰り返し呼び出せる再利用可能なロジックが含まれます。
DRD は、FEEL 式またはデータ型の値を使用して変数定義を提供するボックス式から各要素のロジックを引き出します。
ウィティングリストの優先順位を確立する以下のデシジョンなど、ボックス式には基本的なものもあります。
図1.17 ウェイティングリストの優先順位に関するボックスコンテキスト式のサンプル
ボックス式には、次の遅延客を再割り当てするための以下のビジネスナレッジモデルなど、詳細にわたる情報や計算が含まれ、さらに複雑なものもあります。
図1.18 乗客再割り当てのボックス関数式
以下は、このデシジョンモデルの DMN ソースファイルです。
<definitions xmlns="http://www.omg.org/spec/DMN/20151101/dmn.xsd" xmlns:kie="https://www.drools.org/kie-dmn" xmlns:feel="http://www.omg.org/spec/FEEL/20140401" id="_0019_flight_rebooking" name="0019-flight-rebooking" namespace="https://www.drools.org/kie-dmn">
<itemDefinition id="_tFlight" name="tFlight">
<itemComponent id="_tFlight_Flight" name="Flight Number">
<typeRef>feel:string</typeRef>
</itemComponent>
<itemComponent id="_tFlight_From" name="From">
<typeRef>feel:string</typeRef>
</itemComponent>
<itemComponent id="_tFlight_To" name="To">
<typeRef>feel:string</typeRef>
</itemComponent>
<itemComponent id="_tFlight_Dep" name="Departure">
<typeRef>feel:dateTime</typeRef>
</itemComponent>
<itemComponent id="_tFlight_Arr" name="Arrival">
<typeRef>feel:dateTime</typeRef>
</itemComponent>
<itemComponent id="_tFlight_Capacity" name="Capacity">
<typeRef>feel:number</typeRef>
</itemComponent>
<itemComponent id="_tFlight_Status" name="Status">
<typeRef>feel:string</typeRef>
</itemComponent>
</itemDefinition>
<itemDefinition id="_tFlightTable" isCollection="true" name="tFlightTable">
<typeRef>kie:tFlight</typeRef>
</itemDefinition>
<itemDefinition id="_tPassenger" name="tPassenger">
<itemComponent id="_tPassenger_Name" name="Name">
<typeRef>feel:string</typeRef>
</itemComponent>
<itemComponent id="_tPassenger_Status" name="Status">
<typeRef>feel:string</typeRef>
</itemComponent>
<itemComponent id="_tPassenger_Miles" name="Miles">
<typeRef>feel:number</typeRef>
</itemComponent>
<itemComponent id="_tPassenger_Flight" name="Flight Number">
<typeRef>feel:string</typeRef>
</itemComponent>
</itemDefinition>
<itemDefinition id="_tPassengerTable" isCollection="true" name="tPassengerTable">
<typeRef>kie:tPassenger</typeRef>
</itemDefinition>
<itemDefinition id="_tFlightNumberList" isCollection="true" name="tFlightNumberList">
<typeRef>feel:string</typeRef>
</itemDefinition>
<inputData id="i_Flight_List" name="Flight List">
<variable name="Flight List" typeRef="kie:tFlightTable"/>
</inputData>
<inputData id="i_Passenger_List" name="Passenger List">
<variable name="Passenger List" typeRef="kie:tPassengerTable"/>
</inputData>
<decision name="Prioritized Waiting List" id="d_PrioritizedWaitingList">
<variable name="Prioritized Waiting List" typeRef="kie:tPassengerTable"/>
<informationRequirement>
<requiredInput href="#i_Passenger_List"/>
</informationRequirement>
<informationRequirement>
<requiredInput href="#i_Flight_List"/>
</informationRequirement>
<knowledgeRequirement>
<requiredKnowledge href="#b_PassengerPriority"/>
</knowledgeRequirement>
<context>
<contextEntry>
<variable name="Cancelled Flights" typeRef="kie:tFlightNumberList"/>
<literalExpression>
<text>Flight List[ Status = "cancelled" ].Flight Number</text>
</literalExpression>
</contextEntry>
<contextEntry>
<variable name="Waiting List" typeRef="kie:tPassengerTable"/>
<literalExpression>
<text>Passenger List[ list contains( Cancelled Flights, Flight Number ) ]</text>
</literalExpression>
</contextEntry>
<contextEntry>
<literalExpression>
<text>sort( Waiting List, passenger priority )</text>
</literalExpression>
</contextEntry>
</context>
</decision>
<decision name="Rebooked Passengers" id="d_RebookedPassengers">
<variable name="Rebooked Passengers" typeRef="kie:tPassengerTable"/>
<informationRequirement>
<requiredDecision href="#d_PrioritizedWaitingList"/>
</informationRequirement>
<informationRequirement>
<requiredInput href="#i_Flight_List"/>
</informationRequirement>
<knowledgeRequirement>
<requiredKnowledge href="#b_ReassignNextPassenger"/>
</knowledgeRequirement>
<invocation>
<literalExpression>
<text>reassign next passenger</text>
</literalExpression>
<binding>
<parameter name="Waiting List"/>
<literalExpression>
<text>Prioritized Waiting List</text>
</literalExpression>
</binding>
<binding>
<parameter name="Reassigned Passengers List"/>
<literalExpression>
<text>[]</text>
</literalExpression>
</binding>
<binding>
<parameter name="Flights"/>
<literalExpression>
<text>Flight List</text>
</literalExpression>
</binding>
</invocation>
</decision>
<businessKnowledgeModel id="b_PassengerPriority" name="passenger priority">
<encapsulatedLogic>
<formalParameter name="Passenger1" typeRef="kie:tPassenger"/>
<formalParameter name="Passenger2" typeRef="kie:tPassenger"/>
<decisionTable hitPolicy="UNIQUE">
<input id="b_Passenger_Priority_dt_i_P1_Status" label="Passenger1.Status">
<inputExpression typeRef="feel:string">
<text>Passenger1.Status</text>
</inputExpression>
<inputValues>
<text>"gold", "silver", "bronze"</text>
</inputValues>
</input>
<input id="b_Passenger_Priority_dt_i_P2_Status" label="Passenger2.Status">
<inputExpression typeRef="feel:string">
<text>Passenger2.Status</text>
</inputExpression>
<inputValues>
<text>"gold", "silver", "bronze"</text>
</inputValues>
</input>
<input id="b_Passenger_Priority_dt_i_P1_Miles" label="Passenger1.Miles">
<inputExpression typeRef="feel:string">
<text>Passenger1.Miles</text>
</inputExpression>
</input>
<output id="b_Status_Priority_dt_o" label="Passenger1 has priority">
<outputValues>
<text>true, false</text>
</outputValues>
<defaultOutputEntry>
<text>false</text>
</defaultOutputEntry>
</output>
<rule id="b_Passenger_Priority_dt_r1">
<inputEntry id="b_Passenger_Priority_dt_r1_i1">
<text>"gold"</text>
</inputEntry>
<inputEntry id="b_Passenger_Priority_dt_r1_i2">
<text>"gold"</text>
</inputEntry>
<inputEntry id="b_Passenger_Priority_dt_r1_i3">
<text>>= Passenger2.Miles</text>
</inputEntry>
<outputEntry id="b_Passenger_Priority_dt_r1_o1">
<text>true</text>
</outputEntry>
</rule>
<rule id="b_Passenger_Priority_dt_r2">
<inputEntry id="b_Passenger_Priority_dt_r2_i1">
<text>"gold"</text>
</inputEntry>
<inputEntry id="b_Passenger_Priority_dt_r2_i2">
<text>"silver","bronze"</text>
</inputEntry>
<inputEntry id="b_Passenger_Priority_dt_r2_i3">
<text>-</text>
</inputEntry>
<outputEntry id="b_Passenger_Priority_dt_r2_o1">
<text>true</text>
</outputEntry>
</rule>
<rule id="b_Passenger_Priority_dt_r3">
<inputEntry id="b_Passenger_Priority_dt_r3_i1">
<text>"silver"</text>
</inputEntry>
<inputEntry id="b_Passenger_Priority_dt_r3_i2">
<text>"silver"</text>
</inputEntry>
<inputEntry id="b_Passenger_Priority_dt_r3_i3">
<text>>= Passenger2.Miles</text>
</inputEntry>
<outputEntry id="b_Passenger_Priority_dt_r3_o1">
<text>true</text>
</outputEntry>
</rule>
<rule id="b_Passenger_Priority_dt_r4">
<inputEntry id="b_Passenger_Priority_dt_r4_i1">
<text>"silver"</text>
</inputEntry>
<inputEntry id="b_Passenger_Priority_dt_r4_i2">
<text>"bronze"</text>
</inputEntry>
<inputEntry id="b_Passenger_Priority_dt_r4_i3">
<text>-</text>
</inputEntry>
<outputEntry id="b_Passenger_Priority_dt_r4_o1">
<text>true</text>
</outputEntry>
</rule>
<rule id="b_Passenger_Priority_dt_r5">
<inputEntry id="b_Passenger_Priority_dt_r5_i1">
<text>"bronze"</text>
</inputEntry>
<inputEntry id="b_Passenger_Priority_dt_r5_i2">
<text>"bronze"</text>
</inputEntry>
<inputEntry id="b_Passenger_Priority_dt_r5_i3">
<text>>= Passenger2.Miles</text>
</inputEntry>
<outputEntry id="b_Passenger_Priority_dt_r5_o1">
<text>true</text>
</outputEntry>
</rule>
</decisionTable>
</encapsulatedLogic>
<variable name="passenger priority" typeRef="feel:boolean"/>
</businessKnowledgeModel>
<businessKnowledgeModel id="b_ReassignNextPassenger" name="reassign next passenger">
<encapsulatedLogic>
<formalParameter name="Waiting List" typeRef="kie:tPassengerTable"/>
<formalParameter name="Reassigned Passengers List" typeRef="kie:tPassengerTable"/>
<formalParameter name="Flights" typeRef="kie:tFlightTable"/>
<context>
<contextEntry>
<variable name="Next Passenger" typeRef="kie:tPassenger"/>
<literalExpression>
<text>Waiting List[1]</text>
</literalExpression>
</contextEntry>
<contextEntry>
<variable name="Original Flight" typeRef="kie:tFlight"/>
<literalExpression>
<text>Flights[ Flight Number = Next Passenger.Flight Number ][1]</text>
</literalExpression>
</contextEntry>
<contextEntry>
<variable name="Best Alternate Flight" typeRef="kie:tFlight"/>
<literalExpression>
<text>Flights[ From = Original Flight.From and To = Original Flight.To and Departure > Original Flight.Departure and Status = "scheduled" and has capacity( item, Reassigned Passengers List ) ][1]</text>
</literalExpression>
</contextEntry>
<contextEntry>
<variable name="Reassigned Passenger" typeRef="kie:tPassenger"/>
<context>
<contextEntry>
<variable name="Name" typeRef="feel:string"/>
<literalExpression>
<text>Next Passenger.Name</text>
</literalExpression>
</contextEntry>
<contextEntry>
<variable name="Status" typeRef="feel:string"/>
<literalExpression>
<text>Next Passenger.Status</text>
</literalExpression>
</contextEntry>
<contextEntry>
<variable name="Miles" typeRef="feel:number"/>
<literalExpression>
<text>Next Passenger.Miles</text>
</literalExpression>
</contextEntry>
<contextEntry>
<variable name="Flight Number" typeRef="feel:string"/>
<literalExpression>
<text>Best Alternate Flight.Flight Number</text>
</literalExpression>
</contextEntry>
</context>
</contextEntry>
<contextEntry>
<variable name="Remaining Waiting List" typeRef="kie:tPassengerTable"/>
<literalExpression>
<text>remove( Waiting List, 1 )</text>
</literalExpression>
</contextEntry>
<contextEntry>
<variable name="Updated Reassigned Passengers List" typeRef="kie:tPassengerTable"/>
<literalExpression>
<text>append( Reassigned Passengers List, Reassigned Passenger )</text>
</literalExpression>
</contextEntry>
<contextEntry>
<literalExpression>
<text>if count( Remaining Waiting List ) > 0 then reassign next passenger( Remaining Waiting List, Updated Reassigned Passengers List, Flights ) else Updated Reassigned Passengers List</text>
</literalExpression>
</contextEntry>
</context>
</encapsulatedLogic>
<variable name="reassign next passenger" typeRef="kie:tPassengerTable"/>
<knowledgeRequirement>
<requiredKnowledge href="#b_HasCapacity"/>
</knowledgeRequirement>
</businessKnowledgeModel>
<businessKnowledgeModel id="b_HasCapacity" name="has capacity">
<encapsulatedLogic>
<formalParameter name="flight" typeRef="kie:tFlight"/>
<formalParameter name="rebooked list" typeRef="kie:tPassengerTable"/>
<literalExpression>
<text>flight.Capacity > count( rebooked list[ Flight Number = flight.Flight Number ] )</text>
</literalExpression>
</encapsulatedLogic>
<variable name="has capacity" typeRef="feel:boolean"/>
</businessKnowledgeModel>
</definitions>