Correctness of Business Process Models with Roles and Objects
This is the latest version of this eprint.
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.
Citation countsare sourced monthly fromand citation databases.
These databases contain citations from different subsets of available publications and different time periods and thus the citation count from each is usually different. Some works are not in either database and no count is displayed. Scopus includes citations from articles published in 1996 onwards, and Web of Science generally from 1980 onwards.
Citations counts from theindexing service can be viewed at the linked Google Scholar™ search.
Full-text downloadsdisplays the total number of times this work’s files (e.g., a PDF) have been downloaded from QUT ePrints as well as the number of downloads in the previous 365 days. The count includes downloads for all files if a work has more than one.
|Item Type:||Journal Article|
|Keywords:||Business Process Modeling, Verification, Soundness, Systems Analysis and Design|
|Subjects:||Australian and New Zealand Standard Research Classification > INFORMATION AND COMPUTING SCIENCES (080000) > INFORMATION SYSTEMS (080600) > Conceptual Modelling (080603)|
Australian and New Zealand Standard Research Classification > INFORMATION AND COMPUTING SCIENCES (080000) > INFORMATION SYSTEMS (080600)
Australian and New Zealand Standard Research Classification > INFORMATION AND COMPUTING SCIENCES (080000)
|Divisions:||Past > QUT Faculties & Divisions > Faculty of Science and Technology|
|Copyright Owner:||Copyright 2008 (The authors)|
|Deposited On:||23 Jun 2008|
|Last Modified:||09 Jun 2010 23:00|
Available Versions of this Item
- Soundness of EPC Process Models with Objects and Roles. (deposited 28 Mar 2008)
- Correctness of Business Process Models with Roles and Objects. (deposited 23 Jun 2008)[Currently Displayed]
Repository Staff Only: item control page