The EMFG Modeling and Analysis for a Workflow


The KIPS Transactions:PartD, Vol. 10, No. 7, pp. 1189-1196, Dec. 2003
10.3745/KIPSTD.2003.10.7.1189,   PDF Download:

Abstract

Owing to the developed IT industry, many people are more and more interested in Workflow which is an automated business processing system. In this paper, we present basic structures and various parallel processing structures of a workflow using EMFG (Extended Mark Flow Graph) that makes conceptional design available. And then, We design a workflow with EMFG. We propose the commitability verification method to check whether a workflow can complete or not and the logical bug verification method to find whether invalid components exist or not by using simulation result of it. The proposed EMFG modeling and analysis method for a workflow make it possible to become a visual and formal design. Also, it makes intuitional and mathematical analysis possible.


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. H. Sug and Y. J. Mo, "The EMFG Modeling and Analysis for a Workflow," The KIPS Transactions:PartD, vol. 10, no. 7, pp. 1189-1196, 2003. DOI: 10.3745/KIPSTD.2003.10.7.1189.

[ACM Style]
Heo Hu Sug and Yeo Jeong Mo. 2003. The EMFG Modeling and Analysis for a Workflow. The KIPS Transactions:PartD, 10, 7, (2003), 1189-1196. DOI: 10.3745/KIPSTD.2003.10.7.1189.