Amin Jalali

1

Department of Computer and Systems Sciences, Stockholm University, Sweden

PhD dissertation 19 December 2016

Supervisor: Professor Paul Johannesson Opponent: Professor Flávia Santoro, University of Rio de Janeiro Grading Committee: Professor Marlon Dumas, University of Tartu Professor Mihhail Matskin, KTH Professor Louise Yngström, DSV, SU

Business Processes

2

http://www.banking.newstipstricks.com/ Adopted from http://www.thrombocyte.com/

Business Process Models

3

Process Models

Understandab

ility

Transparency

Analysis

Improvement

Reengineering

Management

Modeling Paradigms

4

Level of flexibility

Leve

l of s

uppo

rt

Imperative

Models Dec

larat

ive

Mod

els

rigid processes Flexible processes

partly flexible & partly rigid

Hybrid Models

Data-based

analysis

Mod

el-ba

sed

analy

sis

BPM Lifecycle

5

(Re)

des

ign

Implement /configure

Run and adjust

Problem

6

Managing these concerns are difficult!

Research Questions How should the separation of cross-cutting concerns

be supported in Business Process Management?

Imperative Models * Declarative Models Hybrid Models

7

Research Questions

Imperative

Design Analysis Enactment Assessment Agility Declarative Hybrid Mining

(Re)

des

ign

Implement /configure

Data-based

analysisRun and adjust

Mod

el-ba

sed

analy

sis

Separation of Concerns

How about process models? Perspectives Modularization Level of details

8

MD|N

ME

Modularization Techniques

9

a) No decomposition b) Vertical decomposition

c) Horizontal decomposition d) Orthogonal decomposition

Rules

Scattering Problem Scattering/Tangling Problem

Tangling Problem

Aspect Oriented BPM

10

Auditing

Privacy

Internet Transfer Money

M2M Transfer Money

Security

Cross-cutting concerns:

Core-Concerns:

Business Processes

Branch Transfer Money

ATM Transfer Money

Archiving

MMMM

M

Cross-cutting Concerns(advices)

Core Concern(main process) M

Rules(pointcuts) As

pect

Orie

nted

Bu

sine

ss P

roce

ss M

odel

Rules

Obliviousness

In Program P whenever condition C arises perform Action A Quantification Action

(Filman et al. 2000)

Methodology Ar

tefa

cts

Constructs

Models

Methods

Instantiations

11

Design Science Artefacts Design Science Research Framework

2. Suggestion3. D

evelopment

4. Evaluation

5. Conclusion

1. A

war

enes

s of

prob

lemM

D|N|E

Result-Artefact

12

2. Suggestion3. D

evelopment

5. Conclusion

1. A

war

enes

s of

prob

lem

4. Evaluation

(Re)

des

ign

Implement /configure

Run and adjust

BPM Life-cycle

Data based

AnalysisModel base

d

Aanlys

is

Imperative Declarative Hybrid

Model base

d

Aanlysis

Implement /configure

Data based

Analysis

(Re)

des

ign

Run and adjust

Research Questions Imperative

Declarative

Hybrid Mining Design Analysis

Enactment

Assessment

Agility

Arte

fact

s

Constructs

Models

Methods

Instantiations

MD|N|E

MD|N

MD|N

Traditional Models

13

AO-BPM

14

Separation of Concerns Complexity Reusability Agility …

Future directions Practical Applications and experiences Declarative & Hybrid Mining

15

Thank you

16