Ensuring Quality in Business-driven Development of IT Systems using Workflow Patterns

Size: px

Start display at page:

Download "Ensuring Quality in Business-driven Development of IT Systems using Workflow Patterns"

Magnus Bennett
10 years ago
Views:

1 Ensuring Quality in Business-driven Development of IT Systems using Workflow Patterns Masud Fazal-Baqaie Datenbank- und Informationssysteme AG Engels

2 What is a Business Process? A business process is a collection of related [...] activities that produce a specific output for a particular customer Think of UML 2.0 Activity Diagrams Ensuring Quality in BDD of IT Systems using Workflow Patterns Masud Fazal-Baqaie - 2

3 Why Business Process Modeling? Awareness Improvement [1] IT-Implementation Ensuring Quality in BDD of IT Systems using Workflow Patterns Masud Fazal-Baqaie - 3

4 Why is Quality of BPM a Problem? Inexperienced user & different professional background Complicated Models Rich modeling languages Hard to read & understand Impossible to execute as depicted Case study: High % of reference models wrong [2] Ensuring Quality in BDD of IT Systems using Workflow Patterns Masud Fazal-Baqaie - 4

modeling languages Hard to read & understand Impossible to execute as depicted

5 Agenda 1. Motivation 2. BDD 3. BPMN 4. Verification 5. Workflow Patterns 6. Modeling Accelerators (Demo) 7. Summary Ensuring Quality in BDD of IT Systems using Workflow Patterns Masud Fazal-Baqaie - 5

6 Business-Driven Development Lifecycle [1] Business Metrics Graphical Model Analysis Models Design Models Runtime Metrics Execution Model Software Services Ensuring Quality in BDD of IT Systems using Workflow Patterns Masud Fazal-Baqaie - 6

Metrics Execution Model Software Services Ensuring Quality

7 Agenda 1. Motivation 2. BDD 3. BPMN 4. Verification 5. Workflow Patterns 6. Modeling Accelerators (Demo) 7. Summary Ensuring Quality in BDD of IT Systems using Workflow Patterns Masud Fazal-Baqaie - 7

8 BPMN Business Process Modeling Notation Graphical language for modeling business processes Standard by OMG Supported by all big tool vendors Ensuring Quality in BDD of IT Systems using Workflow Patterns Masud Fazal-Baqaie - 8

Supported by all big tool vendors Ensuring Quality in

9 BPMN Modeling Elements Ensuring Quality in BDD of IT Systems using Workflow Patterns Masud Fazal-Baqaie - 9

10 BPMN Modeling Elements there is much more [3] Ensuring Quality in BDD of IT Systems using Workflow Patterns Masud Fazal-Baqaie - 10

org/backend/poem/model/1046/self [3] Ensuring

11 Agenda 1. Motivation 2. BDD 3. BPMN 4. Verification 5. Workflow Patterns 6. Modeling Accelerators (Demo) 7. Summary Ensuring Quality in BDD of IT Systems using Workflow Patterns Masud Fazal-Baqaie - 11

12 Deadlock Execution traces: <Start Event, Record Claim, Check Claim, Settle Claim, > <Start Event, Record Claim, Check Claim, Reject Claim, > Ensuring Quality in BDD of IT Systems using Workflow Patterns Masud Fazal-Baqaie - 12

Check Claim, Reject Claim, > Ensuring Quality in BDD of

13 Lack of Synchronization Execution traces: <Start Event, Record Claim, Check Claim, Settle Claim, End Event, Retrieve Add. Info, Check Claim, Reject Claim, End Event, Retrieve Add. Info, > Ensuring Quality in BDD of IT Systems using Workflow Patterns Masud Fazal-Baqaie - 13

Info, Check Claim, Reject Claim, End Event, Retrieve Add.

14 Verification Soundness Checking Checking execution traces (State space exploration) Problem: State space explosion [2] Ensuring Quality in BDD of IT Systems using Workflow Patterns Masud Fazal-Baqaie - 14

space explosion [2] Ensuring Quality in BDD of IT

15 Soundness Checking using Single- Entry-Single-Exit Regions Decomposition in linear time Model is sound if all fragments are sound Heuristic + State Space Exploration Ensuring Quality in BDD of IT Systems using Workflow Patterns Masud Fazal-Baqaie - 15

are sound Heuristic + State Space Exploration Ensuring Quality

16 Agenda Motivation BDD BPMN Verification Workflow Patterns Modeling Accelerators (Demo) Summary Ensuring Quality in BDD of IT Systems using Workflow Patterns Masud Fazal-Baqaie - 16

17 Patterns for Process Models Related to OOP Design Patterns Talk in patterns: Common language Limitations and possibilities of modeling language Constructive approach to modeling Reuse good ideas [4] Ensuring Quality in BDD of IT Systems using Workflow Patterns Masud Fazal-Baqaie - 17

language Constructive approach to modeling Reuse good ideas [4]

18 Example: Synchronized Merge Point of process where multiple paths converge into single thread. If multiple paths are taken synchronization needed. If only one path is taken, reconverge without synchronization 1x 1x Ensuring Quality in BDD of IT Systems using Workflow Patterns Masud Fazal-Baqaie - 18

If only one path is taken, reconverge without synchronization 1x 1x

19 Synchronized Merge in BPMN Direct support for BPMN Ensuring Quality in BDD of IT Systems using Workflow Patterns Masud Fazal-Baqaie - 19

20 Anti-Patterns Derived from real world models Common mistakes Recommendations Ensuring Quality in BDD of IT Systems using Workflow Patterns Masud Fazal-Baqaie - 20

21 Anti-patterns Ensuring Quality in BDD of IT Systems using Workflow Patterns Masud Fazal-Baqaie - 21

22 Pattern-based Process Model Accelerators Improvement of pattern support for modeling tools Correctness-by-Construction Control-flow analysis Demo Ensuring Quality in BDD of IT Systems using Workflow Patterns Masud Fazal-Baqaie - 22

23 Summary Business process quality needs improvement Business process modeling relevant for quality of software systems Emerging theory (verification, patterns) Emerging tool support Ensuring Quality in BDD of IT Systems using Workflow Patterns Masud Fazal-Baqaie - 23

24 Thank You For Your Attention! Any Questions? Ensuring Quality in BDD of IT Systems using Workflow Patterns Masud Fazal-Baqaie - 24

25 Illustration sources: [1] [2] [3] BPMN 1.2 Poster; Hasso Plattner Institut BPMN1_1_Poster_EN.pdf [4]Gschwind, T., Koehler, J., Wong, J. In: Applying Patterns during Business Process Modeling. Springer-Verlag, Berlin, Heidelberg (2008) 4 19 Outher sources are listet in the seminar paper to this talk. Ensuring Quality in BDD of IT Systems using Workflow Patterns Masud Fazal-Baqaie - 25

Dr. Jana Koehler IBM Zurich Research Laboratory

Precise Modeling of Business Processes with the Business Process Modeling Notation BPMN 2.0 Dr. Jana Koehler IBM Zurich Research Laboratory ZRL BIT at a Glance Computer Science at ZRL: Security/Cryptography