Drools 6.0 (JudCon 2013)

Not Quite There Yet•The SkyNet funding bill is passed.

•The system goes online on August 4th, 1997.

•Human decisions are removed from strategic defense.

•SkyNet begins to learn at a geometric rate.

•It becomes self-aware at 2:14am Eastern time, August 29th

•In a panic, they try to pull the plug.

•And, Skynet fights back

Saturday, 29 June 13

Who am I?

• Drools co-founder

• JBoss (2005)

• Red Hat (2006)

• Polymita Acquisition 2012

• Red Hat Platform Architect


KIE - Knowledge Is EverythingKIE

Drools jBPMOptaPlanner UberFire

Guvnor

Drools-WB jBPM-WB

KIE-WB


GitHub• URL:• https://github.com/droolsjbpm/

• Bootstrap project:• https://github.com/droolsjbpm/droolsjbpm-

build-bootstrap


https://github.com/droolsjbpm/

https://github.com/droolsjbpm/

https://github.com/droolsjbpm/droolsjbpm-build-bootstrap




Changes• Conventions:• droolsjbpm -> kie• knowlege -> kie

• Examples• KnowledgeBase -> Kie• StatefulKnowledgeSession -> KieSession• StatelessKnowledgeSession - StatelesKieSession

• Legacy API Adapter JAR• Most API’s should work with legacy adapter• KnowledegAgents have not been ported, PKG’s are not

longer the unit of deployment


BRMS 6.0Simplified Utilization


BRMS 5.0 Programmatic APIKnowledgeBuilder kbuilder = KnowledgeBuilderFactory.newKnowledgeBuilder();

kbuilder.batch().add( newClassPathResource( "Model.drl", getClass() ), DRL ) .add( newClassPathResource( "Queries.drl", getClass() ), DRL ) .add( newClassPathResource( "General.drl", getClass() ), DRL ) .add( newClassPathResource( "Response.drl", getClass() ), DRL ) .add( newClassPathResource( "Events.drl", getClass() ), DRL ) .add( newClassPathResource( "UiView.drl", getClass() ), DRL ) .add( newClassPathResource( "Commands.drl", getClass() ), DRL ).build();

if ( kbuilder.hasErrors() ) { System.out.println( kbuilder.getErrors().toString() ); System.exit( 1 );}

KieBaseConfiguration kbaseConf = KnowledgeBaseFactory.newKnowledgeBaseConfiguration();kbaseConf.setOption( EqualityBehaviorOption.EQUALITY );

KnowledgeBase kbase = KnowledgeBaseFactory.newKnowledgeBase( kbaseConf );kbase.addKnowledgePackages( kbuilder.getKnowledgePackages() );

Counter c = new Counter();ksession = kbase.newStatefulKnowledgeSession();


KieModules• Discovery• META-INF/kmodule.xml

• Convention based• No programmatic api for building• Multiple Named entities• Inheritence of Resources• Defaults for lazy people• Version built in a standard


Git Hub Examples• https://github.com/droolsjbpm/drools/tree/master/drools-

examples-api


https://github.com/droolsjbpm/drools/tree/master/drools-examples-api



KieModules

<kmodule xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://jboss.org/kie/6.0.0/kmodule"> </kmodule>

KieServices ks = KieServices.Factory.get();KieContainer kContainer = ks.getKieClasspathContainer();

KieSession kSession = kContainer.newKieSession();kSession.setGlobal("out", out);kSession.insert(new Message("Dave", "Hello, HAL. Do you read me, HAL?"));kSession.fireAllRules();


11


KieModules• Named Entities and JAR on Classpath• Creates one KieBase• Includes resources from package matching

kbase name

<kmodule xmlns="http://jboss.org/kie/6.0.0/kmodule">

<kbase name="kbase1"> <ksession name="ksession1"/> </kbase>

</kmodule>

KieServices ks = KieServices.Factory.get();KieContainer kContainer = ks.getKieClasspathContainer();

KieSession kSession = kContainer.newKieSession("ksession1");kSession.setGlobal("out", out);kSession.insert(new Message("Dave", "Hello, HAL. Do you read me, HAL?"));kSession.fireAllRules();


http://jboss.org/kie/6.0.0/kmodule

http://jboss.org/kie/6.0.0/kmodule

13


KieModules• Named Entities, with inheritence and JAR on

