标题: Detecting artifact anomalies in business process specifications with a formal model
作者: Wang, Ching-Huey
Wang, Feng-Jian
资讯科学与工程研究所
Institute of Computer Science and Engineering
关键字: Workflow;Business process;Analysis;Control flow;Data flow;Artifact;Anomaly
公开日期: 1-十月-2009
摘要: 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. (C) 2009 Elsevier Inc. All rights reserved.
URI: http://dx.doi.org/10.1016/j.jss.2009.03.077
http://hdl.handle.net/11536/6630
ISSN: 0164-1212
DOI: 10.1016/j.jss.2009.03.077
期刊: JOURNAL OF SYSTEMS AND SOFTWARE
Volume: 82
Issue: 10
起始页: 1600
结束页: 1619
显示于类别:Articles


文件中的档案:

  1. 000270628100005.pdf

If it is a zip file, please download the file and unzip it, then open index.html in a browser to view the full text content.