Qualitative Analysis of WorkFlow nets using Linear Logic: Soundness Verification

被引：13
|
作者：
Soares Passos, Ligia Maria [1 ]
Julia, Stephane [1 ]
机构：
[1] Univ Fed Uberlandia, Fac Comp, BR-38400902 Uberlandia, MG, Brazil
来源：
2009 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC 2009), VOLS 1-9 | 2009年
关键词：
Petri net; Linear logic; WorkFlow net; Soundness; PETRI NETS;
D O I：
10.1109/ICSMC.2009.5346601
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper presents a method for the qualitative analysis of WorkFlow nets based on the proof trees of linear logic. The analysis is concerned with the proof of the correctness criterion Soundness defined for WorkFlow nets. To prove the Soundness property, a proof tree of linear logic is built for each different scenario of the WorkFlow net. Based on this approach, a method is proposed to verify in linear time if the WorkFlow net is sound.
引用
收藏
页码：2843 / 2847
页数：5
相关论文
共 50 条
  • [41] Soundness-preserving reduction rules for reset workflow nets
    Wynn, M. T.
    Verbeek, H. M. W.
    van der Aalst, W. M. P.
    ter Hofstede, A. H. M.
    Edmond, D.
    INFORMATION SCIENCES, 2009, 179 (06) : 769 - 790
  • [42] Assessing SMT and CLP approaches for workflow nets verification
    Bride, Hadrien
    Kouchnarenko, Olga
    Peureux, Fabien
    Voiron, Guillaume
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2018, 20 (04) : 467 - 491
  • [43] Modeling and Analysis of Workflow Integration Using Petri Nets
    Yamaguchi, Shingo
    Watanabe, Yuki
    Tanaka, Minoru
    INFORMATION-AN INTERNATIONAL INTERDISCIPLINARY JOURNAL, 2010, 13 (03): : 673 - 680
  • [44] Co-NP-Hardness of the Soundness Problem for Asymmetric-Choice Workflow Nets
    Liu, Guanjun
    Jiang, Changjun
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2015, 45 (08): : 1201 - 1204
  • [45] Verification of workflow nets with transition conditions
    Wang, Zhao-xia
    Wang, Jian-min
    Zhu, Xiao-chen
    Wen, Li-jie
    JOURNAL OF ZHEJIANG UNIVERSITY-SCIENCE C-COMPUTERS & ELECTRONICS, 2012, 13 (07): : 483 - 509
  • [46] PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets
    Liu, Guanjun
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY (PETRI NETS 2020), 2020, 12152 : 196 - 216
  • [47] Discovering workflow nets using integer linear programming
    van Zelst, S. J.
    van Dongen, B. F.
    van der Aalst, W. M. P.
    Verbeek, H. M. W.
    COMPUTING, 2018, 100 (05) : 529 - 556
  • [48] Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair
    Ramezani, Elham
    Sidorova, Natalia
    Stahl, Christian
    FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2013, 2013, 8161 : 150 - 167
  • [49] Resource workflow nets: an approach to workflow modelling and analysis
    Prisecaru, Oana Otilia
    ENTERPRISE INFORMATION SYSTEMS, 2008, 2 (02) : 101 - 124
  • [50] Polynomial Time Verification of Reachability in Sound Extended Free-Choice Workflow Nets
    Yamaguchi, Shingo
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2014, E97A (02) : 468 - 475
12345