1 / 11

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

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. Properties of Business Processes.

Download Presentation

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

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  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

More Related