Verification Checking Mechanisms of Business Processes based on Control Flow Path


The KIPS Transactions:PartD, Vol. 14, No. 5, pp. 531-544, Aug. 2007
10.3745/KIPSTD.2007.14.5.531,   PDF Download:

Abstract

As the current trend in e-business has led to more various and complex business processes in recent years, problems in business process models have increased gradually. Accordingly, the concern to validation of business process models has been much larger but there are few validation checking mechanisms supported so far. On the other hand, BPMN driven by BPMI is a standard graphical notation. Using the tool supporting BPMN, business process can be modeled graphically and analyzed easily. In this paper, we present technical mechanisms which can efficiently detect anomalies in a process composed of BPMN and are capable of avoiding higher unexpected costs during runtime.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
H. S. Kim, C. H. Park, J. Y. Sul, J. H. Son, "Verification Checking Mechanisms of Business Processes based on Control Flow Path," The KIPS Transactions:PartD, vol. 14, no. 5, pp. 531-544, 2007. DOI: 10.3745/KIPSTD.2007.14.5.531.

[ACM Style]
Hak Soo Kim, Chan Hee Park, Joo Young Sul, and Jin Hyun Son. 2007. Verification Checking Mechanisms of Business Processes based on Control Flow Path. The KIPS Transactions:PartD, 14, 5, (2007), 531-544. DOI: 10.3745/KIPSTD.2007.14.5.531.