Production Rule Representation Team Response Presentation to BEIDTF OMG Montreal Aug 2004...
-
Upload
lorin-randall -
Category
Documents
-
view
218 -
download
0
Transcript of Production Rule Representation Team Response Presentation to BEIDTF OMG Montreal Aug 2004...
![Page 1: Production Rule Representation Team Response Presentation to BEIDTF OMG Montreal Aug 2004 Ruleml.org.](https://reader035.fdocuments.net/reader035/viewer/2022062515/56649ce35503460f949af5a3/html5/thumbnails/1.jpg)
Production Rule Representation Team Response
Presentation to BEIDTFOMG Montreal Aug 2004
Ruleml.org
![Page 2: Production Rule Representation Team Response Presentation to BEIDTF OMG Montreal Aug 2004 Ruleml.org.](https://reader035.fdocuments.net/reader035/viewer/2022062515/56649ce35503460f949af5a3/html5/thumbnails/2.jpg)
Agenda
Introduction to PRR
Introduction to PRR Team
PRR Scope, Goals, Requirements
PRR Positioning & Other Standards
![Page 3: Production Rule Representation Team Response Presentation to BEIDTF OMG Montreal Aug 2004 Ruleml.org.](https://reader035.fdocuments.net/reader035/viewer/2022062515/56649ce35503460f949af5a3/html5/thumbnails/3.jpg)
What is a Production Rule?
• A statement of programming logic that specifies the execution of one or more actions in the case that its conditions are satisfied.– If Conditions then Actions– Executed by an inference engine
• NOT what is meant in OMG model transformations
![Page 4: Production Rule Representation Team Response Presentation to BEIDTF OMG Montreal Aug 2004 Ruleml.org.](https://reader035.fdocuments.net/reader035/viewer/2022062515/56649ce35503460f949af5a3/html5/thumbnails/4.jpg)
Why a PRR Standard?• Production Rules & Inference Engines are used in
industry as a means of– Efficiently representing and executing business rules– 100Ks – Ms of such rules in use across different
organizations– Used in decision automation in financial svcs, government,
insurance, healthcare etc
• Issues in PRR implementations include– How do I represent rules in my UML model?– How do I guarantee vendor neutrality in rule representation?
• Lack of standard results in– Rules being omitted from models– Rules being integrated into UML incorrectly– No rule exchange standards– No standardized training for modelers
![Page 5: Production Rule Representation Team Response Presentation to BEIDTF OMG Montreal Aug 2004 Ruleml.org.](https://reader035.fdocuments.net/reader035/viewer/2022062515/56649ce35503460f949af5a3/html5/thumbnails/5.jpg)
State of the Technology• Inferencing with Production Rules: 20 years old
– Backward chaining and forward chaining are well established technologies
• Vendors in the industry– Commercial inference engines
• Fair Isaac: Blaze Advisor• ILOG: JRules• CA: Aion
– Open source / source-available tools• JESS• DROOLS
– More in development
![Page 6: Production Rule Representation Team Response Presentation to BEIDTF OMG Montreal Aug 2004 Ruleml.org.](https://reader035.fdocuments.net/reader035/viewer/2022062515/56649ce35503460f949af5a3/html5/thumbnails/6.jpg)
PRR Team Members
• IBM: largest IT services and tools company
• Fair Isaac:
• Ilog:
• LibRT: vendor of rule verification technology
• RuleML: existing rule standards body
the Top 2 Suppliers of inference engines & rule management technology
![Page 7: Production Rule Representation Team Response Presentation to BEIDTF OMG Montreal Aug 2004 Ruleml.org.](https://reader035.fdocuments.net/reader035/viewer/2022062515/56649ce35503460f949af5a3/html5/thumbnails/7.jpg)
PRR Scope
• MDA Platform Independent Model: an “Inferencing platform” that is independent of specific inferencing product
• Excludes – Logic programming and unification– Constraint programming and constraint
satisfaction– Event-Condition-Action (ECA) rules– Fuzzy rules and Bayesian inferencing
![Page 8: Production Rule Representation Team Response Presentation to BEIDTF OMG Montreal Aug 2004 Ruleml.org.](https://reader035.fdocuments.net/reader035/viewer/2022062515/56649ce35503460f949af5a3/html5/thumbnails/8.jpg)
PRR Team Goals• Opportunity for PRR standard that satisfies
both OMG and RuleML.org needs• Provides basis for rule interoperability &
encourage further adoption of production rules in software systems
• Standardize the representation of rules within common UML diagrams
NOTE: At this time, we are NOT concerned withtheoretical MDA transformations
to/from other metamodelsHOWEVER: We do not preclude this capability
being provided outside of this standard
![Page 9: Production Rule Representation Team Response Presentation to BEIDTF OMG Montreal Aug 2004 Ruleml.org.](https://reader035.fdocuments.net/reader035/viewer/2022062515/56649ce35503460f949af5a3/html5/thumbnails/9.jpg)
PRR Requirements• MOF 2.0 compliant Production Rule Metamodel
– Abstract syntax for representing PR in UML models– Supports “patterns” across Conditions and Actions
• Supported inferencing algorithms– Forward or backward chaining– Support for Rete algorithm is required
• XML Schema for XMI support• Rulesets
– Properties: reasoning mode, identifier– Ruleset aggregation– Association with UML Activity Diagram
• Rule/ruleset naming• Examples
![Page 10: Production Rule Representation Team Response Presentation to BEIDTF OMG Montreal Aug 2004 Ruleml.org.](https://reader035.fdocuments.net/reader035/viewer/2022062515/56649ce35503460f949af5a3/html5/thumbnails/10.jpg)
PRR in UML
Re-use existing UML languages as much as possible, withminimum extensions / changes required to achieve a PRR
Conditions: OCL subset against a defined object model+ extensions to support patterns+ extensions to support variable / pattern sharing with actions- OR -
RuleML constructs
Actions: Action Language subset against a defined object model+ extended to support scope defined through conditions’ context
![Page 11: Production Rule Representation Team Response Presentation to BEIDTF OMG Montreal Aug 2004 Ruleml.org.](https://reader035.fdocuments.net/reader035/viewer/2022062515/56649ce35503460f949af5a3/html5/thumbnails/11.jpg)
Metamodel of Rules
DerivationRule ReactionRuleIntegrityRule
SQL:1999Assertion
ProductionRule
ECARule
SQL:1999 Trigger
SQL:1999 View
OCL 2.0 Invariant
XSB 2.6 PrologRule Jess 3.4 Rule
ECAPRule
TransformationRule
XSL 1.0 RulePIM
MS Outlook 6 Rule
PSMOracle 10gSQL View
ILOG JRule BlazeAdvisorRule
Rule
Possibly also consider “Procedural Rules”
![Page 12: Production Rule Representation Team Response Presentation to BEIDTF OMG Montreal Aug 2004 Ruleml.org.](https://reader035.fdocuments.net/reader035/viewer/2022062515/56649ce35503460f949af5a3/html5/thumbnails/12.jpg)
Metamodel under development
Investigating basics of representation structureas well as effects of OCL and AS; extended for rule scope
name[1] : string
ProductionRule1
condition1..*
1
producedAction1..*
{ordered}
ActionExpressionLogicalFormula
name : string
ProductionRule
ActionExpressionLogicalFormula
+parentRule
1
+producedAction1..*
-parentRule
1
-condition1..*
Use of association:this means conditions and actions arerepresented independently.Useful if conditions and actions- have independent scope,- can be shared.
Use of composition:this means conditions and actions arerepresented within rules.Useful if conditions and actions- are dependent on rule contexteg action depends on condition context for pattern,- should be repeated rather than shared.
![Page 13: Production Rule Representation Team Response Presentation to BEIDTF OMG Montreal Aug 2004 Ruleml.org.](https://reader035.fdocuments.net/reader035/viewer/2022062515/56649ce35503460f949af5a3/html5/thumbnails/13.jpg)
Comparison with Existing Stds
JavaInvocation
JSR-094
Desire to includestandard
rule transportas well asinvocation
W3C / XML
XPath etc
Need for
specificproduction rulerepresentation
RuleML
Predicate-logic
Requirementfor more
commercial usageEg OORuleML
separatesrules from data
![Page 14: Production Rule Representation Team Response Presentation to BEIDTF OMG Montreal Aug 2004 Ruleml.org.](https://reader035.fdocuments.net/reader035/viewer/2022062515/56649ce35503460f949af5a3/html5/thumbnails/14.jpg)
PRR positioningin MDA for Current Tools
CIM
PIM
PSM
Execution layer
Fair Isaac& IlogRule MgmtTechnology
IBMTools
andSolutions
thatdefine,embed
productionrules
LibRTRule
TestingTechnology
PRR
![Page 15: Production Rule Representation Team Response Presentation to BEIDTF OMG Montreal Aug 2004 Ruleml.org.](https://reader035.fdocuments.net/reader035/viewer/2022062515/56649ce35503460f949af5a3/html5/thumbnails/15.jpg)
PRR positioningin MDA for BEIDTF Models
CIM
PIM
PSM
Execution layer
BPDMBSBR*Rule & ProcessModels
Business Metamodel
Business Object Model
PRR
BSBR Vocabulary
![Page 16: Production Rule Representation Team Response Presentation to BEIDTF OMG Montreal Aug 2004 Ruleml.org.](https://reader035.fdocuments.net/reader035/viewer/2022062515/56649ce35503460f949af5a3/html5/thumbnails/16.jpg)
PRR positioningin MDA for BEIDTF Models
CIM
PIM
PSM
Execution layer
BPDMBSBR*Rule & ProcessModels
Business Metamodel
Business Object Model
PRR
BSBR Vocabulary
Appropriate engines / code generators
![Page 17: Production Rule Representation Team Response Presentation to BEIDTF OMG Montreal Aug 2004 Ruleml.org.](https://reader035.fdocuments.net/reader035/viewer/2022062515/56649ce35503460f949af5a3/html5/thumbnails/17.jpg)
PRR Issues
• Is PRR still useful, given BSBR defines formal rules at business level?
• Will transformations be automatable? Or just traceable?
• Is OMG Metamodel structure too heavyweight?
POSSIBLY: BSBR is an information model; not targeted at implementation of services
UNKNOWN: Depends on customerinterest. Note lack of success of CASE…
POSSIBLY: Could derivea lightweight version in future
![Page 18: Production Rule Representation Team Response Presentation to BEIDTF OMG Montreal Aug 2004 Ruleml.org.](https://reader035.fdocuments.net/reader035/viewer/2022062515/56649ce35503460f949af5a3/html5/thumbnails/18.jpg)
PRR Issues (2)
• Will RuleML be coverable in same standard?
Use/extend of BOTH OCL & ASL? Why not extend just 1?
PROBABLY: Working on examplesto verify this assumption
POSSIBLY: Might be that extensionsare useful for other rules / uses in OMG?
![Page 19: Production Rule Representation Team Response Presentation to BEIDTF OMG Montreal Aug 2004 Ruleml.org.](https://reader035.fdocuments.net/reader035/viewer/2022062515/56649ce35503460f949af5a3/html5/thumbnails/19.jpg)
Status & Summary
• Effective PRR team in place• Current work:
– Expanding metamodel to accommodate RFP requirements
– Exploration of OCL + AL to provide behavior– Example-driven investigations comparing
RuleML, LibRT RBML, Ilog + Fair Isaac rule implementations, and OCL + AL definitions
• Next: Diagramming PR• Next Update: Nov mtg