基于服务组合的可信软件动态演化机制研究
软件可信性保障是软件研发的重要问题之一，特别是网络环境的动态性和应用需求的多样性使得软件可信性问题成为网络化软件面临的重要挑战．本文以基于服务组合的可信软件为研究对象，重点研究通过组合服务的动态演化机制保障网络化软件的可信性．首先提出了一个合理性保持的演化操作集，避免复杂的验证过程；使得演化后的组合服务保持结构合理性；第二，在此基础上通过构造冗余路径的方式给出了一个面向可用性保障的组合服务演化方法；第三，针对组合服务动态演化过程中运行实例的处理，设计了一个组合服务演化中运行实例在线迁移算法，为正确实施演化提供支持；最后，设计实现了一个支持动态演化的组合服务执行引擎，并通过实验验证了本文所提出的方法的有效性．
可信软件 动态演化 组合服务 Web服务
曾晋 孙海龙 刘旭东 邓婷 怀进鹏
北京航空航天大学计算机学院，北京 100191
国内会议
沈阳
中文
113-127
2009-09-22（万方平台首次上网日期，不代表论文的发表时间）