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 条

[31] Partial order reduction for checking soundness of time workflow nets
Boucheneb, Hanifa
Barkaoui, Kamel
INFORMATION SCIENCES, 2014, 282 : 261 - 276
[32] Verification of Workflow nets
van der Aalst, WMP
APPLICATION AND THEORY OF PETRI NETS 1997, 1997, 1248 : 407 - 426
[33] Temporal workflow process model and its soundness verification
Yu Y.
Tang Y.
Pan M.-L.
Zheng T.-T.
Mai J.-B.
Ruan Jian Xue Bao/Journal of Software, 2010, 21 (06): : 1233 - 1253
[34] Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible
Sidorova, Natalia
Stahl, Christian
Trcka, Nikola
INFORMATION SYSTEMS, 2011, 36 (07) : 1026 - 1043
[35] 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
[36] Soundness for resource-constrained workflow nets is decidable
Sidorova, Natalia
Stahl, Christian
IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2013, 43 (03) : 724 - 729
[37] Using Linear Logic to Verify Requirement Scenarios in SOA Models based on Interorganizational WorkFlow Nets Relaxed Sound
de Oliveira, Kenia Santos
de Oliveira, Vinicius Ferreira
Julia, Stephane
ICEIS: PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS - VOL 2, 2017, : 254 - 262
[38] The Biconnected Verification of Workflow Nets
Polyvyanyy, Artem
Weidlich, Matthias
Weske, Mathias
ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2010, PT I, 2010, 6426 : 410 - 418
[39] Component Composition using Linear Logic and Petri Nets
Demeterova, Emilia
Mihalyi, Daniel
Novitzka, Valerie
2015 IEEE 13th International Scientific Conference on Informatics, 2015, : 85 - 90
[40] Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations
Blondin, Michael
Mazowiecki, Filip
Offtermatt, Philip
COMPUTER AIDED VERIFICATION (CAV 2022), PT II, 2022, 13372 : 468 - 489

← 1 2 3 4 5 →