Classpath• Two projects, one “includes” from the other<dependency> <groupId>org.drools</groupId> <artifactId>named-kiesession</artifactId> <version>6.0.0-SNAPSHOT</version></dependency>

<kbase name="kbase2" includes="kbase1"> <ksession name="ksession2"/></kbase>

KieServices ks = KieServices.Factory.get();KieContainer kContainer = ks.getKieClasspathContainer();KieSession kSession = kContainer.newKieSession("ksession2");kSession.setGlobal("out", out);

kSession.insert(new Message("Dave", "Hello, HAL. Do you read me, HAL?"));kSession.fireAllRules();

kSession.insert(new Message("Dave", "Open the pod bay doors, HAL."));kSession.fireAllRules();


KieModules• Package location can over-ride kbase name defaults

<kbase name="WumpusMainKB" packages="org.drools.games.wumpus.server, org.drools.games.wumpus.server.view"> <ksession name="WumpusMainKS" /></kbase>

<kbase name="WumpusClientKB" packages="org.drools.games.wumpus.client"> <ksession name="WumpusClientKS"/></kbase>

KieContainer kc = KieServices.Factory.get().getKieClasspathContainer();final KieSession serverKsession = kc.newKieSession( "WumpusMainKS");final KieSession clientKsession = kc.newKieSession("WumpusClientKS");


Dynamic KieModules• JARs can be loaded from URLs into KieRepository• Once loaded they can be resolved via ReleaseId

KieServices ks = KieServices.Factory.get();KieRepository kr = ks.getRepository();

KieModule kModule = kr.addKieModule(ks.getResources().newFileSystemResource( getFile("default-kiesession")));

KieContainer kContainer = ks.newKieContainer(kModule.getReleaseId());

KieSession kSession = kContainer.newKieSession();kSession.setGlobal("out", out);

Object msg1 = createMessage(kContainer, "Dave", "Hello, HAL. Do you read me, HAL?");kSession.insert(msg1);kSession.fireAllRules();


Dynamic KieModules• kie-ci use embedded maven for remote

discovery<dependency> <groupId>org.kie</groupId> <artifactId>kie-ci</artifactId></dependency>

KieServices ks = KieServices.Factory.get();

// Install example1 in the local maven repo before to do thisKieContainer kContainer = ks.newKieContainer( ks.newReleaseId("org.drools", "named-kiesession", "6.0.0-SNAPSHOT"));

KieSession kSession = kContainer.newKieSession("ksession1");kSession.setGlobal("out", out);



Dynamic Modules

// create a new kjarInternalKieModule kJar2 = createKieJar(ks, releaseId, "rule2", "rule3");

// deploy it on mavenrepository.deployArtifact(releaseId, kJar2, kPom);

// since I am not calling start() on the scanner it means it won't have automatic scheduled scanningKieScanner scanner = ks.newKieScanner(kieContainer);

// scan the maven repo to get the new kjar version and deploy it on the kcontainerscanner.scanNow();

// create a ksesion and check it works as expectedKieSession ksession2 = kieContainer.newKieSession("KSession1");checkKSession(ksession2, "rule2", "rule3");


KieModules• Package location can over-ride kbase name defaults

<kbase name="WumpusMainKB" packages="org.drools.games.wumpus.server, org.drools.games.wumpus.server.view"> <ksession name="WumpusMainKS" /></kbase>

<kbase name="WumpusClientKB" packages="org.drools.games.wumpus.client"> <ksession name="WumpusClientKS"/></kbase>

KieContainer kc = KieServices.Factory.get().getKieClasspathContainer();final KieSession serverKsession = kc.newKieSession( "WumpusMainKS");final KieSession clientKsession = kc.newKieSession("WumpusClientKS");


kmodule.xml Editor


Programmatic API• Builder API, for tooling integration• Incremental compilation, and problem

reportingKieServices ks = KieServices.Factory.get();KieRepository kr = ks.getRepository();KieFileSystem kfs = ks.newKieFileSystem();

kfs.write("src/main/resources/org/kie/example5/HAL5.drl", getRule());

KieBuilder kb = ks.newKieBuilder(kfs);

kb.buildAll(); // kieModule is automatically deployed to KieRepository if successfully built.if (kb.getResults().hasMessages(Level.ERROR)) { throw new RuntimeException("Build Errors:\n" + kb.getResults().toString());}

