Workflow Nets Soundness
Mostrando 1-1 de 1 artigos, teses e dissertações.
-
1. Formalização de workflow nets utilizando lógica linear: análise qualitativa e quantitativa
This work presents a method for qualitative and quantitative analysis of WorkFlow nets based on the proof trees of linear logic, and an approach for the verification of workflow specifications in UML through the transformation of UML Activity Diagrams into WorkFlow nets. The qualitative analysis is concerned with the proof of soundness correctness criterion
Publicado em: 2009