university of paderborn software engineering group e. kindler handout for the talk given in the...
TRANSCRIPT
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!