文档介绍：万方数据
网络软件动态演化的元胞自动机模型研究连续反应式、多目标适应的新系统形态⋯,实现了以构件为粒度的软件演化。文献馓用了一种利于约束检查和属性刻画的属缛砑莼侍喙匮芯加、替换、迁移,连接件的建立、删除、重定向,以及构件属性设置等演化过程。文献㈣提出的演算、构件运算、接口模型等形式化方法摘要:。。研究结果表明该模型能较好地模拟网络软件演化现象,对于问降姆窦嗫亍⑻婊灰约拔ぶ匾7竦裙ぷ骶哂兄傅家庖濉关键词:元胞自动机;网络软件;动态演化;瘢环窦嗫中图分类号:瓽.,琒,,琷;面向服务的可计算资源狾,楹隙傻摹巴缂扑慊背晌O乱淮植际郊扑愫腿砑开发的研究热点。其将分布在不同网络节点的构件有机地组成一个全新的复杂软件系统。使得开发、部署、运行和维护的环境开始从封闭、静态、可控逐步走向开放、动态、难控。面临问题域和解空间的不停变迁,尤其是运行时周围环境和构件内部的突发和紧急的事件,网络软件系统需进行整体或局部的动态演化。网络技术的迅猛发展,出现了如网格、普适计算、纫酝缥T靥宓男录际酰谡庵挚7拧⒍⒍啾涞男乱淮砑诵谢肪下,要求软件逐步向跨网络的互联、互通、协同和联盟来构建应用集成,即实现从信息絊目缭剑⒛芄桓萃环境的变化和业务需求动态适应的新型应用图景;特别是服务计算技术的兴起与不断应用,软件系统开始呈现出一种柔性可演化、传统的软件开发流程基于自顶向下的方式,即程序员先选择问题场景,接着对其问题进行分解,实施分而治之的策略,使整个系统开发过程处于有序控制之下。而网络软件在开放、动态、多变的网络环境平台下。其无统一控制的“真”,节点链接的开放性和动态性等特征,其开发过程是将这些丰富的基础软件资源从“无序”状态组合成为“有序”的软件系统;随着网络环境的变迁和时间的推移,这些系统和资源在功能、非功能性、数量、质量上的变化导致它们再次呈现出“无序”的状态。因此,这种由“无序”到“有序”的变迁过程循环往复的自组织形式,呈现出一种自底向上、由内向外的螺旋方式的动态变迁演化。动态演化作为网络软件的基本特性,其研究重点是如何预测其发生故障和演化的趋势,发掘至关重要的和需监控并维护的失效构件,以及对安全的可替换的备份构件的识别等问题日益重要和急迫,尤其是为生命攸关猄的软件提供保障,确保软件的可靠性等研究备受关注。:文献岢龅幕谌砑逑到峁筍难芯亢褪导酉低车慕峁购徒换バ形=嵌龋故驹谠诵衅诩浣型绻辜纳境⑻描述软件的约束和验证功能性一致性。行为一致性研究动态演化。文献猻钻合规范的孛句件运行支撵平台为例讨论了该方案的性图文法。对属性图文法系统耐夹谓馕銎鹘卸ㄖ坪透慕幕∩希杓撇⑹迪至颂逑到峁棺远觳槠鳌N南揍俊中实现了一个基于深度优先算法的体系结构检查器拖低常约癢确椒ā作者简介:吴彦。男,浙江绍兴人,助教,主要研究方向为网络安全、数字化医疗仪器;高洪皓,上海大学计算机工程与科学学院,博士研究生在读。··啊络矗讯及安全····