| 摘要: |
| 提出了一个 CSCW领域中的高级事务处理模型—柔性协同事务模型 FCTM(flexible cooperativetransaction model) .首先给出了协同事务的定义 ,并描述了协同事务的状态 ,然后从协同事务的状态角度刻画协同事务之间、协同事务与外部环境之间的复杂依赖关系 ,最后用协同事务的状态依赖描述了可串行化正确性准则 .FCTM的优点在于用户能够根据不同的 CSCW应用领域的需求 ,灵活地定义协同事务的状态和状态依赖. |
| 关键词: CSCW 事务处理 依赖关系 可串行化正确性准则 |
| DOI： |
| 分类号: |
| 基金项目:This research is supported by the National Natural Science Foundation of China(国家自然科学基金). |
|
| Flexible Cooperative Transaction Model |
|
MO Qian,LI Zi mu,TAN Yu song,ZHOU Xing ming
|
| Abstract: |
| An advanced transaction model for CSCW applications—FCFM (flexible cooperative transaction model) is presented in this paper. Firstly, the definition of cooperative transactions is given and the states of them are specified. Secondly, the dependencies among cooperative transactions and those between cooperative transactions and outside environments are specified in terms of states of cooperative transactions. Finally, the serializability correctness criterion for the presented model is specified by state dependencies of cooperative transactions.The main advantage of FCTM is that users can customize the states and state dependencies of cooperative transactions to reflect the different requirements of CSCW applications. |
| Key words: CSCW transaction processing dependency serializability correctness criterion |
