【摘 要】
：
为适应计算环境和用户需求在系统运行期间的变化,满足软件系统进行动态演化的需求,提出面向动态软件体系结构的在线演化方法,设计并实现了一种运行时刻的软件体系结构元模型,
【机 构】
：
计算机软件新技术国家重点实验室（南京大学）,南京大学计算机科学与技术系
【基金项目】
：
国家自然科学基金;国家高技术研究发展计划(863);国家重点基础研究发展规划(973)~~
论文部分内容阅读
为适应计算环境和用户需求在系统运行期间的变化,满足软件系统进行动态演化的需求,提出面向动态软件体系结构的在线演化方法,设计并实现了一种运行时刻的软件体系结构元模型,将原先运行时刻不可见的体系结构设计信息具体化为显式的体系结构实体,并与系统实现及系统规约之间保持因果关联.元模型的演化可通过反射实现对运行系统的修改和对规约的更新,所有演化行为都在良定义的体系结构元模型的指导下规范地进行,保证了演化前后系统的一致性、完整性和演化的可追溯性.基于该方法开发了可视化支撑平台Artemis-ARC系统,支持构件和服务
其他文献
目的：探究甲状腺结节患者应用小切口甲状腺切除术与传统甲状腺切除术的临床疗效。方法：选取本院2014年2月-2015年7月接收的甲状腺结节患者70例作为研究对象,按手术方法不同分为
叙事心理治疗受到后现代影响,持有积极的人性观,基于独特的心理治疗视角,发展出具有叙事心理治疗特色的治疗方式帮助当事人,叙事治疗师开放、积极、平等和合作的治疗态度,与
校园廉洁文化建设是新时期社会主义廉政文化建设的重要组成部分,自中央推进廉洁文化进校园以来,校园廉洁文化建设工作方兴未艾,然而其中也存在一些问题。从执行力的角度,对校
根据太平湾海域实测潮位资料，对该海域的潮汐性质、潮位特征值、理论最低潮面、平均海平面、设计高水位、设计低水位等进行了分析计算。结果表明：太平湾海区的潮汐属不正规半日
随着人们生活水平的提高,人们对动物产品和动物制品的安全也有着越来越高的要求,因此动物检疫业受到了更高的重视.本文主要阐述了动物检疫的几种方法.
通过对宣城市城东区圩区雨水排水工况的分析,提出了自流排水和内河调蓄相结合的城市圩区雨水排放的思路和方法.
抗日战争时期,在中国共产党的领导下,陕甘宁边区的经济建设取得了辉煌的成就。边区政府通过三次货币的发行,与取得了与法币斗争的胜利,稳定了币值,活跃了边区金融。本文通过
研究飞艇囊体和声腔耦合作用下,飞艇囊体膜弹性振动特性。目前,研究飞艇囊体振动行为的主要方法是将囊体内外压差作为预应力施加在囊体上,对囊体进行模态分析,忽视了内部气体
发展中国家的成功经验表明，金融租赁是一种合适的为农村进行融资的方式。在我国，对农村的金融租赁几乎还是空白。本文通过对发展中国家的实践经验进行考察，总结了发展中国家金融
本文在深入研究CCIR推荐的短波频率预测方法的基础上,根据近年来新的理论信息和数据资源,对CCIR推荐方法进行了改进。利用改进后的算法对某一短波通信链路进行了计算,将频率