a new action rule syntax for demo models based automatic ...solution development action rule 05: t04...
TRANSCRIPT
![Page 1: A new Action Rule Syntax for DEmo MOdels Based Automatic ...Solution development Action rule 05: T04 – car drop-off of [rental] is stated DEMO models based automatic workflow process](https://reader034.vdocuments.us/reader034/viewer/2022051811/60274142c81c096b4c365ac1/html5/thumbnails/1.jpg)
A new Action Rule Syntax for DEmo MOdels Based Automatic worKflow
procEss geneRation(DEMOBAKER)
Carlos Figueira and David Aveiro
![Page 2: A new Action Rule Syntax for DEmo MOdels Based Automatic ...Solution development Action rule 05: T04 – car drop-off of [rental] is stated DEMO models based automatic workflow process](https://reader034.vdocuments.us/reader034/viewer/2022051811/60274142c81c096b4c365ac1/html5/thumbnails/2.jpg)
4 Model kinds:
• Construction Model: specifies the construction of the organization and its transactions types;
• Process Model: contains for every transaction in the CM a specific transaction pattern and their causal and conditional relationships between transactions;
• Action Model: is the rule base that serves as guidelines for the actors actions;
• State Model: specifies the object classes, fact types, result types and the ontological coexistence rules
DEMO models based automatic workflow process generation
Research ContextDEMO PSI-Theory and method
![Page 3: A new Action Rule Syntax for DEmo MOdels Based Automatic ...Solution development Action rule 05: T04 – car drop-off of [rental] is stated DEMO models based automatic workflow process](https://reader034.vdocuments.us/reader034/viewer/2022051811/60274142c81c096b4c365ac1/html5/thumbnails/3.jpg)
Business process management BPMN simple constructions
DEMO models based automatic workflow process generation
Research Context
![Page 4: A new Action Rule Syntax for DEmo MOdels Based Automatic ...Solution development Action rule 05: T04 – car drop-off of [rental] is stated DEMO models based automatic workflow process](https://reader034.vdocuments.us/reader034/viewer/2022051811/60274142c81c096b4c365ac1/html5/thumbnails/4.jpg)
DEMO models based automatic workflow process generation
Research Context - the Universal Enterprise Adaptive Object Model
![Page 5: A new Action Rule Syntax for DEmo MOdels Based Automatic ...Solution development Action rule 05: T04 – car drop-off of [rental] is stated DEMO models based automatic workflow process](https://reader034.vdocuments.us/reader034/viewer/2022051811/60274142c81c096b4c365ac1/html5/thumbnails/5.jpg)
UEAOM core classes:
DEMO models based automatic workflow process generation
Research Context - the Universal Enterprise Adaptive Object Model
![Page 6: A new Action Rule Syntax for DEmo MOdels Based Automatic ...Solution development Action rule 05: T04 – car drop-off of [rental] is stated DEMO models based automatic workflow process](https://reader034.vdocuments.us/reader034/viewer/2022051811/60274142c81c096b4c365ac1/html5/thumbnails/6.jpg)
Research approach
DEMO models based automatic workflow process generation
DEMO • Construction details
UEAOM • Construction details
BPM • BPMN notation
![Page 7: A new Action Rule Syntax for DEmo MOdels Based Automatic ...Solution development Action rule 05: T04 – car drop-off of [rental] is stated DEMO models based automatic workflow process](https://reader034.vdocuments.us/reader034/viewer/2022051811/60274142c81c096b4c365ac1/html5/thumbnails/7.jpg)
Research approach
DEMO based BPMN workflow model
2 - Conversion
rules between models
3 - UEAOM instantiation
4 - DEMO based BPMN
workflow model
construction
5 - Validation
1 – Gathering essential
information from DEMO
![Page 8: A new Action Rule Syntax for DEmo MOdels Based Automatic ...Solution development Action rule 05: T04 – car drop-off of [rental] is stated DEMO models based automatic workflow process](https://reader034.vdocuments.us/reader034/viewer/2022051811/60274142c81c096b4c365ac1/html5/thumbnails/8.jpg)
Solution development
Essential concepts in DEMO for Workflow generation: Transactions and related actors (Construction
Model)
Action Rules (Action Model)
DEMO models based automatic workflow process generation
![Page 9: A new Action Rule Syntax for DEmo MOdels Based Automatic ...Solution development Action rule 05: T04 – car drop-off of [rental] is stated DEMO models based automatic workflow process](https://reader034.vdocuments.us/reader034/viewer/2022051811/60274142c81c096b4c365ac1/html5/thumbnails/9.jpg)
Solution development
Conversion rules between models: Each DEMO concept needs to
have a 1 to 1 correspondence to a BPMN concept; Transaction < > Pool
Actors < > Lane
Actions, Flows, Conditions < > Tasks/Activities
Coordination-facts/Production-facts, Action type C-Act/P-Act < > Signals (Throw and Catch Event)
Sequence merging and splitting < > Parallel and Exclusive Gateways
DEMO models based automatic workflow process generation
![Page 10: A new Action Rule Syntax for DEmo MOdels Based Automatic ...Solution development Action rule 05: T04 – car drop-off of [rental] is stated DEMO models based automatic workflow process](https://reader034.vdocuments.us/reader034/viewer/2022051811/60274142c81c096b4c365ac1/html5/thumbnails/10.jpg)
Solution development
Based on the EU-Rent case DEMO elements gathered from the case
Transactions (5 transactions):
Actors and their respective roles on each transaction:
Action Rules (11 action rules):
DEMO models based automatic workflow process generation
![Page 11: A new Action Rule Syntax for DEmo MOdels Based Automatic ...Solution development Action rule 05: T04 – car drop-off of [rental] is stated DEMO models based automatic workflow process](https://reader034.vdocuments.us/reader034/viewer/2022051811/60274142c81c096b4c365ac1/html5/thumbnails/11.jpg)
Solution development● Action rule 05: T04 – car drop-off of [rental] is stated
DEMO models based automatic workflow process generation
Problem Only verified fact is if the branch where the car is
delivered is the same as the contracted one, but no action is specified for the case it is not
What is the meaning of the construct with?● We find it in many action rules and, apparently,
with different functions: creating new facts, verifying new facts, etc
Dietz: “the syntax and the formal semantics of the action rules need to be elaborated yet”
![Page 12: A new Action Rule Syntax for DEmo MOdels Based Automatic ...Solution development Action rule 05: T04 – car drop-off of [rental] is stated DEMO models based automatic workflow process](https://reader034.vdocuments.us/reader034/viewer/2022051811/60274142c81c096b4c365ac1/html5/thumbnails/12.jpg)
Solution evaluation
Solution iteration:
![Page 13: A new Action Rule Syntax for DEmo MOdels Based Automatic ...Solution development Action rule 05: T04 – car drop-off of [rental] is stated DEMO models based automatic workflow process](https://reader034.vdocuments.us/reader034/viewer/2022051811/60274142c81c096b4c365ac1/html5/thumbnails/13.jpg)
Solution
EU-Rent action rule solution:
DEMO models based automatic workflow process generation
![Page 14: A new Action Rule Syntax for DEmo MOdels Based Automatic ...Solution development Action rule 05: T04 – car drop-off of [rental] is stated DEMO models based automatic workflow process](https://reader034.vdocuments.us/reader034/viewer/2022051811/60274142c81c096b4c365ac1/html5/thumbnails/14.jpg)
Solution UEAOM instantiation
![Page 15: A new Action Rule Syntax for DEmo MOdels Based Automatic ...Solution development Action rule 05: T04 – car drop-off of [rental] is stated DEMO models based automatic workflow process](https://reader034.vdocuments.us/reader034/viewer/2022051811/60274142c81c096b4c365ac1/html5/thumbnails/15.jpg)
Solution UEAOM EU-Rent case
instantiation example
![Page 16: A new Action Rule Syntax for DEmo MOdels Based Automatic ...Solution development Action rule 05: T04 – car drop-off of [rental] is stated DEMO models based automatic workflow process](https://reader034.vdocuments.us/reader034/viewer/2022051811/60274142c81c096b4c365ac1/html5/thumbnails/16.jpg)
UEAOM EU-Rent case instantiation example
Solution
![Page 17: A new Action Rule Syntax for DEmo MOdels Based Automatic ...Solution development Action rule 05: T04 – car drop-off of [rental] is stated DEMO models based automatic workflow process](https://reader034.vdocuments.us/reader034/viewer/2022051811/60274142c81c096b4c365ac1/html5/thumbnails/17.jpg)
Solution DEMO model based BPMN process:
Geração de processos automáticos de workflow baseados em modelos DEMO
![Page 18: A new Action Rule Syntax for DEmo MOdels Based Automatic ...Solution development Action rule 05: T04 – car drop-off of [rental] is stated DEMO models based automatic workflow process](https://reader034.vdocuments.us/reader034/viewer/2022051811/60274142c81c096b4c365ac1/html5/thumbnails/18.jpg)
Solution
DEMO models based automatic workflow process generation
Syntax proposal using Backus-Naur-Form
![Page 19: A new Action Rule Syntax for DEmo MOdels Based Automatic ...Solution development Action rule 05: T04 – car drop-off of [rental] is stated DEMO models based automatic workflow process](https://reader034.vdocuments.us/reader034/viewer/2022051811/60274142c81c096b4c365ac1/html5/thumbnails/19.jpg)
Conclusions / Contributions
Solved part of the problem of the lack of concise semantics in BPMN
Specified a much more complete and comprehensive syntax for the specification of action rules still keeping implementation independence, but allowing specification of implementation details
A formal base was created that will allow the development of a parser for the generation of a DEMO based BPMN model more “ready” to be executed compared to options currentely available
DEMO models based automatic workflow process generation
![Page 20: A new Action Rule Syntax for DEmo MOdels Based Automatic ...Solution development Action rule 05: T04 – car drop-off of [rental] is stated DEMO models based automatic workflow process](https://reader034.vdocuments.us/reader034/viewer/2022051811/60274142c81c096b4c365ac1/html5/thumbnails/20.jpg)
Thank you for your time!