【摘 要】
:
运行时体系结构是系统运行时刻的一个动态、结构化的抽象,描述系统当前的组成成分、各成分的状态和配置以及不同成分之间的关系.运行时体系结构与目标系统间具有动态的因果关
【机 构】
:
高可信软件技术教育部重点实验室(北京大学); 北京大学信息科学技术学院;
【基金项目】
:
国家自然科学基金(60933003,91118004,61222203);国家重点基础研究发展计划(973)(2009CB320703);国家高技术研究发展计划(863)(2012AA011207);新世纪优秀人才支持计划(NCET-09-0178)
论文部分内容阅读
运行时体系结构是系统运行时刻的一个动态、结构化的抽象,描述系统当前的组成成分、各成分的状态和配置以及不同成分之间的关系.运行时体系结构与目标系统间具有动态的因果关联,即系统的变化及时体现在体系结构上,而对体系结构的修改及时影响当前系统.运行时体系结构允许开发者以读写体系结构的方式实现系统的监测和调整,是体系结构层次系统动态适应与在线演化的基础.构造运行时体系结构的关键是针对不同的目标系统和体系结构风格实现合适的基础设施,以维护二者之间的因果关联.由于目标系统和体系结构的多样性以及因果关联维护逻辑的复杂性,这一构造过程往往过于繁琐、易错、难以复用和维护.提出一种模型驱动的运行时体系结构构造方法.开发者只需针对目标系统、体系结构以及两者之间的关系分别进行建模,根据这些模型,支撑框架自动构造合法而高效的运行时体系结构基础设施.基于MOF和QVT标准建模语言定义了一组运行时体系结构建模语言,并基于通用的模型与系统间同步技术实现了相应的支撑框架.一系列实例研究表明,该方法具有广泛的适用性,并显著提高了运行时体系结构构造过程的效率与可复用性.
其他文献
在清季种族话语兴起过程中,知识精英对自我种族形象的认知发生了明显改变。在中国种族已由“优等”沦为“劣等”的前提下,种族改造及强种设想成为一个重要话题。从种族体质一
过氧乙酸是一种强氧化剂,杀菌作用很强,对细菌、病毒、霉菌,芽胞均有效。在养鸡场是一种常用的消毒药。其配制方法如下:首先,取冰醋酸(工业品98%—99%)300ml加入容量为1000ml的
当前,我国农村经济快速发展,原有的财务管理模式已经不能为农村资金提供高效率的保障,模式的改革创新迫在眉睫。村级财务管理的是集体资产,而集体资产的所有权在村民集体手中。所以,无论从资金性质,还是管理方式来说,村级财务管理都与公共管理密切相关。本研究以J市S镇村级财务管理模式改革为背景,从“双代管模式”转型升级为“村级会计委托代理模式”。改善了村镇关系,加强了监督效用,有效助推了村民自治的多元化发展。
我国已经步入了老龄化的社会,由于人口基数过大,未来老年人口将持续增长,老年人保健、养老等问题日益引发社会各界的关注。当人进入老年后,慢慢退出社会工作的舞台,家庭、经
<正>国网江苏泗阳县供电公司党委主动适应新时期企业党建和谐发展新常态、运行管理新趋势和创新实践新契机,将党员学习教育、业务培训、职能提升放在首位,积极推进"互联网+"
"理论-取向-模式"是探究国外教师专业发展的有效思维之一,理论、取向与模式间的递推式关联决定着国外教师专业发展的内在演绎轨迹。从理论形态来看,建构主义、实用主义与情境
"营改增"是我国1994年实施"分税制"以来税收方式的又一重大改革。2012年1月1日首先在上海试点,并经过不断扩围与推进直至2016年5月1日在全国全面铺开,其试点效应究竟如何?战
GEO(Geostationary Earth Orbit)卫星移动通信系统以对地同步轨道通信卫星为中继节点实现广域覆盖的移动通信,具有高EIRP(Effective Isotropic Radiated Power)和G/T值、以点
随着车联网(Internet of Vehicle,IoV)的快速发展,车辆的智能化服务得以普及,特别是基于位置的服务已经广泛地融入到人们的日常生活。然而,基于位置的应用均需用户提交位置信
坚定道路自信、理论自信、制度自信、文化自信,是中国共产党人总结历史经验教训,迎接新的危机和挑战所做出的重要理论总结。新时期党的建设要把坚持"四个自信"作为总要任务来