enhancing aspect-oriented business process modeling with declarative rules
TRANSCRIPT
Amin Jalali*, Fabrizio Maria Maggi**, and Hajo A. Reijers*** Stockholm University*, University of Tartu**, VU University Amsterdam*** & Eindhoven University of Technology***
1
www.aobpm.com
ER 2015
Concerns
Processes comply to many policies and concerns in organizations, e.g. money laundering in banking domain
Basic questions:
What are the processes in the organization which
Should be comply to this specific policy?
Are actually comply to this specific policy?
How we can find them?
How do you handle a change when a policy is altered?
…
2
Does it matter really?
Look at penalties!
Separation of concerns Separation of concerns
Modularization Techniques
Cross-cutting concerns E.g. Money laundering policies
Aspect orientation
3
•Complexity •Maintenance •Re-usability
Thesis Examination
Au
ditin
g
Course Examination
Arch
iving
Privacy
Thesis Supervision
Course SupervisionSecu
rity
Cross-cutting concerns:
Core-Concerns:
Bu
siness P
rocesses
M
M
Cross-cutting Concerns(advices)
Core Concern(main process) M
Rules(pointcuts) A
spec
t O
rien
ted
B
usi
nes
s P
roce
ss M
ode
l
Problem
4
Send Exam Questions
Print Exam Materials
Register Participant List
Register Grades
Send Fx Instruction
Deadline
Write Course Summary
Schedule The Exam
Register Students
Submit Assignments
Join point
Before? After? Around?
Security: Signing Grade registration (every time) Privacy: Email (every time)
Archive: Scan exam sheets (once)
Archive: Archive Exam Materials (once)
A-E Fx
Approach Imperative
Flow-oriented Well-suited to rigid processes In a model with no flow, nothing can
happen Adding flow allows for additional
possible behaviours
5
Declarative workflow, Maja Pesic
Unstructured (e.g. groupwork)
Structured (e.g. production workflow)
Support (provided for
analysis and
guidance)
Flexibility (ability to defer,
Change and
deliver)
high
low
Imp
era
tive
BP
M
Declarative Constraint-oriented Well-suited to flexible processes
Hybrid Process Models Different parts of the same process may
be more or less flexible. Modelling a flexible process imperatively,
or a strict process declaratively, may lead to incomprehensible models.
mixing of imperative and declarative paradigms
De
cla
rati
ve B
PM
Hybrid BPM
Overall view
6
M
M
Cross-cutting Concerns(advices)
Core Concern(main process) M
Rules(pointcuts) A
spec
t O
rien
ted
B
usi
nes
s P
roce
ss M
ode
l
Imp
era
tive
M
od
els
De
cla
rati
ve
Mo
de
l
Hybrid Models
Imperative Models: Business process designer can focus on
designing each process model (core concern) without any knowledge about cross-cutting concerns
Cross-cutting concerns, e.g. some policies, can be encapsulated separately
Qu
an
tifi
cati
on
O
bli
vio
usn
ess
Aspect-Orientation is Quantification and Obliviousness
Declarative Model: Rules can be defined declaratively to
specify when and how cross-cutting concerns should be considered in core concerns.
Solution
7
Send Exam Questions
Print Exam Materials
Register Participant List
Register Grades
Send Fx Instruction
Deadline
Write Course Summary
Schedule The Exam
Register Students
Submit Assignments
Archiving
Privacy
Security
Initiator = 𝑡𝜖𝑇𝑎𝑠𝑘𝑡 {𝑠𝑡𝑎𝑟𝑡} Terminator = 𝑡𝜖𝑇𝑎𝑠𝑘𝑡 {𝑒𝑛𝑑}
initiator
term
inat
ors
Archiving
initiator
I
Register Grades
T
End1
3I
Register Grades
T
End
2I
Register Grades
T
End
A
Grade Registration Advice
A
Archive Examination Advice
A
Grade Inform Advice
4I
Register Participant List
T
End
A
Archive Exam Materials Advice
Tools are essentials to support Aspect
Orientation approaches!
Extended version
Includes
Formal Definition of Syntax and Semantic
Proof of soundness
Implementation in YAWL
Evaluation (usability)
8
Questions
Thank you ...
9
www.aobpm.com