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