Business Process Rules Compiler Engine and State Management in REFlex
Discover how REFlex, a system created by Renata Medeiros de Carvalho and Ricardo Massa, handles business process rules compilation, engine functionalities, state management, and activities. Learn about REFlex rules, state configurations, liveness enforcement, data-aware graphs, Alloy formal specification language, and product shipment processes within the system.
Download Presentation
Please find below an Image/Link to download the presentation.
The content on the website is provided AS IS for your information and personal use only. It may not be sold, licensed, or shared on other websites without obtaining consent from the author. Download presentation by click this link. If you encounter any issues during the download, it is possible that the publisher has removed the file from their server.
E N D
Presentation Transcript
REFlex Renata Medeiros de Carvalho (rwm@cin.ufpe.br) Ricardo Massa (rmfl@cin.ufpe.br)
ReFlex Business Process Rules Compiler Engine
ReFlex Business Process Rules Compiler Engine
ReFlex Business Process Rules Compiler Engine
Activities State Activit y A Activit y A Activit y A enabled disabled blocked Additional property Activit y A Activit y A enabled/obliged disabled/obliged
REFlex Rules General properties Source and target Temporary existence Weight
State: enabled Obliged: FALSE State: disabled Obliged: TRUE Relationship X Activit y A Activit yB Relationship Y Weight: 0 Temporary: FALSE Weight: 2 Temporary: TRUE
REFlex Rules At Least At Most Obligation Temporary Obligation Blocking Temporary Blocking Precedent Obliged
Liveness Enforcing N = ? N = ? N = ? N = 1 N = 1
Data-aware Graph X = 20 User = adm Valid = True Availability = 0.99 Existence condition Existence condition Existence condition A B
Alloy Formal specification language Alloy Analyzer SAT solver 2 types of analysis Search for an instance that satisfies all the constraints and relations specified in a model Identification of counterexamples that violates the assertions specified in a model
Receive product request Send product using company shipment 1 Confirm product delivery 3 5 Separate by region Hire other shipment method 2 Penalty charge of shipment company 4 6 IF cost of 4 1,25 * cost of 3 IF response time of 5 > x IF rate of 1 < 10 * rate of 3
Send products by ship 8 Separate products for other countries 7 Send products by airplane 9 IF cost of 9 1,5 * cost of 8
