Verification Checking Mechanisms of Business Processes based on Control Flow Path 


Vol. 14,  No. 5, pp. 531-544, Aug.  2007
10.3745/KIPSTD.2007.14.5.531


PDF
  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
  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.

Forms

Search
(IN TITLE, AUTHOR, ABSTRACT,KEYWORDS)

Advanced Search ▼

POPULAR KEYWORDS
(TOP 10 KEYWORDS)

Recent Publications
(LAST 3 YEARS)

Old Journals

Indexing

All publications of TKIPS is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

TKIPS is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Related Journals