Investigations on Soundness Regarding Lazy Activities Export

@incollection{citeulike:2318891, abstract = {Current approaches for proving the correctness of business processes focus on either soundness, weak soundness, or relaxed soundness. Soundness states that each activity should be on a path from the initial to the final activity, that after the final activity has been reached no other activities should become active, and that there are no unreachable activities. Relaxed soundness softens soundness by stating that each activity should be able to participate in the business process, whereas weak soundness allows unreachable activities. However, all these kinds of soundness are not satisfactory for processes containing discriminator, n-out-of-m-join or multiple instances without synchronization patterns that can leave running (lazy) activities behind. As these patterns occur in interacting business processes, we propose a solution based on lazy soundness. We utilize the π-calculus to discuss and implement reasoning on lazy soundness.}, author = {Puhlmann, Frank and Weske, Mathias}, citeulike-article-id = {2318891}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/11841760_11}, doi = {10.1007/11841760_11}, journal = {Business Process Management}, pages = {145--160}, posted-at = {2008-02-01 10:54:16}, priority = {1}, title = {Investigations on Soundness Regarding Lazy Activities}, url = {http://dx.doi.org/10.1007/11841760_11}, year = {2006} }

TY - CHAP ID - citeulike:2318891 L3 - citeulike-article-id:2318891 N2 - Current approaches for proving the correctness of business processes focus on either soundness, weak soundness, or relaxed soundness. Soundness states that each activity should be on a path from the initial to the final activity, that after the final activity has been reached no other activities should become active, and that there are no unreachable activities. Relaxed soundness softens soundness by stating that each activity should be able to participate in the business process, whereas weak soundness allows unreachable activities. However, all these kinds of soundness are not satisfactory for processes containing discriminator, n-out-of-m-join or multiple instances without synchronization patterns that can leave running (lazy) activities behind. As these patterns occur in interacting business processes, we propose a solution based on lazy soundness. We utilize the π-calculus to discuss and implement reasoning on lazy soundness. JF - Business Process Management EP - 160 TI - Investigations on Soundness Regarding Lazy Activities SP - 145 AU - Puhlmann, Frank AU - Weske, Mathias PY - 2006/// UR - http://dx.doi.org/10.1007/11841760_11 ER -