Overview. Semantics of EPCs. EPC Tools. Problem: Vicious Circle. Non-local Semantics of EPCs

Size: px

Start display at page:

Download "Overview. Semantics of EPCs. EPC Tools. Problem: Vicious Circle. Non-local Semantics of EPCs"

Bernard Hart
10 years ago
Views:

1 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 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

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

2 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

Analysis Implementation Analysis Verification 7 8 Overview fixed point theory An open tool

3 of Aspects Unbiased 3 4 Formalism Independence Aspect charts charts Authenticity Transaction 5 6 Vertical Horizontal Vertical Horizontal... WfM 7 8 3

4 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

Formalism Some details An open tool for 2 22 The Integral Parts of s

5 Workflow Net PNML Core Model PN Object Node source target Arc Transition Place Marking Aspect <<instanceof>> Verhalten case <<instanceof>> initial final active finished current State initialize(state):state finalize(state):state activated Excursus: Aspect Orientation Excursus: Aspect Orientation Orga Behavior Inform Struct

active finished current State initialize(state):state finalize(state):state activated

6 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) Aspect Implementation : Meta Model & Interfaces Descriptor Chart DescriptorImpl Gets(Context) Role OrgUnit Restriction Context ER diagram

formalism specific concepts EPC 3 32 Charts Context Descriptor Gets(Context) 33 34 Aspect Implementation :

7 : Aspect : Dimensions of charts Authenticity Vertical Aspect Formalism Transaction 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???

Why do you want formalism independence? Are these aspects really independent? Is this going to work?

7. Classification. Business value. Structuring (repetition) Automation. Classification (after Leymann/Roller) Automation.

7. Classification. Business value. Structuring (repetition) Automation. Classification (after Leymann/Roller) Automation. 7. Classification Business Process Modelling and Workflow Management Business value Lecture 4 (Terminology cntd.) Ekkart Kindler [email protected] Structuring (repetition) Automation UPB SS 2006 L04 2 Classification