Loading [MathJax]/extensions/TeX/euler_ieee.js
Qualitative analysis of WorkFlow nets using linear logic: Soundness verification | IEEE Conference Publication | IEEE Xplore

Qualitative analysis of WorkFlow nets using linear logic: Soundness verification


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 corre...Show More

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.
Date of Conference: 11-14 October 2009
Date Added to IEEE Xplore: 04 December 2009
ISBN Information:
Print ISSN: 1062-922X
Conference Location: San Antonio, TX, USA

References

References is not available for this document.