Modeling Method of Operation Process in WorkFlow Based on Petri Net and UML
The workflow process modeling is the foundation of workflow management system. With the wide development of workflow technology, more and more users need to evaluate the correctness of workflow model. By analyzing the respective characteristics of UML state chart and Petri Network system, this paper proposed a workflow modeling method characterized by exterior modeling the workflow by using UML state diagram while interior expressing the workflow as Petri Net model by adopting the corresponding mapping rules, and meanwhile illustrated such type of workflow modeling method by giving consideration to the actual workflow. The modeling method proposed by us solves the problem concerning verifying the effectiveness of workflow model structure, and thereby the reliability of the workflow model has been improved.
WorkFlow effectiveness Modeling Methods
Guo Jiayang Yin Xu
Department of Computer Science Beijing Information Science & Technology University Beijing, CHINA
国际会议
第四届国际计算机新科技与教育学术会议(2009 4th International Conference on Computer Science & Education)
南京
英文
1917-1922
2009-07-25（万方平台首次上网日期，不代表论文的发表时间）