On correctness criteria for workflow.
Belinda M. CarterMaria E. OrlowskaPublished in: ICEIS (1) (2007)
Keyphrases
- correctness criteria
- advanced database systems
- concurrency control
- correctness criterion
- transaction model
- workflow management systems
- update propagation
- concurrency control protocols
- database management systems
- business processes
- virtual enterprise
- data replication
- transaction management
- databases
- deductive databases
- management system
- web services