Detecting artifact anomalies in business process specifications with a formal model

Ching Huey Wang*, Feng-Jian Wang

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

8 Scopus citations


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(n2), less than O(n3) in previous methods, are presented. Besides, the paper uses an example to demonstrate the processing of them.

Original languageEnglish
Pages (from-to)1600-1619
Number of pages20
JournalJournal of Systems and Software
Issue number10
StatePublished - 1 Oct 2009


  • Analysis
  • Anomaly
  • Artifact
  • Business process
  • Control flow
  • Data flow
  • Workflow


Dive into the research topics of 'Detecting artifact anomalies in business process specifications with a formal model'. Together they form a unique fingerprint.

Cite this