University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, The Aspects of Business Processes An open and formalism independent architecture Ekkart Kindler Universität Paderborn Institut für Informatik FG Softwaretechnik

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

University of Paderborn Software Engineering Group E. Kindler 3AMFIBIA EPC Tools

University of Paderborn Software Engineering Group E. Kindler 4AMFIBIA Semantics of EPCs

University of Paderborn Software Engineering Group E. Kindler 5AMFIBIA Non-local Semantics of EPCs Semantics of some nodes is not local!

University of Paderborn Software Engineering Group E. Kindler 6AMFIBIA Problem: Vicious Circle

University of Paderborn Software Engineering Group E. Kindler 7AMFIBIA Motivation formal EPCs informal BPM WfM AnalysisImplementation Analysis Verification

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

University of Paderborn Software Engineering Group E. Kindler 9AMFIBIA fixed point theory model checking (MCiE) EPC Tools

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

University of Paderborn Software Engineering Group E. Kindler 11AMFIBIA Aspects of BPM Control Organisation Information Assignment Transaction Authenticity

University of Paderborn Software Engineering Group E. Kindler 12AMFIBIA Basic Aspects Control Organisation Information

University of Paderborn Software Engineering Group E. Kindler 13AMFIBIA Integration of Aspects Control Organisation Information Integration

University of Paderborn Software Engineering Group E. Kindler 14AMFIBIA Unbiased Integration Control Organisation Information Integration

University of Paderborn Software Engineering Group E. Kindler 15AMFIBIA Formalism Independence Organisation charts ER diagrams EPCs Petri nets Control Organisation Information Integration

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

University of Paderborn Software Engineering Group E. Kindler 17AMFIBIA Vertical Integration BPM WfM

University of Paderborn Software Engineering Group E. Kindler 18AMFIBIA Horizontal Integration Control Horizontal Integration OrganisationInformation...

University of Paderborn Software Engineering Group E. Kindler 19AMFIBIA Aspect Integration Control Aspect Integration OrganisationInformation...

University of Paderborn Software Engineering Group E. Kindler 20AMFIBIA Formalism Integration Petri nets EPCs Activity diagrams BPEL …

University of Paderborn Software Engineering Group E. Kindler 21AMFIBIA Vertical Integration Formalism Integration Dimensions of Integration Aspect Integration

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

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

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

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

University of Paderborn Software Engineering Group E. Kindler 26AMFIBIA PNML Core Model PlaceTransition source target NodeArc Object Control Organisation Information Integration PN * Marking *

University of Paderborn Software Engineering Group E. Kindler 27AMFIBIA Integration Task BPM * Activity Case * 1 > *1 * Verhalten Organisation Information Integration

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

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

University of Paderborn Software Engineering Group E. Kindler 30AMFIBIA Excursus: Aspect Orientation Task 1 Control Organisation Information Integration Task 1 1

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

University of Paderborn Software Engineering Group E. Kindler 32AMFIBIA Formalism Independence Control Organisation Information Integration Organisation Charts ER diagrams EPC PN

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

University of Paderborn Software Engineering Group E. Kindler 34AMFIBIA Organisation Charts Control Organisation Information Integration

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

University of Paderborn Software Engineering Group E. Kindler 36AMFIBIA AMFIBIA: Meta Model & Interfaces Organisation Chart ER diagram EPCs Petri nets Control Organisation Information Integration

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

University of Paderborn Software Engineering Group E. Kindler 38AMFIBIA Vertical Integration Formalism Integration AMFIBIA: Dimensions of Integration Aspect Integration

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

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!