论文部分内容阅读
以基于服务组合的可信软件为研究对象，重点研究通过组合服务的动态演化机制保障网络化软件的可信性．首先，提出了一个合理性保持的演化操作集，避免复杂的验证过程，使得演化后的组合服务保持结构合理性；在此基础上，通过构造冗余路径的方式给出了一个面向可用性保障的组合服务演化方法；然后，针对组合服务动态演化过程中运行实例的处理，设计了一个组合服务演化中运行实例在线迁移算法，为正确实施演化提供支持；最后，设计实现了一个支持动态演化的组合服务执行引擎，并通过实验验证了所提出方法的有效性．