COO-serializability\,: A Correctness Criterion for Cooperative Executions Export

@techreport{molli97a, abstract = {COO-Serializability (COO-SR) is a weaker form of correctness than serializability that allows transactions to cooperate by exchanging data during their execution. Potential benefits of COO-SR include the extension of transactional approach to new advanced applications like design environments or workflow management. The principle of COO-SR is to prove the correctness of an execution on a subset of this execution history\,: under some hypothesis, serializability of this sub-history is sufficient to prove the correctness of the entire execution. This paper describes this correctness criterion and a corresponding protocol implemented in the context of a design frameworks.}, author = {Molli, Pascal and Munier, Manuel and Canals, G{\'e}r{\^o}me and Charoy, Fran\c{c}ois and Godart, Claude}, citeulike-article-id = {687963}, keywords = {acta, bibtex-import, concurrency, control, cooperative, correctness, criterion, execution}, posted-at = {2006-06-07 07:51:31}, priority = {2}, title = {COO-serializability\,: A Correctness Criterion for Cooperative Executions}, type = {Rapport de recherche}, year = {1997} }

TY - RPRT ID - molli97a L3 - citeulike-article-id:687963 N2 - COO-Serializability (COO-SR) is a weaker form of correctness than serializability that allows transactions to cooperate by exchanging data during their execution. Potential benefits of COO-SR include the extension of transactional approach to new advanced applications like design environments or workflow management. The principle of COO-SR is to prove the correctness of an execution on a subset of this execution history\,: under some hypothesis, serializability of this sub-history is sufficient to prove the correctness of the entire execution. This paper describes this correctness criterion and a corresponding protocol implemented in the context of a design frameworks. TI - COO-serializability\,: A Correctness Criterion for Cooperative Executions KW - acta KW - bibtex-import KW - concurrency KW - control KW - cooperative KW - correctness KW - criterion KW - execution AU - Molli, Pascal AU - Munier, Manuel AU - Canals, G{\'e}r{\^o}me AU - Charoy, Fran\c{c}ois AU - Godart, Claude PY - 1997/// ER -