Volume 33 Issue 01
Jan.  2007
Turn off MathJax
Article Contents
Zhang Liang, Jin Maozhong, Yao Shuzhenet al. New extended workflow net for formalizing workflow patterns[J]. Journal of Beijing University of Aeronautics and Astronautics, 2007, 33(01): 59-62. (in Chinese)
Citation: Zhang Liang, Jin Maozhong, Yao Shuzhenet al. New extended workflow net for formalizing workflow patterns[J]. Journal of Beijing University of Aeronautics and Astronautics, 2007, 33(01): 59-62. (in Chinese)

New extended workflow net for formalizing workflow patterns

  • Received Date: 06 Jan 2006
  • Publish Date: 31 Jan 2007
  • To satisfy the enterprise process modeling requirements in the ability of powerf ul expression and analysis, a new extended workflow net(EWF_net) was proposed fo r formalizing workflow patterns. EWF_net extended workflow net(WF_net) by adding some mechanisms, and improved the power of describing dynamic workflow mode l of WF_net. EWF_net was designed for directly describing various comp lex process, especially multiple instances, cancel activity, advanced parallel a nd synchronization which were not supported by most Petri-net models. Control v ariable was introduced in EWF_net for describing the relevant data of workflow m odel. In EWF_net, a special transition,transfer transition was introduced for s upporting dynamic routing of the model. A formal correctness analysis method of EWF_net was given based on the analysis techniques of Petri-net. The correctness analy s is of EWF_net consisted of the analysis of consistent and the analysis of soundne ss of corresponding WF_net. Finally, an application example was described and an alyzed in EWF_net which showed its power of description and analysis.

     

  • loading
  • [1] Aalst W, Hofstede A, Kiepuszewski B. Workflow patterns [J]. Distributed and Parallel Databases,2003,14(1):121-145 [2] Aalst W,Hofstede A. YAWL:yet another workflow language[J]. Informatio n Systems,2005,30(4):15-32 [3] Aalst W, Hee K. Workflow management:models,methods and systems[M].Mas sachusetts:MIT Press,2002:208-229 [4] 袁崇义. Petri网原理[M].北京:电子工业出版社,2005:213-259 Yuan Chongyi. Petri net theory[M].Beijing:Publishing House of Electronics In dustry,2005:213-259(in Chinese) [5] 蒋昌俊.Petri网的行为理论及其应用[M].北京:高等教育出版社,2003: 157-176 Jiang Changjun. Behavior theory and applications of Petri-net[M]. Beijing:Pub lishing House of Higher Education,2003:157-176(in Chinese) [6] 曾庆田,段华.一类含时间因素工作流的建模与时间性能挖掘[J].计算机集成制造系统,2005,11(6):230-233 Zeng Qingtian, Duan Hua. Modeling and time mining for workflow involving time fa ctors[J]. Computer Integrated Manufacturing Systems,2005,11(6):230-233(in Chin ese) [7] 赵海,马殿富,怀进鹏,等.一种基于web的工作流系统的设计与实现[J]. 北京航空航天大学学报,2001,27(4):456-460 Zhao Hai, Ma Dianfu, Huai Jinpeng, et al. A web-based workflow system design an d implementation[J]. Journal of Beijing University of Aeronautics and Astronau tics,2001,27(4):456-460(in Chinese)
  • 加载中

Catalog

    通讯作者: 陈斌, bchen63@163.com
    • 1. 

      沈阳化工大学材料科学与工程学院 沈阳 110142

    1. 本站搜索
    2. 百度学术搜索
    3. 万方数据库搜索
    4. CNKI搜索

    Article Metrics

    Article views(3170) PDF downloads(1254) Cited by()
    Proportional views
    Related

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return