KieContainer kContainer = ks.newKieContainer(kr.getDefaultReleaseId());

KieSession kSession = kContainer.newKieSession();kSession.setGlobal("out", out);

kSession.insert(new Message("Dave", "Hello, HAL. Do you read me, HAL?"));kSession.fireAllRules();


Dynamic KieModules• kie-ci use embedded maven for remote

discovery<dependency> <groupId>org.kie</groupId> <artifactId>kie-ci</artifactId></dependency>

KieServices ks = KieServices.Factory.get();

// Install example1 in the local maven repo before to do thisKieContainer kContainer = ks.newKieContainer( ks.newReleaseId("org.drools", "named-kiesession", "6.0.0-SNAPSHOT"));

KieSession kSession = kContainer.newKieSession("ksession1");kSession.setGlobal("out", out);



BRMS 6.0 CDI


CDI Context and Dependency • CDI injects named entities from the

kmodule.xml

• Injectable types• KieServices• KieContainer• KieBase• KieSession• StatelessKieSession


KBase

@Inject @KBase(value="jar1.KBase1", name="kb2") @KReleaseId( groupId = "jar1", artifactId = "art1", version = "1.0")private KieBase jar1KBase1kb2;

@Inject@KBase(value="jar1.KBase1", name="kb2") @KReleaseId( groupId = "jar1", artifactId = "art1", version = "1.0")private KieBase jar1KBase1kb22;

@Injectprivate KieBase defaultClassPathKBase;

@Inject@KReleaseId( groupId = "jar1", artifactId = "art1", version = "1.0") private KieBase defaultDynamicKBase;

@Inject@KBase("jar1.KBase1") @KReleaseId( groupId = "jar1", artifactId = "art1", version = "1.0")private KieBase jar1KBase1v10;

@Inject@KBase("jar1.KBase1") @KReleaseId(groupId = "jar1", artifactId = "art1", version = "1.1")private KieBase jar1KBase1v11;

@Inject@KBase(value="jar1.KBase1", name="kb1")@KReleaseId( groupId = "jar1", artifactId = "art1", version = "1.0")private KieBase jar1KBase1kb1;


KSession@Inject@KSession("jar1.KSession2") @KReleaseId( groupId = "jar1", artifactId = "art1", version = "1.0" )private KieSession kbase1ksession2v10;

@Inject@KSession("jar1.KSession2") @KReleaseId( groupId = "jar1", artifactId = "art1", version = "1.1" )private KieSession kbase1ksession2v11;

@Inject@KSession(value="jar1.KSession2", name="ks1") @KReleaseId( groupId = "jar1", artifactId = "art1", version = "1.0" )private KieSession kbase1ksession2ks1;

@Inject@KSession(value="jar1.KSession2", name="ks2") @KReleaseId( groupId = "jar1", artifactId = "art1", version = "1.0" )private KieSession kbase1ksession2ks2 ;

@Inject@KSession(value="jar1.KSession2", name="ks2") @KReleaseId( groupId = "jar1", artifactId = "art1", version = "1.0" )private KieSession kbase1ksession2ks22;


BRMS 6.0 Spring and Camel


Spring and Camel


Backward ChainingReactive Transitive

Closures


33

Reasoning with Graphs

●Location( “kitchen”,”house” )●Location( “office”,”house” )

●Location( “desk”,”office” ) ●Location( “chair”,”office” )

●Location( “lamp”,”desk” )

●Location( “draw”,”desk” )

●Location( “computer”,”desk” )

●Location( “key”,”draw” )

House


34

Backward Chainingquery isContainedIn( String x, String y ) Location( x, y; ) or ( Location( z, y; ) and isContainedIn( x, z; ) )end

House

Location("Office", "House ")

Location("Kitchen", "House")

Location("Desk", "Office")

Location("Chair", "Office")

Location("Computer", "Desk")

Location("Draw", "Desk")

Location("Knife", "Kitchen")

Location("Cheese", "Kitchen")

Location("Key", "Draw")


Backward Chainingksession.insert( new Location("Office", "House") );ksession.insert( new Location("Kitchen", "House") );ksession.insert( new Location("Knife", "Kitchen") );ksession.insert( new Location("Cheese", "Kitchen") );ksession.insert( new Location("Desk", "Office") );ksession.insert( new Location("Chair", "Office") );ksession.insert( new Location("Computer", "Desk") );ksession.insert( new Location("Draw", "Desk") );

