论文部分内容阅读
服务作为面向服务架构中的基本组成元素往往分布在局域网络甚至是广域网络的异构平台中，如何在开放、动态、难控的网络环境中充分保证系统的可靠性成为亟待解决的重要问题．构造具有容错能力的可信服务是一种较为可行的策略，即在服务构件接口模型的基础上，选用行为一致的候选构件动态置换出错构件．提出了服务构件间的可置换性定义、相关定理，保证了契约一致的候选构件与原构件是可组合的，最后通过订单和仓库管理系统实例讨论了该策略的可行性．