A method of workflow model structure verification based on graph theory

被引：1
|
作者：
Ma, Gang [1 ,2 ]
Wu, Kehe [1 ,2 ]
Zhang, Tong [1 ,2 ]
Shuo, Cui [1 ,2 ]
机构：
[1] School of Electrical and Electronic Engineering, North China Electric Power University, Beijing, 102206, China
[2] School of Control and Computer Engineering, North China Electric Power University, Beijing, 102206, China
来源：
Journal of Convergence Information Technology | 2012年 / 7卷 / 17期
关键词：
D O I：
10.4156/jcit.vol7.issue17.41
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：350 / 356
相关论文
共 50 条
  • [1] A Model Slicing Method for Workflow Verification
    Rabbi, Fazle
    Wang, Hao
    MacCaull, Wendy
    Rutle, Adrian
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2013, 295 : 79 - 93
  • [2] A Method for Soundness Verification of Workflow Model Based on Petri Net
    Wang Jianliang
    Xia Zhiwei
    Ding Yanan
    ICCSSE 2009: PROCEEDINGS OF 2009 4TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION, 2009, : 880 - 883
  • [3] Verification method for BPMN process model based on workflow patterns
    Cai, Zhang-Li
    Yi, Shu-Ping
    Gao, Qing-Xuan
    Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2010, 16 (08): : 1578 - 1586
  • [4] A workflow verification method based on π calculus
    Zhang, Li
    Xu, Fei
    Yu, Zhiwei
    TASE 2007: FIRST JOINT IEEE/IFIP SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2007, : 188 - +
  • [5] Verification and reduction of cyclic structure in workflow model
    Xiao, ZJ
    Chen, Q
    Huang, QC
    Proceedings of 2005 International Conference on Machine Learning and Cybernetics, Vols 1-9, 2005, : 1487 - 1492
  • [6] The Analysis and Verification of Cooperative Workflow Based Interactive Abstract Graph
    Liu Jian-Xin
    Sun Lin-Lin
    Du Yu-Yue
    Hong Yong-Fa
    PROCEEDINGS OF THE 2012 INTERNATIONAL CONFERENCE ON COMMUNICATION, ELECTRONICS AND AUTOMATION ENGINEERING, 2013, 181 : 779 - +
  • [7] Correctness verification of synchronization based workflow model
    Cai, J
    Zhao, W
    Zhang, SK
    Wang, LF
    ICEBE 2005: IEEE INTERNATIONAL CONFERENCE ON E-BUSINESS ENGINEERING, PROCEEDINGS, 2005, : 527 - 530
  • [8] Workflow Model Verification Based on Matrix Transformation
    Dun, Haiqiang
    Zhao, Wen
    Zhang, Shikun
    Wang, Shikun
    CHINESE JOURNAL OF ELECTRONICS, 2009, 18 (01): : 47 - 53
  • [9] Method of time constraint workflow model analysis and verification
    Wang, Yuan
    Fan, Yu-Shun
    Ruan Jian Xue Bao/Journal of Software, 2007, 18 (09): : 2153 - 2161
  • [10] Access control model based on graph for workflow
    Wei, Yong-He
    Wang, Cheng-En
    Luo, Xiao-Chuan
    Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2009, 15 (05): : 925 - 931
12345