drools happenings 7.0 - devnation 2016
TRANSCRIPT
Mark Proctor
Drools 7.0 Happenings
Where we are
Where we were mid 2013
6.4• 6.0 Nov 2013 • 6.4 2016
• Upgrade to Pattern Fly • Fully redesign the execution server UI • Improved and augmented process runtime views
KIE - Knowledge Is Everything• Drools • jBPM • DashBuilder • OptaPlanner • UberFire
The Family
Drools
jBPMDashBuilder
OptaPlanner
GWT
Errai
UberFire
Commons
Drools WB
Kie WB
Product Maturity Model
Remote Java Developer
Citizen Developer
Associate Process Manager
Senior Process Manager
Case Management
Case Management
Usability / Pattern Fly
Workbench / Data Modeller
Workbench / Data Modeller
jBPM Reports
jBPM Reports
Execution Server
Web Stack
GWT 2.8 + Errai
• Client-side depending injection (consistent with CDI).
• Client-side templating. • 2-way data-binding with Pojos. • Dynamic runtime modules. • qualifier annotations to determine
which dependencies. • a bean satisfies. • Constructor field and setter injections.
• More CDI and EJB features: • @Alternative, @Specializes,
@Produced scopes, CDI Events, JPA, …
• Injecting native Javascript objects into doc with JSInterop.
• Support for native DOM-based UI • support for GWT 2.8 + Java8.
Errai UI
• Bind Java class elements to elements in an HTML template.
• Template files can be HTML fragments or full pages.
• The HTML file is the template. • The Java class is a template bean • Data field can be @Bound to the model
and automatically updated
Errai - Data Binding
UberFire Rich Client Framework
• Perspective • Screen • Page Composer • Security • Permissions • Preferences (TODO)
Form Builder
Old Form Builder
Bootstrap Grid Views
Bootstrap Grid Views
Web Forms for Java Developers
• Pojo • JPA • Bean Validator
Form Builder Video
OpenShift JVM
Provisioning the Form app
DashBuilder / Page Composer
DashBuilder Example
DashBuilder Example
jBPM Runtime View
Data Set Creation
• SQL • Bean (Java Class) • CSV • Elastic Search
Data Set Configuration
Data Set Preview
Advanced Configuration
Data Set Explorer
Cache
DashBuilder Video
User Group Admin Video
Permissions Video
Execution Server
Rule Execution Server
Rest Call
Rest Call
Phreak
ReteOO• Node Sharing • Alpha Indexing • Beta Indexing • Tree based graphs • Modify-in-place • Property Reactive • Sub-networks • Backward Chaining • Lazy Truth Maintenance • Heap Based Agenda Queue • Dynamic Rules
Phreak• Lazy Evaluation • Isolated Rule Evaluation • Incremental Goal Oriented Evaluations • Set Oriented Propagations
• Set Oriented Match (Future) • Stack baed evaluations, with pause and resume
Layered Memory
Bit Masks and Linking
Bit Masks and Linking
Bit Masks and Linking
A
D
R1
Not B
Not
C
R2
R1 = A not ( B not ( C ) ) DR2 = A B C
Thread Safety / State Machine
State Transition
INACTIVE
FIRE_ALL_RULES FIRE_UNTIL_HALT
HALTING
EXECUTE_TASK
fireAllRules fireUntilHalt
at rest
halt halt
executeTask
fireAllRules() fireUntilHalt()
sync(engineLock)
isFiring() == trueTrue
False
waitAndEnter(FIRE_ALL_RULES)
fireLoop(RestHandler.FIRE_ALL_RULES)
fireAllRules()
sync(engineLock)
state=FIRE_UNTIL_HALTTrue
False
waitAndEnter(FIRE_UNTIL_HALT)
fireLoop(RestHandler. FIRE_UNTIL_HALT)
fireUntilHalt()
fireLoopLoop
fireLoop(restHandler)
head=takeAll()returnedFireCount=0loop=true
flush(head)
head != null
True
head=takeAll()
returnedFireCount = fireNextItem()
False
isFiring() == true
true
false
atRest(head, returnedFireCount
head=handleRest(restHandler)
isFiring() == true
immediateHalt()
true false
flush(head)
FIRE_UNTIL_HALT FIRE_ALL_RULES
sync(queueLock)
RestHander.FIRE_UNTIL_HALT
head = takeAll()
queueLock.wait()
head == null &&state == FIRE_UNTIL_HALT
true
return head
false
head = takeAll()
The thread will sleep until the addEntry notifies it to wake up
sync(engineLock)
RestHander.FIRE_ALL_RULES
head = takeAll()
state = INACTIVE
head == null
true
return head
false
WaitAndEnter immediateHalt
state!=INACTIVE
True
true
engineLock.wait()
state = newState
waitAndEnter(newState)
The thread will sleep until the immediateHalt is called which calls the engineLock.notify. Note this method must always be called from inside of a sync(engineLock) block.
immedateHalt()
sync(engineLock)
state!=INACTIVE
false
true
state = INACTIVE
engineLock.notify()This will wake any threads currently waiting in the waitAndEnter method.
Multicore Scalability
Immutable Use Cases
OOPath
Reactive List Comprehensionrule R when\n" + Adult( $child: /children )then\n" + list.add( $child.getName() );end
Nested Reactive List Comprehensionrule R when\n" + Adult( $child: /children )then\n" + list.add( $child.getName() );end
rule R when\n" + Man( $toy: /wife/children/toys )then\n" + list.add( $toy.getName() );end
No Comprehension or Reactivity
rule R when\n" + Man( $toy: /wife/children/toys )then\n" + list.add( $toy.getName() );end
rule R when\n" + Man( $toy: /wife/children.toys )then\n" + list.add( $toy.getName() );end
Constraints
rule R when\n" + Man( $toy: /wife/children{age > 10}/toys )then\n" + list.add( $toy.getName() );end
rule R when\n" + Man( $toy: /wife/children{age > 10, name.length > 5}.toys )then\n" + list.add( $toy.getName() );end
Non Reactivity
rule R when\n" + Man( $toy: ?/wife/children{age > 10}/toys )then\n" + list.add( $toy.getName() );end
rule R when\n" + Man( $toy: /wife/children{age > 10}?/toys )then\n" + list.add( $toy.getName() );end
Casting and Type Filtering
rule R when\n" + Man( $name: /wife/children{ #BabyGirl, favoriteDollName.startsWith(\”A\”) }.name )then\n" + list.add( $name );end
Back Referencing
rule R when\n" + Man( $toy: /wife/children/toys{ name.length == ../name.length } )then\n" + list.add( $toy.getName() );end
Out of Pattern Usage
query isContainedIn( Thing $x, Thing $y ) $y := /$x/childrenor ( $z := /$x/children and isContainedIn( $z, $y; ) )end
Pojo Rules
DRL Fire Alarm Example
Pojo-Rules Fire Alarm Example
DRL Fire Alarm Example
Pojo-Rules Fire Alarm Example
DRLX
DRLX
• Java super-set • Java pre-processing using Antlr Java8.g
• Similar approach to pizza language that gave us generics • Will output pojo-rules underneath • But be more succinct and friendly that poco-rules
