soa等级化服替换理论与机制.pdf

摘要 面向服务的体系结构SOA(Service-Oriented 件架构，在学术研究及企业实践中得到了日益广泛的关注，已成为新兴商业应用 大量功能相同或相近的服务。借助SOA架构松耦合特性，服务替换得以进行。 服务替换是指，在一个服务组合应用的上下文环境中，以新服务替换应用中 某个成员服务，并保留系统原有的某些属性。服务替换理论及机制为SOA软件 容错、持续演进支持、运行性能提高和可生存性增强等方面提供了核心技术支 撑，已成为一个科学问题。 大量服务不断地涌现，造就了Intemet上数量丰富、功能相同或相似、交叉 或重叠的可用服务集合。为合理、有效地使用这些服务，有必要在功能上对它们 进行分类和管理，建立基于功能强弱的等级化组织；对同一功能下的服务，按照 非功能属性加以分类和管理，满足差异性的消费模式。这种等级化的服务选择、 替换与管理是传统软件理论，甚至现今的服务计算理论所无法涵盖的，缺乏相应 的原则、方法和技术。 本论文关注SOA等级化服务替换理论及机制，在以下方面展开研究： 首先，等级化服务替换的首要问题是如何衡量等级化服务替换的正确与否。 服务相容性，被认为是正确服务替换的标准。然而，没有一个统一、严格的服务 相容性概念。本论文研究采用进程代数(7r一演算)描述服务契约，对服务