university of paderborn software engineering group e. kindler handout for the talk given in the...
TRANSCRIPT
![Page 1: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/1.jpg)
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: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/2.jpg)
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: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/3.jpg)
3AMFIBIA
University of PaderbornSoftware Engineering GroupE. KindlerEPC Tools
![Page 4: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/4.jpg)
4AMFIBIA
University of PaderbornSoftware Engineering GroupE. KindlerSemantics of EPCs
![Page 5: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/5.jpg)
5AMFIBIA
University of PaderbornSoftware Engineering GroupE. KindlerNon-local Semantics of EPCs
Semantics of some nodes is not local!
![Page 6: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/6.jpg)
6AMFIBIA
University of PaderbornSoftware Engineering GroupE. KindlerProblem: Vicious Circle
![Page 7: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/7.jpg)
7AMFIBIA
University of PaderbornSoftware Engineering GroupE. KindlerMotivation
formal
EPCs EPCs
informal
BPM WfM
Analysis Implementation
Analysis
Verification
![Page 8: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/8.jpg)
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: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/9.jpg)
9AMFIBIA
University of PaderbornSoftware Engineering GroupE. Kindler
fixed point theory
model checking (MCiE)
EPC Tools
![Page 10: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/10.jpg)
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: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/11.jpg)
11AMFIBIA
University of PaderbornSoftware Engineering GroupE. KindlerAspects of BPM
Control
Organisation
Information
Assignment
Transaction
Authenticity
![Page 12: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/12.jpg)
12AMFIBIA
University of PaderbornSoftware Engineering GroupE. KindlerBasic Aspects
Control
Organisation
Information
![Page 13: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/13.jpg)
13AMFIBIA
University of PaderbornSoftware Engineering GroupE. KindlerIntegration of Aspects
Control
Organisation
Information
Integration
![Page 14: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/14.jpg)
14AMFIBIA
University of PaderbornSoftware Engineering GroupE. KindlerUnbiased Integration
Control
Organisation
Information
Integration
![Page 15: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/15.jpg)
15AMFIBIA
University of PaderbornSoftware Engineering GroupE. KindlerFormalism Independence
Organisationcharts
ER diagramsEPCs
Petri nets
Control
Organisation
Information
Integration
![Page 16: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/16.jpg)
16AMFIBIA
University of PaderbornSoftware Engineering GroupE. KindlerAspect Integration
Organisationcharts
ER diagramsEPCs
Petri nets
Control
Organisation
Information
Assignment
Transaction
Authenticity Integration
![Page 17: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/17.jpg)
17AMFIBIA
University of PaderbornSoftware Engineering GroupE. KindlerVertical Integration
Ver
tical
Inte
grat
ion
BPM
WfM
![Page 18: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/18.jpg)
18AMFIBIA
University of PaderbornSoftware Engineering GroupE. KindlerHorizontal Integration
Control
Horizontal Integration
Organisation Information ...
![Page 19: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/19.jpg)
19AMFIBIA
University of PaderbornSoftware Engineering GroupE. KindlerAspect Integration
Control
Aspect Integration
Organisation Information ...
![Page 20: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/20.jpg)
20AMFIBIA
University of PaderbornSoftware Engineering GroupE. KindlerFormalism Integration
Form
alism
Inte
grat
ion
Petri nets
EPCs
Activity diagrams
BPEL
…
![Page 21: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/21.jpg)
21AMFIBIA
University of PaderbornSoftware Engineering GroupE. Kindler
Ver
tical
Inte
grat
ion
Form
alism
Inte
grat
ion
Dimensions of Integration
Aspect Integration
![Page 22: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/22.jpg)
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: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/23.jpg)
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: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/24.jpg)
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: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/25.jpg)
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: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/26.jpg)
26AMFIBIA
University of PaderbornSoftware Engineering GroupE. KindlerPNML Core Model
PlaceTransition
source
targetNode Arc
Object
Control
Organisation
Information
Integration
PN
*
Marking*
![Page 27: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/27.jpg)
27AMFIBIA
University of PaderbornSoftware Engineering GroupE. KindlerIntegration
Task
BPM
*
Activity
Case
*
1
<<instanceOf>>
*
1
<<instanceof>>
*
Verhalten
Organisation
Information
Integration
![Page 28: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/28.jpg)
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: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/29.jpg)
29AMFIBIA
University of PaderbornSoftware Engineering GroupE. KindlerExcursus: Aspect Orientation
Task
TaskBehavior
1
Control
Organisation
Information
Integration
TaskOrga
1
TaskInform
1 1
TaskStruct
![Page 30: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/30.jpg)
30AMFIBIA
University of PaderbornSoftware Engineering GroupE. KindlerExcursus: Aspect Orientation
Task
Task
1
Control
Organisation
Information
Integration
Task
1
Task
1
![Page 31: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/31.jpg)
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: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/32.jpg)
32AMFIBIA
University of PaderbornSoftware Engineering GroupE. KindlerFormalism Independence
Control
Organisation
Information
Integration
OrganisationCharts
ER diagramsEPC
PN
![Page 33: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/33.jpg)
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: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/34.jpg)
34AMFIBIA
University of PaderbornSoftware Engineering GroupE. KindlerOrganisation Charts
Control
Organisation
Information
Integration
![Page 35: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/35.jpg)
35AMFIBIA
University of PaderbornSoftware Engineering GroupE. Kindler
Organisation Aspect Implementation
Task
Control
Organisation
Information
Integration
ResourceDescriptor
*
GetResources(Context)
ResourceDescriptorImpl
Role ContextOrgUnit Restriction
![Page 36: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/36.jpg)
36AMFIBIA
University of PaderbornSoftware Engineering GroupE. KindlerAMFIBIA: Meta Model & Interfaces
OrganisationChart
ER diagramEPCs
Petri nets
Control
Organisation
Information
Integration
![Page 37: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/37.jpg)
37AMFIBIA
University of PaderbornSoftware Engineering GroupE. KindlerAMFIBIA: Aspect Integration
Organisationcharts
ER diagramsEPCs
Petri nets
Control
Organisation
Information
Assignment
Transaction
Authenticity Integration
![Page 38: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/38.jpg)
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: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/39.jpg)
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: University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005](https://reader036.vdocuments.mx/reader036/viewer/2022062511/55145849550346284e8b549e/html5/thumbnails/40.jpg)
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!