Download presentation
Presentation is loading. Please wait.
Published byClaire Kelley Modified over 11 years ago
1
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
2
University of Paderborn Software Engineering Group E. Kindler 2AMFIBIA Overview Control Organisation Information Integration AMFIBIA A meta-model for the integration of business process aspects EPC Tools An open tool for EPCs
3
University of Paderborn Software Engineering Group E. Kindler 3AMFIBIA EPC Tools
4
University of Paderborn Software Engineering Group E. Kindler 4AMFIBIA Semantics of EPCs
5
University of Paderborn Software Engineering Group E. Kindler 5AMFIBIA Non-local Semantics of EPCs Semantics of some nodes is not local!
6
University of Paderborn Software Engineering Group E. Kindler 6AMFIBIA Problem: Vicious Circle
7
University of Paderborn Software Engineering Group E. Kindler 7AMFIBIA Motivation formal EPCs informal BPM WfM AnalysisImplementation Analysis Verification
8
University of Paderborn Software Engineering Group E. Kindler 8AMFIBIA Our Contribution Formalization of informal semantics As faithful as possible Characterization of problematic EPCs Efficient simulation and analysis: EPC Tools EPCs
9
University of Paderborn Software Engineering Group E. Kindler 9AMFIBIA fixed point theory model checking (MCiE) EPC Tools
10
University of Paderborn Software Engineering Group E. Kindler 10AMFIBIA Overview Control Organisation Information Integration AMFIBIA A meta-model for the integration of business process aspects EPC Tools An open tool for EPCs Motivation & Ideas
11
University of Paderborn Software Engineering Group E. Kindler 11AMFIBIA Aspects of BPM Control Organisation Information Assignment Transaction Authenticity
12
University of Paderborn Software Engineering Group E. Kindler 12AMFIBIA Basic Aspects Control Organisation Information
13
University of Paderborn Software Engineering Group E. Kindler 13AMFIBIA Integration of Aspects Control Organisation Information Integration
14
University of Paderborn Software Engineering Group E. Kindler 14AMFIBIA Unbiased Integration Control Organisation Information Integration
15
University of Paderborn Software Engineering Group E. Kindler 15AMFIBIA Formalism Independence Organisation charts ER diagrams EPCs Petri nets Control Organisation Information Integration
16
University of Paderborn Software Engineering Group E. Kindler 16AMFIBIA Aspect Integration Organisation charts ER diagrams EPCs Petri nets Control Organisation Information Assignment Transaction Authenticity Integration
17
University of Paderborn Software Engineering Group E. Kindler 17AMFIBIA Vertical Integration BPM WfM
18
University of Paderborn Software Engineering Group E. Kindler 18AMFIBIA Horizontal Integration Control Horizontal Integration OrganisationInformation...
19
University of Paderborn Software Engineering Group E. Kindler 19AMFIBIA Aspect Integration Control Aspect Integration OrganisationInformation...
20
University of Paderborn Software Engineering Group E. Kindler 20AMFIBIA Formalism Integration Petri nets EPCs Activity diagrams BPEL …
21
University of Paderborn Software Engineering Group E. Kindler 21AMFIBIA Vertical Integration Formalism Integration Dimensions of Integration Aspect Integration
22
University of Paderborn Software Engineering Group E. Kindler 22AMFIBIA Overview Control Organisation Information Integration AMFIBIA A meta-model for the integration of business process aspects EPC Tools An open tool for EPCs Some details
23
University of Paderborn Software Engineering Group E. Kindler 23AMFIBIA The Integral Parts of BPMs Control Organisation Information Integration Task BPM * Activity Case * 1 > * 1 * static model dynamic instance
24
University of Paderborn Software Engineering Group E. Kindler 24AMFIBIA Structuring Aspect Control Organisation Information Integration Task BPM * Activity Case * 1 > * 1 * CompoundBasic subprocess 1 Structuring
25
University of Paderborn Software Engineering Group E. Kindler 25AMFIBIA Workflow Net determine trip data fill application form endorse trip book trip approve trip send travel expense form make tripfill in travel expense form reimburse expenses Control Organisation Information Integration
26
University of Paderborn Software Engineering Group E. Kindler 26AMFIBIA PNML Core Model PlaceTransition source target NodeArc Object Control Organisation Information Integration PN * Marking *
27
University of Paderborn Software Engineering Group E. Kindler 27AMFIBIA Integration Task BPM * Activity Case * 1 > *1 * Verhalten Organisation Information Integration
28
University of Paderborn Software Engineering Group E. Kindler 28AMFIBIA Control Aspect Task BPM Activity Case Control Organisation Information Integration initial * final * ** activefinished initialize(State):State finalize(State):State State * activated case 1 1 current
29
University of Paderborn Software Engineering Group E. Kindler 29AMFIBIA Excursus: Aspect Orientation Task TaskBehavior 1 Control Organisation Information Integration TaskOrga 1 TaskInform 1 1 TaskStruct
30
University of Paderborn Software Engineering Group E. Kindler 30AMFIBIA Excursus: Aspect Orientation Task 1 Control Organisation Information Integration Task 1 1
31
University of Paderborn Software Engineering Group E. Kindler 31AMFIBIA Implementation by PNML Task BPM Activity Case initial * final * ** activefinished initialize(State):State finalize(State):State State * activated case 1 1 current Marking Transition PN formalism independent concepts formalism specific concepts
32
University of Paderborn Software Engineering Group E. Kindler 32AMFIBIA Formalism Independence Control Organisation Information Integration Organisation Charts ER diagrams EPC PN
33
University of Paderborn Software Engineering Group E. Kindler 33AMFIBIA Organisation Task BPM Activity Case Control Organisation Information Integration GetResources(Context) Assignment * 1 1 Resource Descriptor Context * Resource * 1
34
University of Paderborn Software Engineering Group E. Kindler 34AMFIBIA Organisation Charts Control Organisation Information Integration
35
University of Paderborn Software Engineering Group E. Kindler 35AMFIBIA Organisation Aspect Implementation Task Control Organisation Information Integration Resource Descriptor * GetResources(Context) Resource DescriptorImpl Role Context OrgUnitRestriction
36
University of Paderborn Software Engineering Group E. Kindler 36AMFIBIA AMFIBIA: Meta Model & Interfaces Organisation Chart ER diagram EPCs Petri nets Control Organisation Information Integration
37
University of Paderborn Software Engineering Group E. Kindler 37AMFIBIA AMFIBIA: Aspect Integration Organisation charts ER diagrams EPCs Petri nets Control Organisation Information Assignment Transaction Authenticity Integration
38
University of Paderborn Software Engineering Group E. Kindler 38AMFIBIA Vertical Integration Formalism Integration AMFIBIA: Dimensions of Integration Aspect Integration
39
University of Paderborn Software Engineering Group E. Kindler 39AMFIBIA 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
University of Paderborn Software Engineering Group E. Kindler 40AMFIBIA Overview: Projects Component Tools Formal methods! No regrets! Control Organisation Information Integration AMFIBIA A meta-model for the integration of business process aspects Software Process Mining ISO9000 certification for free ??? EPC Tools An open tool for EPCs Implementation will start soon!
Similar presentations
© 2025 SlidePlayer.com. Inc.
All rights reserved.