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 Overview An open tool for 2 Semantics of Start Start2 Start3 c2 c3 Inner Inner2 Inner3 Stop Stop2 Stop3 3 4 Non-local Semantics of Problem: Vicious Circle Start Start2 Semantics of some nodes is not local! c2 Start3 c3 Start Start2 Start3 c c2 c3 Inner Inner2 Inner3 Inner Inner2 Inner3 Stop Stop2 Stop3 Stop Stop2 Stop3 5 6
Motivation Our Contribution informal formal WfM Formalization of informal semantics As faithful as possible Characterization of problematic Efficient simulation and analysis: Analysis Implementation Analysis Verification 7 8 Overview fixed point theory An open tool for model checking (MCiE) Motivation & Ideas 9 0 Aspects of Basic Aspects Authenticity Transaction 2 2
of Aspects Unbiased 3 4 Formalism Independence Aspect charts charts Authenticity Transaction 5 6 Vertical Horizontal Vertical Horizontal... WfM 7 8 3
Aspect Formalism Aspect... Formalism BPEL diagrams 9 20 Dimensions of Overview Vertical Aspect Formalism Some details An open tool for 2 22 The Integral Parts of s Structuring Aspect <<instanceof>> <<instanceof>> subprocess <<instanceof>> <<instanceof>> Structuring model static instance dynamic Compound Basic 23 24 4
Workflow Net PNML Core Model PN Object Node source target Arc Transition Place Marking 25 26 Aspect <<instanceof>> Verhalten case <<instanceof>> initial final active finished current State initialize(state):state finalize(state):state activated 27 28 Excursus: Aspect Orientation Excursus: Aspect Orientation Orga Behavior Inform Struct 29 30 5
Implementation by PNML Formalism Independence formalism independent concepts case Charts PN initial final active finished current State initialize(state):state finalize(state):state activated PN Transition Marking formalism specific concepts EPC 3 32 Charts Context Descriptor Gets(Context) 33 34 Aspect Implementation : Meta Model & Interfaces Descriptor Chart DescriptorImpl Gets(Context) Role OrgUnit Restriction Context ER diagram 35 36 6
: Aspect : Dimensions of charts Authenticity Vertical Aspect Formalism Transaction 37 38 Discussion & Questions Overview: Projects 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? An open tool for Component Tools Formal methods! No regrets! Implementation will start soon! Software Process Mining ISO9000 certification for free??? 39 40 7