Correctness of Workflow in the Presence of Concurrency.
Ismailcem Budak ArpinarSena Nural ArpinarUgur HaliciAsuman DogacPublished in: NGITS (1997)
Keyphrases
- data flow
- workflow management systems
- concurrent execution
- real time
- database
- feature selection
- control flow
- databases
- neural network
- information systems
- web services
- workflow specification
- provably correct
- document management
- transaction processing
- business processes
- database systems
- case study
- information retrieval
- data mining