通用连接器模型及其形式化推导研究

来源 :南京大学学报:自然科学版 | 被引量 : 0次 | 上传用户:margaretclouis
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于构件的软件体系结构(SA)由构件与连接器组成,连接器作为构件间的交互实体在SA中扮演着重要角色.现有的连接器模型只能支持特定软件体系结构风格的组装,缺乏统一的连接器模型的支持.提出一种通用连接器模型用以对不同连接器模型进行描述,并在此基础上对连接器模型进行了扩展,以支持不同体系结构风格的构件组装.同时,基于Wright的软件体系结构描述语言(ADL)和通信顺序进程(CSP)中对于进程的描述方法,给出了通用连接器模型的形式化推导、验证,从而为分析连接器行为,支持连接器自动生成奠定了基础.
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
从设计管理的一般模式出发,提出了一种开放式的设计管理新模式(ODMS)。这种模式在现有理论的基础上,更加注重对企业外部资源的整合和利用,为我国广大中小企业提供了一种切实
在学校安全管理工作中,各级各部门都极为重视,学校也煞费苦心,但安全事故总是不断,究其原因,除全方位的管理之外,更应该重视学生安全行为习惯的培养。
班级管理既是一种纪律约束,也是一门管理艺术。小学生处于行为约束规范时期,自身品行养成时期,性格取向决定时期,班主任在这一时期发挥着无法替代的作用。因此,小学班主任应
<正> 1.引言几年来,全国许多单位在对污秽测量和污区划分等级方面进行了许多工作,取得了很多宝贵经验,对推动污秽环境分级标准的制订起到了积极的作用。但是,在究竟采用何种
PVD(物理气相沉积)作为一种新型绿色的镀膜技术,由于涂层具备硬度高、耐磨性好、摩擦系数低、化学性能稳定、耐热耐氧化的特点,使其在机械、电子和光学行业得到广泛应用。近
近年来,国有企业逐步健全壮大,但在工资分配方面还面临一些成长中的烦恼:工资能增不能减,该高的不高,该低的不低,监管体制尚不健全等。保障职工薪酬既关乎社会稳定、防控风险
2014年以来股权众筹快速发展,平台数量大为增长,如何提高众筹成功率是各大股权众筹平台普遍面临的一个问题。本文在梳理股权众筹研究现状的基础上,结合“京东东家”平台上的
气象防雷减灾工作经过二十年的发展,取得了傲人的业绩,也得到了政府和社会的肯定,为了使防雷减灾工作继续健康持续发展,必须转型升级,让防雷减灾工作在发展中规范,在规范中壮
基于"切斯特·巴纳德"系统论思想,提出了一种评估作战体系效能的新方法,即以影响体系有效运行的三个基本因素——信息联系、协作意愿和共同目标为出发点,依据三者在作战体系