Qualitative Analysis of Interorganizational WorkFlow Nets Using Linear Logic: Soundness Verification.
Lígia Maria Soares PassosStéphane JuliaPublished in: ICTAI (2013)
Keyphrases
- qualitative analysis
- linear logic
- quantitative analysis
- business process
- content analysis
- fixed point
- business processes
- logic programming
- cut elimination
- sequent calculus
- proof theoretic
- logical framework
- fault tree
- workflow management systems
- intuitionistic logic
- model checking
- desirable properties
- formal verification
- machine learning
- logic programs
- general purpose
- similarity measure