The Research on Consistency and Isolation Properties of Workflow Transactions

工作流事务的一致性和隔离性研究

• 批准号: 15500079
• 负责人: XU Haiyan
• 金额: $ 1.86万
• 依托单位: Fukuoka Institute of Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2003
• 资助国家: 日本
• 起止时间: 2003 至 2005
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-15500079/
• 关键词: Database; Web service; Workflow; Transaction; Consistency; Isolation; Concurrent execution; Concurrency Control; 記述法; 入出力条件; すくみ

The summary of research results of this research is divided into the following three parts :1.For workflow transactions, the consistency units of output data are transactions while their consistency units of input data are activities, we separate the isolation for input and output data respectively. The mechanisms for the both isolation are developed by using the input and output conditions, i.e., the application semantics.2.For tight coupling composite web service transactions, we discuss its isolation property from the following three sides : (1)data dependency between data to be operated, b)consistency of input data and output data, c)the operations of composite web services. We proposed a correctness criterion to guarantee the correctness of Web service transactions and show it is more generous than the conventional serializablity criterion. We also showed the method of extending it to loose coupling composite web service transactions.3.We discuss the framework of using Web Service technology to loosely couple e-Learning BBS systems and show the implementation methods of both server systems and client systems.

本文的研究成果主要分为以下三个部分：1.对于工作流事务，输出数据的一致性单位是事务，输入数据的一致性单位是活动，我们分别对输入和输出数据进行隔离。通过使用输入和输出条件，即，2.对于紧耦合的组合Web服务事务，从以下三个方面讨论了其隔离性：（1）待操作数据之间的数据依赖性，（B）输入数据和输出数据的一致性，（3）组合Web服务的操作。我们提出了一个正确性准则来保证Web服务事务的正确性，并表明它比传统的可串行性准则更慷慨。讨论了利用Web Service技术实现松耦合网络教学BBS系统的框架，给出了服务器端和客户端的实现方法。

项目成果

並行ワークフローにおけるデータの従属性

并行工作流程中的数据依赖性

• 发表时间: 2005
• 期刊: 信学技報 vol.105, no.117
• 作者: 徐 海燕;古川哲也;史 一華
• 通讯作者: 史 一華

Specification of Workflows for concurrent Executions.

并发执行的工作流程规范。

• 发表时间: 2004
• 期刊: DBSJ Letters Vol.2,No.14
• 作者: H.Xu;T.Furukawa
• 通讯作者: T.Furukawa

Isolation Property of Web Service Composition Transactions

Web 服务组合事务的隔离属性

• 发表时间: 2005
• 期刊: DBSJ Letters Vol.4,No.1
• 作者: H.Xu;T.Furukawa;Y.Shi
• 通讯作者: Y.Shi

Webサービスによるe-Learningステム間のBBS連携

使用网络服务的电子学习系统之间的 BBS 协调

• 发表时间: 2006
• 期刊: 信学技報 ET2005-91
• 作者: 史 一華;小柳 健;徐海燕
• 通讯作者: 徐海燕

Webサービスにおけるトランザクションの隔離性

Web 服务中的事务隔离

• 发表时间: 2005
• 期刊: 日本データベース学会Letters Vol.4,No.1
• 作者: 徐 海燕;古川哲也;史 一華
• 通讯作者: 史 一華