完整後設資料紀錄
DC 欄位 | 值 | 語言 |
---|---|---|
dc.contributor.author | Wang, Ching-Huey | en_US |
dc.contributor.author | Wang, Feng-Jian | en_US |
dc.date.accessioned | 2014-12-08T15:08:39Z | - |
dc.date.available | 2014-12-08T15:08:39Z | - |
dc.date.issued | 2009-10-01 | en_US |
dc.identifier.issn | 0164-1212 | en_US |
dc.identifier.uri | http://dx.doi.org/10.1016/j.jss.2009.03.077 | en_US |
dc.identifier.uri | http://hdl.handle.net/11536/6630 | - |
dc.description.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. (C) 2009 Elsevier Inc. All rights reserved. | en_US |
dc.language.iso | en_US | en_US |
dc.subject | Workflow | en_US |
dc.subject | Business process | en_US |
dc.subject | Analysis | en_US |
dc.subject | Control flow | en_US |
dc.subject | Data flow | en_US |
dc.subject | Artifact | en_US |
dc.subject | Anomaly | en_US |
dc.title | Detecting artifact anomalies in business process specifications with a formal model | en_US |
dc.type | Article | en_US |
dc.identifier.doi | 10.1016/j.jss.2009.03.077 | en_US |
dc.identifier.journal | JOURNAL OF SYSTEMS AND SOFTWARE | en_US |
dc.citation.volume | 82 | en_US |
dc.citation.issue | 10 | en_US |
dc.citation.spage | 1600 | en_US |
dc.citation.epage | 1619 | en_US |
dc.contributor.department | 資訊科學與工程研究所 | zh_TW |
dc.contributor.department | Institute of Computer Science and Engineering | en_US |
dc.identifier.wosnumber | WOS:000270628100005 | - |
dc.citation.woscount | 0 | - |
顯示於類別: | 期刊論文 |