Business Process Technology Master Seminar BPT Group Summer Semester 2008
Agenda 2 Official Information Seminar Timeline Tasks Outline Topics Sergey Smirnov 17 April 2008
Official Information 3 Title: Business Process Technology Seminar Credit Points: 6 SWS: 4 Registration Deadline: 2 May 2008 Sergey Smirnov 17 April 2008
Seminar Timeline 4 topics submission paper draft submission review submission final presentation final paper submission topics presentation short presentation technical presentation Today 22 8 3 3 10 17 20 April May July July July July July Sergey Smirnov 17 April 2008
Topic Distribution 5 topics submission three topics ranked by preference + name, student ID number sergey.smirnov@hpi.uni-potsdam.de topics presentation 22 April Sergey Smirnov 17 April 2008
Grading System 6 final presentation review submission final paper submission short presentation technical presentation Sergey Smirnov 17 April 2008
Outline Presentation 7 5-10 min short presentation problem outline possible solutions Sergey Smirnov 17 April 2008
Technical Presentation 8 ~ 30 min talk +10 min discussion technical aspects technical presentation Sergey Smirnov 17 April 2008
Review Submission 9 max 16 pages LNCS style PDF paper draft submission review submission 2 peer reviews Sergey Smirnov 17 April 2008
10 Final Presentation ~ 30 min talk +10 min discussion overview of the whole work final presentation Sergey Smirnov 17 April 2008
Final Paper Submission 11 max 16 pages LNCS style PDF final paper submission Sergey Smirnov 17 April 2008
Business Process Technology Master Seminar Ahmed Awad Ahmed.Awad@hpi.uni-potsdam.de
Using BPMN-Q to show violation of Execution ordering compliance rules 13 Build a plug-in to Oryx that: Review literature for tool support for explanation of violation to compliance rules. Use BPMN-Q's capabilities to express queries about the structure of process models to define queries (patterns) that would capture a violation of user-defined execution ordering constraint between activities. Extend BPMN-Q notation if necessary in order to complete this task. Ahmed Awad 17 April 2008
Example 14 Requirement: In all instances be sure that If A is executed B will eventually be executed. Formally this is equivalent to LTL expression G(A -> F(B)) This is violated by the counter example execution instance ACD. Ahmed Awad 17 April 2008
Business Process Technology Master Seminar Gero Decker Gero.Decker@hpi.uni-potsdam.de
Usability of choreography languages 16 Buyer Order Order ack Payment Place order Send payment Seller vs. What notation is better suited for the human modeler? Send ack Read test: User retrieves information from a given model Write test: User creates models for given scenarios Design, conduct and interpret experiment Gero Decker 17 April 2008
Advanced Petri net constructs for an execution engine 17 Background Execute BPMN models transform to Petri nets execute PN Transformations available for place/transition nets Question: Would high-level constructs increase performance / simplify transformations? Validation through prototype (extending existing PN engine) Gero Decker 17 April 2008
Performance considerations for process execution engines 18 Background Process execution engine based on XML Petri nets Performance is key Question How do specific database designs / caching strategies / distribution strategies affect performance? Validation through prototype (extending existing PN engine) Gero Decker 17 April 2008
Business Process Technology Master Seminar Alexander Großkopf Alexander.Grosskopf@hpi.uni-potsdam.de
Transforming EPCs to BPMN 20 Context: EPCs are wide spread in the industry and many processes have been modelled using this language. By now BPMN is the emerging process modelling standard. Transforming EPC models to BPMN however is not a simpe task Task: Identify a mapping from EPCs to BPMN and the missmatches in the language concepts. Propose extensions to annotate EPCs for a more comprehensive mapping. Envision how manual annotations could be automated for large amounts of models. Implement a prototype to show the mapping from annotated EPCs to BPMN. Literature: ( Puhlmann Siemens Report (by Frank Contact: alexander.grosskopf@hpi.uni-potsdam.de Alexander Großkopf 17 April 2008
Measure consistency of model hierarchies 21 Context: Processes are modeled on different levels of abstraction for different purposes. The connection between models on different levels can be very different. It may range from strong hierarchical refinement to arbitrary associations. Task: Investigate latest research and existing approaches to connect models on different levels of abstraction. Identify metrics to measure the degree of consistency which models models at different abstraction levels can have. Literature: Inubit BPM-Suite, www.inubit.com A. Rozinat, W.M.P. van der Aalst, Conformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models Contact: alexander.grosskopf@hpi.uni-potsdam.de Alexander Großkopf 17 April 2008
Business Process Technology Master Seminar Artem Polyvyanyy Artem.Polyvyanyy@hpi.uni-potsdam.de
Hypergraph-based modeling of Control-Flow Patterns 23 Context: Flexible process graph (FPG) is a novel approach to model ad-hoc processes. As formal grounding, the approach uses hypergraphs, where each edge can associate any number of nodes. Hypergraphs are used to define execution semantics of ad-hoc processes formally. Task: Though FPG is an approach designed specifically to model ad-hoc business processes it can be applied to model regular control-flow patterns. It should be studied how well does FPG suits this task. Based on the evaluation results, FPG extension proposals should be formulated. These might include introduction of minimal set of hyperedge types, extension of the process execution semantics, etc. Proposed extensions should allow to model regular control-flow patterns by means of FPG. Literature: "Hypergraph-based Modeling of Ad-Hoc Business Processes", Artem Polyvyanyy and Mathias Weske Artem Polyvyanyy 17 April 2008
Hypergraph-based modeling of Control-Flow Patterns 24 Artem Polyvyanyy 17 April 2008
Hypergraph-based modeling of Control-Flow Patterns 25 Artem Polyvyanyy 17 April 2008
Hypergraph-based modeling of Control-Flow Patterns 26 Artem Polyvyanyy 17 April 2008
Abstracting from Business Process Details 27 Context: Many companies have documented their business processes well in the form of models. Unfortunately, in many cases the resulting models are rather complex, so that the overall process logic is hidden in low level process details. Abstraction is the technique aimed to generalize details to derive model overview. Task: A general process model formalism should be extracted from existing process modeling techniques: EPC, Petri nets, Workflow nets. Elementary abstractions, rules that define how process fragments can be generalized, should be developed using proposed process formalism and extend the initial set which is proposed in the literature. Each introduced elementary abstraction should specify process semantics for the abstracted process fragment. Literature: "Reducing the Complexity of Large EPCs", Artem Polyvyanyy, Sergey Smirnov, Mathias Weske Artem Polyvyanyy 17 April 2008
Abstracting from Business Process Details 28 Artem Polyvyanyy 17 April 2008
Abstracting from Business Process Details 29 Artem Polyvyanyy 17 April 2008
Probabilistic Business Process Model Abstraction 30 Context: In many cases business process models are enhanced with additional data like: probabilities of process control flow edge transitions or average time intervals required to execute process functions. This information can be used for the benefit of process model abstraction task. Task: A general process model formalism should be extracted from existing process modeling techniques: EPC, Petri nets, Workflow nets. Mechanisms aimed to extract core process logic based on the probabilities of process edge transitions should be developed using proposed process formalism. Literature: "Reducing the Complexity of Large EPCs", Artem Polyvyanyy, Sergey Smirnov, Mathias Weske Artem Polyvyanyy 17 April 2008
Probabilistic Business Process Model Abstraction 31 Artem Polyvyanyy 17 April 2008
Business Process Technology Master Seminar Sergey Smirnov Sergey.Smirnov@hpi.uni-potsdam.de
Process Model Abstraction 33 Sergey Smirnov 17 April 2008
Process Model Abstraction 34 Sergey Smirnov 17 April 2008
Sequential Abstraction 35 p e0 e 0 p e0 p f1 e 0 f 1 p f1 p e1 e 1 f S p f2 p e1 p f2 p e2 f 2 e 2 p e2 e 2 Sergey Smirnov 17 April 2008
Dead End Abstraction 36 e 0 e 0 p 0 p 0 p 11 p 21 f 0 XOR p 11 p (k-1)1 p 1 p 1 (1-p k1 p k2 ) p k1 1-p k1 1-p k1 f D XOR e 1 e 2 e k e 1 e k-1 p 12 p 22 p k2 p 12 p (k-1)2 f 1 f 2 f k f 1 f k-1 p 13 p 23 p k3 p 13 p (k-1)3 e k+1 Sergey Smirnov 17 April 2008
Block Abstraction 37 f 0 f 0 p 0 p 11 p 21 p k1 p 0 C 1 e 11 e 21 e k1 e 1 p 12 p 22 p k2 1 f 1 f 2 f k f B p 13 p 23 p k3 p x e 12 e 22 e k2 e 2 p 24 p 14 C 2 p k4 1 f k+1 f k+1 Sergey Smirnov 17 April 2008
Loop Abstraction 38 f 0 f 0 p 0 p 0 XOR j p 1 p loop3 e 0 e 1 f 2 1 p 2 p loop2 f L f 1 e 2 p x p 3 XOR s p 4 p loop1 e 3 e 3 Sergey Smirnov 17 April 2008
Topic I 39 Formalization of EPC Elementary Abstractions: Which EPCs Can be Reduced to One Function? Literature: Artem Polyvyanyy, Sergey Smirnov, Mathias Weske. Reducing the Complexity of Large EPCs, 2008 Sergey Smirnov 17 April 2008
Topic II 40 Fuzzy Mining: Lessons Learned for Process Model Abstraction Literature: Christian W. Günther and Wil M. P. van der Aalst. Fuzzy Mining Adaptive Process Simplification Based on Multi-perspective Metrics, BPM 2007 Artem Polyvyanyy, Sergey Smirnov, Mathias Weske. Reducing the Complexity of Large EPCs, 2008 Sergey Smirnov 17 April 2008
Topic III 41 Abstraction of Process Models Captured in BPMN Literature: Artem Polyvyanyy, Sergey Smirnov, Mathias Weske. Reducing the Complexity of Large EPCs, 2008 Sergey Smirnov 17 April 2008
Extra Info 42 Refer to seminar homepage https://bpt.hpi.uni-potsdam.de/public/bpt-ss2008 Regarding seminar organization and submissions sergey.smirnov@hpi.uni-potsdam.de Regarding the topics see contact assigned to each topic Sergey Smirnov 17 April 2008
Questions 43 Sergey Smirnov 17 April 2008