Amin Jalali

1

www.aobpm.com

ER 2015

Aspect Orientation Business Processes

Concerns Cross-cutting concerns, e.g. Money Laundering

Reusability Maintenance Complexity …

Encapsulation of cross-cutting concerns Aspect orientation

2

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

3

BPM life-cycle from process mining manifesto

Approach

Static Weaving

Merging models at design time

Analyzing merged model using existing approaches

Need a model with executable semantics

Petri nets

4

MD|N|E

MD|N|E

MD|N|E

Merge models

(MerM)

Cross-cutting Concerns

Core-Concern MD|N|E

rules

Preliminaries – Petri nets (1) Definitions

Petri nets Places Transitons Flows

Operations Preset Postset

State Token Marking

Initial Marking Changing Markings

Enabling transitions Firing Rules

5

𝑝𝑟𝑒𝑠𝑒𝑡 𝐵 = {p1,p2}

𝑝𝑜𝑠𝑡𝑠𝑒𝑡(𝐵) = {p3,p4} p1

p2

p3

p4

B

A

C

Preliminaries – Petri nets (2)

Reachable marking

Firing sequence

Transition Dead

Live

Net properties weakly connected

strongly connected

Bounded

Safe

6

p1

p2

p3

p4

B

A

C

1p3+1p4

A

B, C

Preliminaries – WF nets

Input place

Output place

A Petri net is a WF net iff by adding a transition t (as it is showing) the net becomes strongly connected.

WF net is sound iff:

Safe

Proper completion

Option to complete

Absence of deadlock tasks

7

p1

p2

p4 A

B

C

p3

p5

D p6

t

p1

p6

AO nets Core net

WF net Join point

Advice WF-net Might have proceed task Around and free advices

Pointcut Function relating join points to advices Advised join points

AO-net Nets containing All three above elements

Weaving

Soundness

8

p1 p3 A B

p2 C

p4

p5 t1

p6

p7 p9 t2 proceed t3

p10

t4

p8

w2 happens before B W3 happens around B

w1

w2

w3

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

Experiences

9

p1 p3 A B

p2 C

p4

p5 t1

p6

p7 p9 t2 t3

p10

t4

p8

Implementation • jBPT WoPeD • Analysis

• Reachability graph • Wolfan

Questions

Thank you ...

10

www.aobpm.com