Correctness of Business Process Models with Roles and Objects Export

@unpublished{jrnl/elsevier09/data-role-correctness, abstract = {The verification of business process models is an important step in the design phase of process-aware information systems. While a process model often describes different perspectives like control flow, object flow, and role assignment, most of the contributions in the areas of verification consider only the control flow. Hardly any work considers these three perspectives in a combined verification approach. In this paper we address this gap and introduce Integrated EPCs (iEPCs), a business process modeling language that extends EPCs with a concept of object flow and role assignment. By abstracting from the subtle differences of recent EPC semantics definitions, we show how any of these formalizations can be enhanced with transition rules that consider object existence and role availability as part of the state concept. Furthermore, we define three theorems that relate soundness of EPCs to soundness of iEPCs with different initial role and object set. These theorems provide the basis for a systematic verification approach of iEPCs that first identifies control-flow problems, then object-flow problems, and finally suitable role subsets. This way, our work contributes to a better identification of correctness issues already in conceptual process models in the early design phases.}, address = {Brisbane, Australia}, author = {Mendling, Jan and La Rosa, Marcello and Ter}, citeulike-article-id = {4219800}, howpublished = {Available online at http://eprints.qut.edu.au/13845/}, keywords = {data-perspective, epc, resources, verification}, posted-at = {2009-03-25 15:14:34}, priority = {2}, school = {Queensland University of Technology}, series = {QUT ePrints}, title = {Correctness of Business Process Models with Roles and Objects}, year = {2008} }

TY - UNPB ID - jrnl/elsevier09/data-role-correctness L3 - citeulike-article-id:4219800 N2 - The verification of business process models is an important step in the design phase of process-aware information systems. While a process model often describes different perspectives like control flow, object flow, and role assignment, most of the contributions in the areas of verification consider only the control flow. Hardly any work considers these three perspectives in a combined verification approach. In this paper we address this gap and introduce Integrated EPCs (iEPCs), a business process modeling language that extends EPCs with a concept of object flow and role assignment. By abstracting from the subtle differences of recent EPC semantics definitions, we show how any of these formalizations can be enhanced with transition rules that consider object existence and role availability as part of the state concept. Furthermore, we define three theorems that relate soundness of EPCs to soundness of iEPCs with different initial role and object set. These theorems provide the basis for a systematic verification approach of iEPCs that first identifies control-flow problems, then object-flow problems, and finally suitable role subsets. This way, our work contributes to a better identification of correctness issues already in conceptual process models in the early design phases. SE - QUT ePrints AD - Brisbane, Australia TI - Correctness of Business Process Models with Roles and Objects KW - data-perspective KW - epc KW - resources KW - verification AU - Mendling, Jan AU - La Rosa, Marcello AU - Ter PY - 2008/// ER -