中文摘要：

目前，服务计算的应用模式以及服务组合技术，逐渐成为开放网络环境下的一个重要计算模式与技术框架。虽然现有的静态服务组合技术，能够对后续的服务协同进行有效的规划，但是，在服务质量与服务调用不稳定的动态应用环境下，尤其是在一个多用户协同事务的动态执行过程中，经常会发生"最优服务+最优服务≠最优组合"的意外情况。为保证多用户协同事务的可信执行，本课题重点研究支持可信协同的动态服务组合关键理论与技术，即支持多用户可信协同的动态服务组合成员选择策略、动态服务组合环境下跨域协同的上下文关联逻辑以及全局动态服务协同的可信性能综合评价体系及可信协同保障机制。项目选题立足于为动态服务组合的可信执行提供核心驱动技术，进而为开发高可信服务支撑软件提供有效的理论参考与技术手段。预期研究成果将会对基于SOC/SOA的软件方法学研究、敏捷软件开发、可信计算应用、科学工作流系统等研究领域，产生重要的学术参考价值。

结论摘要：

Web环境下基于SOC/SOA(Service-Oriented Computing/Service-Oriented Architecture)的服务组合应用，较好的适应了开放网络环境下可重构系统及虚拟组织在技术集成于资源共享方面的需求。但Web环境下的服务资源数量多、分布广、服务质量及可信度参差不齐，加之网络应用环境以及服务自身在通信与交互方面的不稳定性，都会给组合方案的执行带来一定的不确定性，直接影响服务组合方案执行的可行性与可信性。针对这些挑战，本项目首先从系统建模和方案执行的角度，制定切实可行的服务组合方案；进而，从可信计算的角度，对服务组合方案执行的容错性、可用性、可执行性和鲁棒性等性能指标进行验证和评估。项目取得的一系列研究及应用成果对基于SOC/SOA 的软件方法学研究、敏捷软件开发、可信计算应用、科学工作流系统以及新的软件方法学研究等方面具有较好的学术参考价值和实用价值。