Detecting artifact anomalies in business process specifications with a formal model

Authors:
Ching-Huey Wang;Feng-Jian Wang
Affiliations:
Institute of Computer Science and Engineering, College of Computer Science, National Chiao Tung University, Room 510, EC Building, 1001 Ta-Hsueh Road, Hsinchu City, Taiwan, ROC;Institute of Computer Science and Engineering, College of Computer Science, National Chiao Tung University, Room 510, EC Building, 1001 Ta-Hsueh Road, Hsinchu City, Taiwan, ROC
Venue:
Journal of Systems and Software
Year:
2009

Citing 21
Cited 0

Process modeling

Communications of the ACM - Special issue on analysis and modeling in software development
Verification of workflow task structures: A petri-net-based approach

Information Systems
Analyzing process models using graph reduction techniques

Information Systems - The 11th international conference on advanced information systems engineering (CAiSE*
Inheritance of workflows: an approach to tackling problems related to change

Theoretical Computer Science
Workflow Patterns

Distributed and Parallel Databases
Model Checking of Workflow Schemas

EDOC '00 Proceedings of the 4th International conference on Enterprise Distributed Object Computing
Advanced Workflow Patterns

CooplS '02 Proceedings of the 7th International Conference on Cooperative Information Systems
Verification of Workflow Nets

ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Enterprise Workflow Resource Management

RIDE '99 Proceedings of the Ninth International Workshop on Research Issues on Data Engineering: Information Technology for Virtual Enterprises
Confirmation: increasing resource availability for transactional workflows

Information Sciences: an International Journal
Component-based workflow systems development

Decision Support Systems
Automatic Control of Workflow Processes Using ECA Rules

IEEE Transactions on Knowledge and Data Engineering
Data flow and validation in workflow modelling

ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
Resource constraints analysis of workflow specifications

Journal of Systems and Software - Special issue: Applications of statistics in software engineering
Extracting the workflow critical path from the extended well-formed workflow schema

Journal of Computer and System Sciences
An architecture for workflow scheduling under resource allocation constraints

Information Systems
Analyzing Inaccurate Artifact Usages in a Workflow Schema

COMPSAC '06 Proceedings of the 30th Annual International Computer Software and Applications Conference - Volume 02
Formulating the Data-Flow Perspective for Business Process Management

Information Systems Research
An Approach to Adaptive Distributed Execution Monitoring for Workflows in Service-based Systems

COMPSAC '07 Proceedings of the 31st Annual International Computer Software and Applications Conference - Volume 02
An Intelligent Control Architecture for Adaptive Service-Based Software Systems with Workflow Patterns

COMPSAC '08 Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference
Woflan 2.0: a Petri-net-based workflow diagnosis tool

ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets

Quantified Score

Hi-index	0.00

Visualization

Abstract

Many business process analysis models have been proposed, however there are few discussions for artifact usages in workflow specifications. A well-structured business process with sufficient resources might fail or yield unexpected results dynamically due to inaccurate artifact specification, e.g. an inconsistency between artifact and control flow, or contradictions between artifact operations. This paper, based on our previous work, presents a model for describing the input/output of a workflow process and analyzes the artifact usages upon the model. This work identifies and formulates thirteen cases of artifact usage anomalies affecting process execution and categorizes the cases into three types. Moreover, the methods for detecting these anomalies with time complexities O(n^2), less than O(n^3) in previous methods, are presented. Besides, the paper uses an example to demonstrate the processing of them.