基于应用语义的网构软件松弛事务模型研究 |
| |
引用本文: | 黄涛,丁晓宁,魏峻.基于应用语义的网构软件松弛事务模型研究[J].中国科学(E辑),2006,36(10):1170-1188. |
| |
作者姓名: | 黄涛 丁晓宁 魏峻 |
| |
作者单位: | 1. 中国科学院软件研究所软件工程技术研究中心,北京 100080;中国科学院软件研究所计算机科学重点实验室,北京 100080 2. 中国科学院软件研究所软件工程技术研究中心,北京 100080;中国科学院研究生院,北京 100039 3. 中国科学院软件研究所软件工程技术研究中心,北京 100080 |
| |
基金项目: | 国家重点基础研究发展计划(973计划);国家自然科学基金 |
| |
摘 要: | 事务处理是保障服务协作可靠性的关键技术,由多个具备事务特性的服务通过交互和协作复合而成的服务称为事务性复合服务(transactional composite service,TCS).为保证TCS执行的松弛原子性,现有的研究主要依靠对TCS语法结构的分析,但语法结构反映不出特定的应用语义信息,从而对服务事务能力要求过高,导致了很多不必要的失败恢复甚至放弃.给出了一个基于应用语义的网构软件松弛事务模型,包括系统模型、松弛原子性、松弛原子性可满足检查算法、执行保障算法.用户可以根据应用语义,为TCS赋予特定的松弛原子性约束ε,包括TCS合理结束配置,以及对各个合理结束配置的倾向性顺序.ε-松弛原子性可满足检查算法可以确保TCS执行满足指定的ε-松弛原子性.执行保障算法根据酌束监控TCS的执行,主动进行重试、补偿等操作,将松弛原子性的规约与保障抽象到系统层次进行,分离了关注点.
|
关 键 词: | 网构软件 服务复合 松弛原子性 松弛事务模型 |
收稿时间: | 2006-04-15 |
修稿时间: | 2006-04-152006-06-21 |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
|