The Research on Consistency and Isolation Properties of Workflow Transactions

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

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.