Workflows with Passbacks and Incremental Verification of Their Correctness.
Osamu TakakiIzumi TakeutiNoriaki IzumiKôiti HasidaPublished in: IEICE Trans. Inf. Syst. (2012)
Keyphrases
- grid workflow
- incremental learning
- model checking
- business processes
- data processing
- data driven
- formal verification
- verification method
- decision trees
- web services
- concurrent systems
- multi agent systems
- business process
- machine learning
- semantic annotation
- workflow management systems
- face verification
- formal methods
- learning algorithm