University of PaderbornSoftware Engineering GroupE. Kindler

Handout for the talk given in

the eJustice Dialogues at

Saarland University.

June 6, 2005.

The Aspects of Business ProcessesAn open and formalism independentarchitecture

Ekkart Kindler

Universität PaderbornInstitut für InformatikFG Softwaretechnik

2AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerOverview

Control

Organisation

Information

Integration

AMFIBIAA meta-model for the integration of business process aspects

EPC ToolsAn open tool for EPCs

3AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerEPC Tools

4AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerSemantics of EPCs

5AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerNon-local Semantics of EPCs

Semantics of some nodes is not local!

6AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerProblem: Vicious Circle

7AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerMotivation

formal

EPCs EPCs

informal

BPM WfM

Analysis Implementation

Analysis

Verification

8AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerOur Contribution

Formalization of informal semantics As faithful as possible Characterization of „problematic EPCs“ Efficient simulation and analysis: EPC Tools

EPCs EPCs

9AMFIBIA

University of PaderbornSoftware Engineering GroupE. Kindler

fixed point theory

model checking (MCiE)

EPC Tools

10AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerOverview

Control

Organisation

Information

Integration

AMFIBIAA meta-model for the integration of business process aspects

EPC ToolsAn open tool for EPCs

Motivation &

Ideas

11AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerAspects of BPM

Control

Organisation

Information

Assignment

Transaction

Authenticity

12AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerBasic Aspects

Control

Organisation

Information

13AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerIntegration of Aspects

Control

Organisation

Information

Integration

14AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerUnbiased Integration

Control

Organisation

Information

Integration

15AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerFormalism Independence

Organisationcharts

ER diagramsEPCs

Petri nets

Control

Organisation

Information

Integration

16AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerAspect Integration

Organisationcharts

ER diagramsEPCs

Petri nets

Control

Organisation

Information

Assignment

Transaction

Authenticity Integration

17AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerVertical Integration

Ver

tical

Inte

grat

ion

BPM

WfM

18AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerHorizontal Integration

Control

Horizontal Integration

Organisation Information ...

19AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerAspect Integration

Control

Aspect Integration

Organisation Information ...

20AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerFormalism Integration

Form

alism

Inte

grat

ion

Petri nets

EPCs

Activity diagrams

BPEL

…

21AMFIBIA

University of PaderbornSoftware Engineering GroupE. Kindler

Ver

tical

Inte

grat

ion

Form

alism

Inte

grat

ion

Dimensions of Integration

Aspect Integration

22AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerOverview

Control

Organisation

Information

Integration

AMFIBIAA meta-model for the integration of business process aspects

EPC ToolsAn open tool for EPCs

Some details

23AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerThe Integral Parts of BPMs

Control

Organisation

Information

Integration

Task

BPM

*

Activity

Case

*

1

<<instanceOf>>

*

1

<<instanceof>>

*

static

model

dynamic

instance

24AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerStructuring Aspect

Control

Organisation

Information

Integration

Task

BPM

*

Activity

Case

*

1

<<instanceOf>>

*

1

<<instanceof>>

*

Compound Basic

sub

pro

cess

1

Structuring

25AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerWorkflow Net

determinetrip data

fill application

form

endorse trip

book trip

approve trip

send travel expense form

make trip fill in travelexpense form

reimburseexpenses

Control

Organisation

Information

Integration

26AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerPNML Core Model

PlaceTransition

source

targetNode Arc

Object

Control

Organisation

Information

Integration

PN

*

Marking*

27AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerIntegration

Task

BPM

*

Activity

Case

*

1

<<instanceOf>>

*

1

<<instanceof>>

*

Verhalten

Organisation

Information

Integration

28AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerControl Aspect

Task

BPM

Activity

Case

Control

Organisation

Information

Integration

initial*

final* * *

active finished

initialize(State):Statefinalize(State):State

State*

activated

case

1

1

current

29AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerExcursus: Aspect Orientation

Task

TaskBehavior

1

Control

Organisation

Information

Integration

TaskOrga

1

TaskInform

1 1

TaskStruct

30AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerExcursus: Aspect Orientation

Task

Task

1

Control

Organisation

Information

Integration

Task

1

Task

1

31AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerImplementation by PNML

Task

BPM

Activity

Case

initial*

final* * *

active finished

initialize(State):Statefinalize(State):State

State*

activated

case

1

1

current

MarkingTransitionPN

formalismindependentconcepts

formalismspecificconcepts

32AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerFormalism Independence

Control

Organisation

Information

Integration

OrganisationCharts

ER diagramsEPC

PN

33AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerOrganisation

Task

BPM

Activity

Case

Control

Organisation

Information

Integration

GetResources(Context)

Assignment*

1

1

ResourceDescriptor

Context

*

Resource

*

1

34AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerOrganisation Charts

Control

Organisation

Information

Integration

35AMFIBIA

University of PaderbornSoftware Engineering GroupE. Kindler

Organisation Aspect Implementation

Task

Control

Organisation

Information

Integration

ResourceDescriptor

*

GetResources(Context)

ResourceDescriptorImpl

Role ContextOrgUnit Restriction

36AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerAMFIBIA: Meta Model & Interfaces

OrganisationChart

ER diagramEPCs

Petri nets

Control

Organisation

Information

Integration

37AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerAMFIBIA: Aspect Integration

Organisationcharts

ER diagramsEPCs

Petri nets

Control

Organisation

Information

Assignment

Transaction

Authenticity Integration

38AMFIBIA

University of PaderbornSoftware Engineering GroupE. Kindler

Ver

tical

Inte

grat

ion

Form

alism

Inte

grat

ion

AMFIBIA: Dimensions of Integration

Aspect Integration

39AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerDiscussion & 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? …

40AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerOverview: Projects

Component ToolsFormal methods! No regrets!

Control

Organisation

Information

Integration

AMFIBIAA meta-model for the integration of business process aspects

Software Process Mining“ISO9000 certification for free“ ???

EPC ToolsAn open tool for EPCs

Implementation

will start soon!