文档介绍：基于服务组合的可信软件动态演化机制研究幸曾晋锖A跣穸ǖ随没辰软件学报摘要:软件可信性保障是软件研发的重要问题之一,,,避免复杂的验证过程;使得演化后的组合服务保持结构合理性;第二,在此基础上通过构造冗余路径的方式给出了一个面向可用性保障的组合服务演化方法;第三,针对组合服务动态演化过程中运行实例的处理,设计了一个组合服务演化中运行实例在线迁移算法,为正确实施演化提供支持;最后,设计实现了一个支持动态演化的组合服务执行引擎。并通过实验验证了本文所提出的方法的有效性..//本┖娇蘸教齑笱Ъ扑慊г海本,珺,:,—,猰簔..甤,甌,:曾晋籎,男,辽宁沈阳人,博士研究生,主要研究领域为服务计算,组合服务演化及业务流程管理;孙海龙校┦浚彩Γ饕Q芯苛煊蛭7窦扑愫屯缂扑悖涣跣穸一男,博士,教授,博士生导师,主要研究领域为可信网络计算技术和中间件技术;邓婷,女,博士研究生,主要研究领域为自动服务组合技术和组合服务验证;怀进鹏,男,博士,教授,博士生导师,主要研究领域为计算机软件与理论,网络计算技术,,:甀,..琣甋琽,琣瓼篢;籆发展计划.·
化正确性的准则有很纠,但是对于面向流程的组合服务,一个最重要的正确性准则是保证演化后的组合服务关键词:可信软件;动态演化;组合服务;中图法分类号:文献标识码:随着的广泛应用和网络技术的快速发展,面向服务的软件体系结构魑R恢中滦偷耐缁砑τ媚J揭丫还ひ到绾脱踅绻阄=邮埽乇鹗牵魑J迪諷的重要技术,窦ù蟮赝贫薙在电子商务、金融、,单个的务功能有限,往往难以满足复杂的业务需求,因此服务组合成为网络化软件开发的主要方法。,基于服务组合的网络化软件面临着很多挑战,,软件的可信性⋯是指软件的行为、结果和用户的预期是一致的,其外延包括软件的可用性、可靠性、完整性、、分布自治性和无中心控制,,受到应用需求、软件运行环境以及用户请求的动态变化的影响。网络化软件的功能和非功能属性是动态变化的,例如电子商务应用动态的增加新型的第三方支付服务、网络拥塞导致在线低持葱行式档偷龋鼋鲆揽咳砑7⑵模型分析、软件验证和测试等保障软件可信性的静态方法已经难以适应网络化软件的可信性保障需求。,本文以基于服务组合的可信软件为研究对象。【,本文中的组合服务演化是指组合服务的业务流程结构可以根据应用需求和网络环境变化而进行动态调整,主要表现在其组件服务数目的可变性、,”的研发。旨在以服务计算技术解决环境下软件的设计、生产和运行维护问题,【饕:橇搜莼奔洹⒀。,】。对于一个复杂的业务流程,【¨乇鹗嵌杂谝恍┮G蟪中谙叩淖楹戏竦亩化,,需要给出一种方法,能够最大限度地避免复杂的验证过程,并且保证演化后的组合服务业务流程仍然具有合理性:其次,在保证组合服务演化的正确性基础上,,可信性作为软件的一个综合属性,具体表现为可用性、可靠性和响应时间等【车姆椒ㄊ窃诹鞒探峁谷范ǖ那榭下通过规划方法进行组件服务的选择【远乇U献楹戏竦目尚判裕ゴ恳揽空庵址椒ㄔ谀承┣,在所有组件服务的可用性都很低的情况下,,,可通