Overview. Semantics of EPCs. EPC Tools. Problem: Vicious Circle. Non-local Semantics of EPCs

(1)

University of Paderborn Software Engineering Group E. Kindler

Handout

for the t

alk given

in

the eJus

tice Dial

ogues a

t

Saarland

Univers

ity.

June 6,

2005.

The Aspects of Business Processes

An open and formalism independent

architecture

Ekkart Kindler

Universität Paderborn

Institut für Informatik

FG Softwaretechnik

2

AMFIBIA

Overview

Control Organisation Information Integration

AMFIBIA

A meta-model for the integration

of business process aspects

EPC Tools

An open tool for EPCs

3

AMFIBIA

EPC Tools

4

AMFIBIA

Stop3

Stop2

Stop1

Inner1

Start1

Inner2

Inner3

Start3

Start2

c2

c3

Semantics of EPCs

Stop3

Stop2

Stop1

Inner1

Start1

Inner2

Inner3

Start3

Start2

c2

c3

Non-local Semantics of EPCs

Semantics of

some nodes is not

local!

Problem: Vicious Circle

Stop3

Stop2

Stop1

Inner1

Start1

Inner2

Inner3

Start3

Start2

c1

c2

c3

(2)

7

AMFIBIA

Motivation

formal

EPCs

EPC

s

informal

BPM

WfM

Analysis

Implementation

Analysis

Verification

8

AMFIBIA

Our Contribution

Formalization of informal semantics

As faithful as possible

Characterization of „problematic EPCs“

Efficient simulation and analysis: EPC Tools

EPCs

9

AMFIBIA

fixed point theory

model checking (MCiE)

EPC Tools

10

AMFIBIA

Overview

AMFIBIA

EPC Tools

Moti

vatio

n &

Idea

s

Aspects of BPM

Control

Organisation

Information

Assignment

Transaction

Authenticity

Basic Aspects

Control

Organisation

(3)

13

AMFIBIA

Integration of Aspects

Control

Organisation

Information

Integration

14

AMFIBIA

Unbiased Integration

Control

Organisation

Information

Integration

15

AMFIBIA

Formalism Independence

Organisation

charts

ER diagrams

EPCs

Petri nets

Control

Organisation

Information

Integration

16

AMFIBIA

Aspect Integration

Organisation

charts

ER diagrams

EPCs

Petri nets

Control

Organisation

Information

Assignment

Transaction

Authenticity

Integration

Vertical Integration

V

er

tic

al

In

te

gr

at

io

n

BPM

WfM

Horizontal Integration

Control

Horizontal Integration

(4)

19

AMFIBIA

Aspect Integration

Control

Aspect Integration

Organisation Information

...

20

AMFIBIA

Formalism Integration

Fo

rm

ali

sm

In

teg

ra

tio

n

Petri nets

EPCs

Activity diagrams

BPEL

…

21

AMFIBIA

V

er

tic

al

In

te

gr

at

io

n

Fo

rm

ali

sm

In

teg

ra

tio

n

Dimensions of Integration

Aspect Integration

22

AMFIBIA

Overview

AMFIBIA

of business process aspects

EPC Tools

Som

e de

tails

The Integral Parts of BPMs

Task

BPM

*

Activity

Case

*

1

<<instanceOf>>

*

1

<<instanceof>>

*

static

model

dynamic

instance

Structuring Aspect

Task

BPM

*

Activity

Case

*

1

<<instanceOf>>

*

1

<<instanceof>>

*

Compound

Basic

su

bp

ro

ce

ss

1

Structuring

(5)

25

AMFIBIA

Workflow Net

26

AMFIBIA

PNML Core Model

Place

Transition

source

target

Node

Arc

Object

PN

*

Marking

*

27

AMFIBIA

Integration

Task

BPM

*

Activity

Case

*

1

<<instanceOf>>

*

1

<<instanceof>>

*

Verhalten Organisation Information Integration

28

AMFIBIA

Control Aspect

Task

BPM

Activity

Case

initial

*

final

*

active

*

finished

initialize(State):State finalize(State):State

State

*

activated

case

1

current

Excursus: Aspect Orientation

Task

TaskBehavior

1

TaskOrga

1

TaskInform

1

TaskStruct

Excursus: Aspect Orientation

Task

1

Task

1

Task

1

(6)

31

AMFIBIA

Implementation by PNML

Task

BPM

Activity

Case

initial

*

final

*

active

*

finished

initialize(State):State finalize(State):State

State

*

activated

case

1

current

Marking

Transition

PN

formalism

independent

concepts

formalism

specific

concepts

32

AMFIBIA

Formalism Independence

Control

Organisation

Information

Integration

Organisation

Charts

ER diagrams

EPC

PN

33

AMFIBIA

Organisation

Task

BPM

Activity

Case

Control Organisation Information Integration GetResources(Context)

Assignment

*

1

Resource

Descriptor

Context

*

Resource

*

1

34

AMFIBIA

Organisation Charts

Control Organisation Information Integration University of Paderborn Software Engineering Group E. Kindler

Organisation Aspect Implementation

Task

Resource

Descriptor

*

GetResources(Context)

Resource

DescriptorImpl

AMFIBIA:

Meta Model & Interfaces

Organisation

Chart

ER diagram

Petri nets

Control

Organisation

Information

Integration

(7)

37

AMFIBIA

AMFIBIA:

Aspect Integration

Organisation

charts

ER diagrams

EPCs

Petri nets

Control

Organisation

Information

Assignment

Transaction

Authenticity

Integration

38

AMFIBIA

V

er

tic

al

In

te

gr

at

io

n

Fo

rm

ali

sm

In

teg

ra

tio

n

AMFIBIA:

Dimensions of Integration

Aspect Integration

39

AMFIBIA

Discussion & Questions

AMPHIBIA

Where is the functional aspect?

Are there any aspects missing?

Why do you want formalism independence?

Are these aspects really independent?

Is this going to work?

…

40

AMFIBIA

Overview: Projects

Component Tools

Formal methods! No regrets!

Control

Organisation

Information

Integration

AMFIBIA

Software Process Mining

“

ISO9000 certification for free“ ???

EPC Tools

Impl

eme

ntati

on

will s

tart s