CSS 496 Business Process Re-engineering for BS(CS)

1. CSS 496 Business Process Re-engineering for BS(CS) Chapter 6: Properties of Business Processes Khurram Shahzad mks@ciitlahore.edu.pk Based on Petia, Marlon, Aalst and Weske Lectures

2. Properties of Business Processes • Investigation of properties of process models is an important aspect of business process management • Structural properties • Related to the design of process models • Focus on Structural Soundness • Useful to identify errors in process models

3. Properties of Business Processes • When t4 is enabled?

4. Properties of Business Processes • t4 is never enabled • When t3 terminates, place o is reached, signaling the completion of the case • But t5 is still running! So, o does not represent completion

5. Properties of Business Processes • Example motivates the development of correctness criteria to prevent errors • A model is structurally sound if the following conditions hold • There is exactly one initial node, which is the only node without any incoming edges • There is exactly one final node, which is the only node without any outgoing edges • Each node in the process model is on the path from initial node to the final node

6. Properties of Business Processes • Example motivates the development of correctness criteria to prevent errors • A model is structurally sound if the following conditions hold • There is exactly one initial node, which is the only node without any incoming edges • There is exactly one final node, which is the only node without any outgoing edges • Each node in the process model is on the path from initial node to the final node

7. Soundness (examples) • Or split places toke in one place, therefore and join will never be enabled • Deadlock and join or split

8. Soundness (examples) • Livelock: condition to enter a loop is always evaluated to true • Loop is never left and split

9. Soundness (examples) xor split and join

10. Soundness • The idea of soundness criterion is to make sure that all tasks can participate in a process instance • Each process instance eventually terminates • When it terminates there is exactly one token in the final place

11. Soundness (examples) • Example motivates the development of correctness criteria to prevent errors • A model is structurally sound if the following conditions hold