Upload File

the aspects of business processes an open and formalism independent architecture

  • Home
  • Documents
  • The Aspects of Business Processes An open and formalism independent architecture
40
University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. 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

Upload: cher

Post on 13-Jan-2016

27 views

Category:

Documents


0 download

Report

DESCRIPTION

Handout for the talk given in the eJustice Dialogues at Saarland University. 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. Organisation. Integration. Control. - PowerPoint PPT Presentation

TRANSCRIPT

Page 1: The Aspects of Business Processes An open and formalism independent architecture

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

Page 2: The Aspects of Business Processes An open and formalism independent architecture

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

Page 3: The Aspects of Business Processes An open and formalism independent architecture

3AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerEPC Tools

Page 4: The Aspects of Business Processes An open and formalism independent architecture

4AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerSemantics of EPCs

Page 5: The Aspects of Business Processes An open and formalism independent architecture

5AMFIBIA

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

Semantics of some nodes is not local!

Page 6: The Aspects of Business Processes An open and formalism independent architecture

6AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerProblem: Vicious Circle

Page 7: The Aspects of Business Processes An open and formalism independent architecture

7AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerMotivation

formal

EPCs EPCs

informal

BPM WfM

Analysis Implementation

Analysis

Verification

Page 8: The Aspects of Business Processes An open and formalism independent architecture

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

Page 9: The Aspects of Business Processes An open and formalism independent architecture

9AMFIBIA

University of PaderbornSoftware Engineering GroupE. Kindler

fixed point theory

model checking (MCiE)

EPC Tools

Page 10: The Aspects of Business Processes An open and formalism independent architecture

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

Page 11: The Aspects of Business Processes An open and formalism independent architecture

11AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerAspects of BPM

Control

Organisation

Information

Assignment

Transaction

Authenticity

Page 12: The Aspects of Business Processes An open and formalism independent architecture

12AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerBasic Aspects

Control

Organisation

Information

Page 13: The Aspects of Business Processes An open and formalism independent architecture

13AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerIntegration of Aspects

Control

Organisation

Information

Integration

Page 14: The Aspects of Business Processes An open and formalism independent architecture

14AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerUnbiased Integration

Control

Organisation

Information

Integration

Page 15: The Aspects of Business Processes An open and formalism independent architecture

15AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerFormalism Independence

Organisationcharts

ER diagramsEPCs

Petri nets

Control

Organisation

Information

Integration

Page 16: The Aspects of Business Processes An open and formalism independent architecture

16AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerAspect Integration

Organisationcharts

ER diagramsEPCs

Petri nets

Control

Organisation

Information

Assignment

Transaction

Authenticity Integration

Page 17: The Aspects of Business Processes An open and formalism independent architecture

17AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerVertical Integration

Ver

tical

Inte

grat

ion

BPM

WfM

Page 18: The Aspects of Business Processes An open and formalism independent architecture

18AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerHorizontal Integration

Control

Horizontal Integration

Organisation Information ...

Page 19: The Aspects of Business Processes An open and formalism independent architecture

19AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerAspect Integration

Control

Aspect Integration

Organisation Information ...

Page 20: The Aspects of Business Processes An open and formalism independent architecture

20AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerFormalism Integration

Form

alism

Inte

grat

ion

Petri nets

EPCs

Activity diagrams

BPEL

…

Page 21: The Aspects of Business Processes An open and formalism independent architecture

21AMFIBIA

University of PaderbornSoftware Engineering GroupE. Kindler

Ver

tical

Inte

grat

ion

Form

alism

Inte

grat

ion

Dimensions of Integration

Aspect Integration

Page 22: The Aspects of Business Processes An open and formalism independent architecture

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

Page 23: The Aspects of Business Processes An open and formalism independent architecture

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

Page 24: The Aspects of Business Processes An open and formalism independent architecture

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

Page 25: The Aspects of Business Processes An open and formalism independent architecture

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

Page 26: The Aspects of Business Processes An open and formalism independent architecture

26AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerPNML Core Model

PlaceTransition

source

targetNode Arc

Object

Control

Organisation

Information

Integration

PN

*

Marking*

Page 27: The Aspects of Business Processes An open and formalism independent architecture

27AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerIntegration

Task

BPM

*

Activity

Case

*

1

<<instanceOf>>

*

1

<<instanceof>>

*

Verhalten

Organisation

Information

Integration

Page 28: The Aspects of Business Processes An open and formalism independent architecture

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

Page 29: The Aspects of Business Processes An open and formalism independent architecture

29AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerExcursus: Aspect Orientation

Task

TaskBehavior

1

Control

Organisation

Information

Integration

TaskOrga

1

TaskInform

1 1

TaskStruct

Page 30: The Aspects of Business Processes An open and formalism independent architecture

30AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerExcursus: Aspect Orientation

Task

Task

1

Control

Organisation

Information

Integration

Task

1

Task

1

Page 31: The Aspects of Business Processes An open and formalism independent architecture

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

Page 32: The Aspects of Business Processes An open and formalism independent architecture

32AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerFormalism Independence

Control

Organisation

Information

Integration

OrganisationCharts

ER diagramsEPC

PN

Page 33: The Aspects of Business Processes An open and formalism independent architecture

33AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerOrganisation

Task

BPM

Activity

Case

Control

Organisation

Information

Integration

GetResources(Context)

Assignment*

1

1

ResourceDescriptor

Context

*

Resource

*

1

Page 34: The Aspects of Business Processes An open and formalism independent architecture

34AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerOrganisation Charts

Control

Organisation

Information

Integration

Page 35: The Aspects of Business Processes An open and formalism independent architecture

35AMFIBIA

University of PaderbornSoftware Engineering GroupE. Kindler

Organisation Aspect Implementation

Task

Control

Organisation

Information

Integration

ResourceDescriptor

*

GetResources(Context)

ResourceDescriptorImpl

Role ContextOrgUnit Restriction

Page 36: The Aspects of Business Processes An open and formalism independent architecture

36AMFIBIA

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

OrganisationChart

ER diagramEPCs

Petri nets

Control

Organisation

Information

Integration

Page 37: The Aspects of Business Processes An open and formalism independent architecture

37AMFIBIA

University of PaderbornSoftware Engineering GroupE. KindlerAMFIBIA: Aspect Integration

Organisationcharts

ER diagramsEPCs

Petri nets

Control

Organisation

Information

Assignment

Transaction

Authenticity Integration

Page 38: The Aspects of Business Processes An open and formalism independent architecture

38AMFIBIA

University of PaderbornSoftware Engineering GroupE. Kindler

Ver

tical

Inte

grat

ion

Form

alism

Inte

grat

ion

AMFIBIA: Dimensions of Integration

Aspect Integration

Page 39: The Aspects of Business Processes An open and formalism independent architecture

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? …

Page 40: The Aspects of Business Processes An open and formalism independent architecture

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!


The independent club for everyone interested in all aspects of

My Formalism

Lagrangian Formalism - UMass

Formalism Powerpoint

Various Aspects Of Independent Music Labels

I $ 1dl.alijafarnode.ir/file/sample.Literary.Criticism.pdfvi Contents Russian Formalism and New Criticism Introduction 48 Russian Formalism 48 Bridging the Gap between Russian Formalism

Formalism ppt

Formalism (Mathematics)

Formalism photos

Formalism and Time

THE TROTSKY-SHKLOVSKY DEBATE: … trotsky-shklovsky debate: formalism versus ... russian formalism, marxism, ... the trotsky-shklovsky debate: formalism versus marxism

Revising Formalism

Choice of Entity and Securities Aspects of Independent

British Formalism

AESTETA: Formalism

Russian Formalism

Formalism presentation

Realism | Classicism |Formalism. Realism Classicism Formalism

Andrew Hodges- Twistor diagrams for all tree amplitudes in gauge theory: a helicity-independent formalism

Interfacing loop quantum gravity with cosmology.€¦ · Motivation • Loop Quantum Gravity • Sound background independent quantization formalism • In certain scenarios (specific

The Lagrangian Formalism

Realism and Formalism

Film Formalism

Formalism Research

Goldstein S. - The Quantum Formalism and the GRW Formalism (2012)

Hamiltonian Formalism

Independent Directors - Legal Aspects of Business

Fry Formalism

CALPHAD formalism for Portland clinker: thermodynamic ... · PDF fileCALPHAD formalism for Portland clinker: thermodynamic models and databases ... PHAD formalism for Portland clinker:

Model-independent ABS duration approximation formulasvivienbrunel.free.fr/WorkingPapers/Duration_ABS.pdf · 0 is absolutely continuous with respect to P. This formalism applies whatever

Discussion of Formalism

Formalism April25

Formalism, Functionalism, and Consensus in Competition La · Formalism and Functionalism U.S.: Rules (formalism) versus standards (functionalism) in antitrust –i.e., “per se”

adiabatic formalism

Formalism - Literary Theories