House











Backward Chainingrule "go" salience 10when $s : String( )then System.out.println( $s );end

House











Backward Chainingrule "go1"when String( this == "go1" ) isContainedIn("Office", "House"; )then System.out.println( "office is in the house" );end

rule "go" salience 10when $s : String( )then System.out.println( $s );end

House













query isContainedIn( String x, String y ) Location( x, y; ) or ( Location( z, y; ) and isContainedIn( x, z; ) )end

House













ksession.insert( "go1" );ksession.fireAllRules();---go1office is in the house


House















isContainedIn(x==Office, y==House)

House















Location(x==Office, y==House)isContainedIn(x==Office, y==House)

House











Backward Chainingrule "go2"when String( this == "go2" ) isContainedIn("Draw", "House"; )then System.out.println( "Draw in the House" );end

House













House













ksession.insert( "go2" );ksession.fireAllRules();---go2Draw in the House

House













isContainedIn(x==Draw, y==House)


House













Location(z==Office, y==House)isContainedIn(x==Draw, y==House)


House













Location(z==Office, y==House)isContainedIn(x==Draw, z==Office)



House













Location(z==Office, y==House)isContainedIn(x==Draw, z==Office)

Location(z==Kitchen, y==House)isContainedIn(x==Draw, z==Kitchen)



House













isContainedIn(x==Draw, y==Office)


House













Location(z==Desk, y==Office)isContainedIn(x==Draw, y==Office)


House













Location(z==Desk, y==Office)isContainedIn(x==Draw, z==Desk)

isContainedIn(x==Draw, y==Office)


House













isContainedIn(x==Draw, y==Desk)


House













Location(x==Draw, y==Desk)isContainedIn(x==Draw, y==Desk)


House











Backward Chainingrule "go3"when String( this == "go3" ) isContainedIn("Key", "Office"; )then System.out.println( "Key in the Office" );end

House












ksession.insert( "go3" );ksession.fireAllRules();---go3

House












ksession.insert( "go3" );ksession.fireAllRules();---go3

ksession.insert( new Location("Key", "Draw") );ksession.fireAllRules();

---Key in the Office

House











Backward Chainingrule "go4"when String( this == "go4" ) isContainedIn(thing, "Office"; )then System.out.println( "thing " + thing + " is in the Office" );end

House












Out

House












ksession.insert( "go4" );ksession.fireAllRules();---go4thing Key is in the Officething Computer is in the Officething Draw is in the Officething Desk is in the Officething Chair is in the Office

Out

House











Backward Chainingrule "go5"when String( this == "go5" ) isContainedIn(thing, location; )then System.out.println( "thing " + thing + " is in " + location );end

House












Out

House












Out Out

House












ksession.insert( "go5" );ksession.fireAllRules();---go5thing Knife is in Housething Cheese is in Housething Key is in Housething Computer is in Housething Draw is in Housething Desk is in Housething Chair is in Housething Key is in Office

thing Computer is in Officething Draw is in Officething Key is in Desk

thing Office is in House

Out Out

thing Computer is in Deskthing Knife is in Kitchenthing Cheese is in Kitchenthing Kitchen is in House

thing Key is in Drawthing Draw is in Desk

thing Desk is in Officething Chair is in Office

House











BRMS 6.0 Score Cards


Score Cards• a) Setup Parameters• b) Characteristic Section


Score Cards• UI Generates PMML• DRL Generated from PMML • DRL results in

• Calculated Score• Ranked Reason Codes

• Can import PMML 4.1• but not exposed yet

• Calculated Scores• Currently Summations• Weight coming

• Not in PMML standard

•


6.0 JTMS


Justification-based Truth • Drools 5.x• Simple logical insertion TMS, like Clips, Jess and

others.

• Drools 6.0• Contradiction handling with JTMS

• Clean separation of exception logic• TMS now has pluggable Belief System

• Simple TMS support• JTMS now possible.• Defeasible Logic soon

• See drools-compiler• JTMSTest for lots of example tests


69

JTMSCouples the logic

What happens when the Child stops being 16?

