Linear logic as a tool for qualitative and quantitative analysis of workow processes
LM Soares Passos, S Julia - International Journal on Artificial …, 2016 - World Scientific
International Journal on Artificial Intelligence Tools, 2016•World Scientific
This article presents a method for qualitative and quantitative analysis of WorkFlow nets
based on the proof trees of Linear Logic. The qualitative analysis is concerned with the proof
of Soundness correctness criterion 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.
The quantitative analysis is concerned with the resource planning for each task of the
workflow process and is based on the computation of symbolic date intervals for task …
based on the proof trees of Linear Logic. The qualitative analysis is concerned with the proof
of Soundness correctness criterion 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.
The quantitative analysis is concerned with the resource planning for each task of the
workflow process and is based on the computation of symbolic date intervals for task …
This article presents a method for qualitative and quantitative analysis of WorkFlow nets based on the proof trees of Linear Logic. The qualitative analysis is concerned with the proof of Soundness correctness criterion 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. The quantitative analysis is concerned with the resource planning for each task of the workflow process and is based on the computation of symbolic date intervals for task execution. In particular, such symbolic date intervals are computed using the proof trees used to prove Soundness property.
World ScientificShowing the best result for this search. See all results