标题: | 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 |
文件中的档案:
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.