COO-transactions: Supporting cooperative work | Zendy

Pascal Molli | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

COO-transactions: Supporting cooperative work

Author(s) -

Pascal Molli

Publication year - 1997

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

ISBN - 3-540-63014-7

DOI - 10.1007/3-540-63014-7_10

Subject(s) - serializability , two phase locking , computer science , correctness , consistency (knowledge bases) , protocol (science) , distributed computing , schedule , context (archaeology) , database transaction , synchronization (alternating current) , property (philosophy) , transaction processing , database , distributed transaction , computer network , operating system , programming language , artificial intelligence , philosophy , epistemology , medicine , paleontology , channel (broadcasting) , alternative medicine , pathology , biology

. In COO, cooperation is a problem of synchronization among development activities running in parallel. We propose to encapsulate de-velopment activities within COO-transactions to ensure general proper-ties on their concurrent execution. We have developed a new correctness criterion called COO-serializability which ensures consistency property in a cooperative context. COO-serializability is purely syntactic criterion based on the log analysis of repository access. In this paper, we describe COO-serializability foundation and how to evaluate it incrementally us-ing the COO-protocol. Finally, we describe how we have implemented the COO-protocol in the COO environment.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research