【摘 要】
：
运行在网络环境下的软件在自适应过程中,需要集成多种分析方法来进行分析、规划和决策.由于自适应的决策程序或者设计人员以SA(software architecture)模型作为解析和理解分
【机 构】
：
北京大学信息科学技术学院软件研究所,高可信软件技术教育部重点实验室（北京大学）
【基金项目】
：
国家重点基础研究发展计划(973)(2009CB320703);国家创新研究群体科学基金(60821003)
论文部分内容阅读
运行在网络环境下的软件在自适应过程中,需要集成多种分析方法来进行分析、规划和决策.由于自适应的决策程序或者设计人员以SA(software architecture)模型作为解析和理解分析结果的上下文,这使得分析结果与SA模型的集成尤为重要.但是,现有的分析方法集成框架多关注于提供输入、执行分析、从而得到分析结果的过程,对分析结果的集成关注不够.针对分析结果与SA模型集成中元模型、模型和视图3个层次的挑战,提出一种软件体系结构分析结果集成框架.框架使用MOF(meta-object facility)元建模技术提供ADL(architectural descriptionlanguage)的扩展机制;使用自动生成模型转换实现SA模型与分析结果的合成;使用代码生成技术扩展建模工具为扩展后的ADL提供模型视图.最后以3种分析方法——两种可靠性评估方法和容错风格的规划方法为例,使用集成框架将其加以集成并应用于Ecperf系统的SA模型的分析中,从而展示集成框架的可行性和有效性.
其他文献
目的:探讨心肌干细胞(CSC)体外分离、培养和纯化方法,以建立重复性好、稳定性高的CSC培养的方法。方法:用不同的消化方法来分C57BL小鼠心脏组织中的细胞,将获得的细胞置于自
扎迪·史密斯的《白牙》中牙齿的意象贯穿始终。在小说中,牙齿所代表的是第一、二代移民的民族文化和民族传统,是他们民族性的象征。但是对于英国的移民来说,寻求自己的民族
三维荧光的荧光光谱分析技术解决了钻井液添加剂、芳烃化合物的问题，改进了传统的荧光录井技术的局限性。芳烃化合物是原油、烃源岩、油田水有机组分中的重要组成部分。通过对
以正安野木瓜为主要原料,在单因素实验的基础上,对野木瓜酵素工艺进行4因素3水平的响应面实验设计,并结合模糊数学综合评判对野木瓜酵素进行感官评价,以确定野木瓜酵素的最佳
针对海上NHX油田3口回注井水质差，注水压力升高、注水量下降的情况，结合地质油藏特征分析其储层伤害原因，构建了复合解堵药剂体系（ZSJ-Y和ZSJ-W）。该药剂体系具有适用性强、腐蚀速
川东地区长兴组生物礁为四川盆地海相碳酸盐岩主要含气层,生物礁有利相带预测技术的研究对生物礁储层的勘探生产有重要的指导意义。通过对川东地区长兴组生物礁有利相带预测
由我和吴晓毅担纲主演、深圳市粤剧团创排的新版现代粤剧《雷雨》,在第九届全国戏剧文化奖优秀剧目调演中获得十余项大奖,其中我和吴晓毅有幸获得表演大奖。创作于20世纪三十
书面作业仍然是学生家庭作业的基本形式.本文针对书面作业的特点,与文字识别技术和自然语言处理技术相结合,提出了家庭作业智能批阅系统设计框架.家庭作业智能批阅系统的设计
日前,国家能源局以“国能新能〔2012〕310号文件”的形式,下发了《风电场工程竣工验收管理暂行办法》和《风电场项目后评价管理暂行办法》,以规范风电项目建设,保证风电场工