摘要
事务处理是保障服务协作可靠性的关键技术,由多个具备事务特性的服务通过交互和协作复合而成的服务称为事务性复合服务(transactional composite service,TCS).为保证TCS执行的松弛原子性,现有的研究主要依靠对TCS语法结构的分析,但语法结构反映不出特定的应用语义信息,从而对服务事务能力要求过高,导致了很多不必要的失败恢复甚至放弃.给出了一个基于应用语义的网构软件松弛事务模型,包括系统模型、松弛原子性、松弛原子性可满足检查算法、执行保障算法.用户可以根据应用语义,为TCS赋予特定的松弛原子性约束ε,包括TCS合理结束配置,以及对各个合理结束配置的倾向性顺序.ε-松弛原子性可满足检查算法可以确保TCS执行满足指定的ε-松弛原子性.执行保障算法根据ε约束监控TCS的执行,主动进行重试、补偿等操作,将松弛原子性的规约与保障抽象到系统层次进行,分离了关注点.
出处
《中国科学(E辑)》
CSCD
北大核心
2006年第10期1170-1188,共19页
Science in China(Series E)
基金
国家重点基础研究发展计划(批准号:2002CB312005)
国家自然科学基金(批准号:60573126)资助项目