Methodologies for Verifying the Correctness of Business Process Models extended with Responsibilities

This thesis explores methodologies for validating the correctness of business process models enriched with responsibilities. Responsibilities are often used to capture task distribution, with the expectation that the responsible party will perform tasks at the right time and with the appropriate resources. However, the inclusion of responsibilities can introduce complexities that may disrupt process alignment. Overlapping or conflicting responsibilities can lead to inefficiencies and ambiguities. Therefore, it is crucial to develop robust methodologies that ensure the proper contextualization of responsibilities within the model. This involves verifying the correctness of both the process model and the responsibilities, ensuring they are clearly defined, free of conflicts, and seamlessly integrated within the overall process. The thesis presents methodologies for checking the correctness of both the process model and the associated responsibilities. Additionally, I develop a Depth-First Search (DFS) algorithm to discover all possible paths within a process model. Moreover, I define properties that describe how responsibilities interact with each other within the model.