论文部分内容阅读
事务处理是保障服务协作可靠性的关键技术,由多个具备事务特性的服务通过交互和协作复合而成的服务称为事务性复合服务(transactional composite service,TCS).为保证TCS执行的松弛原子性,现有的研究主要依靠对TCS语法结构的分析,但语法结构反映不出特定的应用语义信息,从而对服务事务能力要求过高,导致了很多不必要的失败恢复甚至放弃.给出了一个基于应用语义的网构软件松弛事务模型,包括系统模型、松弛原子性、松弛原子性可满足检查算法、执行保障算法.用户可以根据应用语义,为TCS赋予特定的松弛原子性约束ε,包括TCS合理结束配置,以及对各个合理结束配置的倾向性顺序.ε-松弛原子性可满足检查算法可以确保TCS执行满足指定的ε-松弛原子性.执行保障算法根据ε约束监控TCS的执行,主动进行重试、补偿等操作,将松弛原子性的规约与保障抽象到系统层次进行,分离了关注点.
Transaction processing is the key technology to ensure the reliability of service collaboration. The service composed of multiple services with transactional features through interaction and collaboration is called transactional composite service (TCS) However, the existing research mainly relies on the analysis of the TCS grammatical structure, but the grammatical structure does not reflect the specific application semantic information, thus demanding the service transaction capability, resulting in a lot of unnecessary failure recovery or even abandonment. Based on the application semantics, a relaxed slack transaction model of network software, including system model, relaxation of atomicity and relaxation of atomicity, can satisfy the checking algorithm and enforce the security algorithm.Users can assign TCS with a specific relaxation atomicity ε according to the application semantics, including TCS ends the configuration reasonably and proves the plausibility of each reasonable end configuration.ε-relaxation atomicity satisfies the checking algorithm to ensure that the TCS implementation satisfies the specified ε-relaxation atomicity.The implementation guarantee algorithm monitors the execution of the TCS according to the ε-constraint, Retry, compensation and other operations, the relaxation of atomic rules and safeguards abstraction to the system level OK, separation of concerns.