Soundness and Niceness as Correctness Criteria for Grid Workflows.

Nikola Trcka Natalia Sidorova Wil M. P. van der Aalst

Published in: eScience (2008)

Keyphrases

correctness criteria
correctness criterion
advanced database systems
concurrency control
grid computing
transaction model
update propagation
business processes
web services
databases
business process
workflow management systems
concurrency control protocols
replicated databases
fine grained
multidatabase systems