Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties.
Germán RegisFernando VillarNicolás RicciPublished in: LAFM (2013)
Keyphrases
- workflow management systems
- business processes
- business process
- workflow management
- desirable properties
- document management
- workflow systems
- workflow execution
- web services
- exception handling
- data flow
- asynchronous circuits
- scientific workflows
- formal language
- control flow
- workflow models
- neural network
- loosely coupled
- model checking
- information systems