enhancing aspect-oriented business process modeling with declarative rules

9
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

Upload: amin-jalali

Post on 11-Apr-2017

405 views

Category:

Software


0 download

TRANSCRIPT

Page 1: Enhancing Aspect-Oriented Business Process Modeling with Declarative Rules

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

Page 2: Enhancing Aspect-Oriented Business Process Modeling with Declarative Rules

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!

Page 3: Enhancing Aspect-Oriented Business Process Modeling with Declarative Rules

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

Page 4: Enhancing Aspect-Oriented Business Process Modeling with Declarative Rules

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

Page 5: Enhancing Aspect-Oriented Business Process Modeling with Declarative Rules

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

Page 6: Enhancing Aspect-Oriented Business Process Modeling with Declarative Rules

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.

Page 7: Enhancing Aspect-Oriented Business Process Modeling with Declarative Rules

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!

Page 8: Enhancing Aspect-Oriented Business Process Modeling with Declarative Rules

Extended version

Includes

Formal Definition of Syntax and Semantic

Proof of soundness

Implementation in YAWL

Evaluation (usability)

8

Page 9: Enhancing Aspect-Oriented Business Process Modeling with Declarative Rules

Questions

Thank you ...

9

www.aobpm.com