基于应用语义的网构软件松弛事务模型研究.PDFVIP

1170 中国科学 E 辑 信息科学 2006, 36(10): 1170~1188 * 黄 涛1,2** 丁晓宁1,3 魏 峻1 ( 中国科学院软件研究所 1. 软件工程技术研究中心; 2. 计算机科学重点实验室, 北京 100080; 3. 中国科学 院研究生院, 北京 100039) 摘要 事务处理是保障服务协作可靠性的关键技术, 由多个具备事务特性的 服务通过交互和协作复合而成的服务称为事务性复合服务(transactional composite service, TCS). 为保证TCS 执行的松弛原子性, 现有的研究主要依靠对 TCS 语法结构的分析, 但语法结构反映不出特定的应用语义信息, 从而对服务事 务能力要求过高, 导致了很多不必要的失败恢复甚至放弃. 给出了一个基于应用 语义的网构软件松弛事务模型, 包括系统模型、松弛原子性、松弛原子性可满足 检查算法、执行保障算法. 用户可以根据应用语义, 为TCS 赋予特定的松弛原子 性约束ε, 包括TCS 合理结束配置, 以及对各个合理结束配置的倾向性顺序. ε-松 弛原子性可满足检查算法可以确保TCS 执行满足指定的ε-松弛原子性. 执行保障 算法根据ε约束监控 TCS 的执行, 主动进行重试、补偿等操作, 将松弛原子性的 规约与保障抽象到系统层次进行, 分离了关注点. 关键词 网构软件 服务复合 松弛原子性 松弛事务模型 网构软件(Internetware)[1,2]是适应Internet开放、动态和多变计算环境的一种软 件形态, 各种异构、自治软件服务实体通过可靠的交互和协作形成网构软件应用. 事务处理是保障软件服务协作可靠性的关键技术, 它用于保证多个服务的交互 和协作获得正确、一致的执行结果. 多个具备事务特性的服务通过交互和协作复 合而成的服务, 称为事务性复合服务(transactional composite service, TCS). 服务的事务能力可以用可重试(retriable)和可补偿(compensable)这两个属性 收稿日期: 2006-04-15; 接受日期: 2006-06-21 * 国家重点基础研究发展计划(批准号: 2002CB312005)和国家自然科学基金(批准号:资助项 目 ** E-mail: tao@ SCIENCE IN CHINA Ser. E Information Sciences 第 10 期 黄 涛等: 基于应用语义的网构软件松弛事务模型研究 1171 来刻画 [3]. 其中, 可重试指该服务经过有限次重复调用后最终可以成功; 可补偿 指该服务支持补偿操作, 可以完全消除执行效果. 由于网构软件环境的异构性, TCS 的各个服务可能基于不同的平台实现, 遵循不同的事务规范, 具备不同的事 务能力; 同时复合的结构可能很复杂, 包含多种控制结构的组合, 如顺序、循环、 并发、选择等. 原子事务模型 [4] 的“全有或全没有” 的原子性(atomicity)过于严格, 无法适用于这种环境, 目前方法是通过松弛