Keyphrases
- verification method
- model checking
- temporal logic
- workflow management systems
- data flow
- scientific workflows
- business process
- workflow systems
- web services
- document management
- workflow management
- algebraic structure
- workflow execution
- machine learning
- workflow engine
- computer algebra
- automated deduction
- automated theorem proving
- formal language
- belief revision
- first order logic
- genetic algorithm