rule "Issue Child Bus Pass"when $p : Person( age < 16 )then insert(new ChildBusPass( $p ) );endrule "Issue Adult Bus Pass"when $p : Person( age >= 16 )then insert(new AdultBusPass( $p ) );end


JTMS• Bad• Monolithic• Leaky• Brittle integrity - manual maintenance


71

JTMS

de-couples the logic

Maintains the truth by automatically retracting

•A rule “logically” inserts an object

•When the rule is no longer true, the object is retracted.rule "IsChild"when $p : Person( age < 16 )then logicalInsert( new IsChild( $p ) )endrule "IsAdult"when $p : Person( age >= 16 )then logicalInsert( new IsAdult( $p ) )end


72

JTMS

The truth maintenance cascades

rule "Issue Child Bus Pass"when $p : Person( ) IsChild( person =$p )then logicalInsert(new ChildBusPass( $p ) );endrule "Issue Adult Bus Pass"when $p : Person() IsAdult( person =$p )then logicalInsert(new AdultBusPass( $p ) );end


73

JTMSrule "Issue Child Bus Pass"when $p : Person( ) not( ChildBusPass( person == $p ) )then requestChildBusPass( $p );end The truth maintenance cascades


74

JTMS• Good• De-couple knowledge responsibilities• Encapsulate knowledge• Provide semantic abstractions for those encapsulation• Integrity robustness – truth maintenance


JTMS

IsChild

ChildBusPas

Rule : isChildRule

Rule : IssueBusPas

+

+


JTMSrule "Do not issue to banned people"when $p : Person( ) Banned( person =$p )then logicalInsert(new ChildBusPass( $p ) , “neg” );end


JTMS

IsChild

ChildBusPas

Rule : isChildRule

Rule : IssueBusPas

+

+

Rule : Do Not Issue to Banned People

-


BRMS 6.0R.I.P Rete


R.I.P RETEinspirations:• Leaps, Collection Oriented Match, L/R Unlinking

New Innovations• Full Rule, and Rule Segment Unlinking• Lazy Evaluation, with Rule scoping• Set propagations

Previous Innovations• Modify In Place• Property Reactive• Tree Based Graphs• Subnetwork support


BRMS 6.0UI - OpenShift Ready


5.x Critique


5.x CritiqueUI

• GWT• but not easily extended• fixed layouts• no perspectives


5.x CritiqueUI


JCR• Performance Issues• Everything stored as blob• No tagging, branching etc.• Webdav• Limited team providers


5.x CritiqueUI


JCR• Performance Issues• Everything stored as blob• No tagging, branching etc.• Webdav• Limited team providers

Deployment• Binary blobs, on url


5.x CritiqueContent• Single tree structure (packages)• Packages created project deployment units

• no real alignment with industry stadard• No easy rule use (only a single global area)• Loading “model” jars into packages

• Poor hack, for dependency management


5.x CritiqueDeployment

•Simple Snapshot system

•No real methodology

•Doesn’t align with any industry standards


UF UberFire


Requirements• GWT + Errai• Modular design

• Plugins• Common Life cycles

• Compile time composition of plugins, via maven• Flexible layouts• Perspectives• GIT Backend• High Availability• Maven integration for “projects”


UberFire Architecture Overview


•Modular•Extensible

•Dynamic and Flexible layouts•Perspectives


Simple POM Editor


Build and Deploy


Local Maven Repository and Manager


Create or Clone Git Repos


KIE - Knowledge Is Everything


Community Beta3Demo


UI Improvments


UberFire new Navigation System


Legacy Systems and Migration• Legacy API Adapter JAR• Most API’s should work with legacy adapter• KnowledegAgents have not been ported,

PKG’s are not longer the unit of deployment

• JCR Migration Tool• Command Line Java code• Each Package maps to a GIT project


107

Questions?

• Dave Bowman: All right, HAL; I'll go in through the emergency airlock.

• HAL: Without your space helmet, Dave, you're going to find that rather difficult.

• Dave Bowman: HAL, I won't argue with you anymore! Open the doors!

• HAL: Dave, this conversation can serve no purpose anymore. Goodbye.

Joshya: Greetings, Professor Falken.Falken: Hello, Joshua.Joshya: A strange game. The only winning move is not to play. How about a nice game of chess?


Drools 6.0 (JudCon 2013)

Technology

Transcript of Drools 6.0 (JudCon 2013)