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 条
  • [1] Qualitative Analysis of Interorganizational WorkFlow nets using Linear Logic: Soundness Verification
    Soares Passos, Ligia Maria
    Julia, Stephane
    2013 IEEE 25TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI), 2013, : 667 - 673
  • [2] Classical workflow nets and workflow nets with reset arcs: using Lyapunov stability for soundness verification
    Clempner, Julio B.
    JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, 2017, 29 (01) : 43 - 57
  • [3] Linear Logic as a Tool for Weak Soundness Verification for Interorganizational Workflow Processes
    Soares Passos, Ligia Maria
    Julia, Stephane
    2016 IEEE 28TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2016), 2016, : 514 - 521
  • [4] Reduction of Workflow Nets for Generalised Soundness Verification
    Bride, Hadrien
    Kouchnarenko, Olga
    Peureux, Fabien
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2017, 2017, 10145 : 91 - 111
  • [5] Structural soundness of workflow nets is decidable
    Tiplea, FL
    Marinescu, DC
    INFORMATION PROCESSING LETTERS, 2005, 96 (02) : 54 - 58
  • [6] Soundness of workflow nets: classification, decidability, and analysis
    van der Aalst, W. M. P.
    van Hee, K. M.
    ter Hofstede, A. H. M.
    Sidorova, N.
    Verbeek, H. M. W.
    Voorhoeve, M.
    Wynn, M. T.
    FORMAL ASPECTS OF COMPUTING, 2011, 23 (03) : 333 - 363
  • [7] Soundness of reset workflow nets
    Blondin, Michael
    Finkel, Alain
    Hofman, Piotr
    Mazowiecki, Filip
    Offtermatt, Philip
    PROCEEDINGS OF THE 39TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS 2024, 2024,
  • [8] Workflow Nets With Tables and Their Soundness
    Tao, Xiaoyan
    Liu, Guanjun
    Yang, Bo
    Yan, Chungang
    Jiang, Changjun
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2020, 16 (03) : 1503 - 1515
  • [9] On the Complexity of Deciding Soundness of Acyclic Workflow Nets
    Tiplea, Ferucio Laurentiu
    Bocaneala, Corina
    Chirosca, Raluca
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2015, 45 (09): : 1292 - 1298
  • [10] Soundness of Workflow Nets with Reset Arcs
    van der Aalst, Wil M. P.
    van Hee, Kees M.
    ter Hofstede, Arthur H. M.
    Sidorova, Natalia
    Verbeek, H. M. W.
    Voorhoeve, Marc
    Wynn, Moe T.
    TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY III, 2009, 5800 : 50 - +
12345