DocumentCode
2576712
Title
Qualitative analysis of WorkFlow nets using linear logic: Soundness verification
Author
Passos, Lígia Maria Soares ; Julia, Stéphane
Author_Institution
Fac. de Comput., Univ. Fed. de Uberlandia, Uberlandia, Brazil
fYear
2009
fDate
11-14 Oct. 2009
Firstpage
2843
Lastpage
2847
Abstract
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.
Keywords
Petri nets; formal logic; workflow management software; Petri net; linear logic; proof tree; qualitative analysis; soundness verification; workflow net; Asynchronous communication; Cybernetics; Logic; Performance analysis; Petri nets; Polynomials; Real time systems; Time factors; USA Councils; Workflow management software; Linear logic; Petri net; Soundness; WorkFlow net;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man and Cybernetics, 2009. SMC 2009. IEEE International Conference on
Conference_Location
San Antonio, TX
ISSN
1062-922X
Print_ISBN
978-1-4244-2793-2
Electronic_ISBN
1062-922X
Type
conf
DOI
10.1109/ICSMC.2009.5346601
Filename
5346601
Link To Document