共查询到16条相似文献,搜索用时 78 毫秒
1.
接口连接式构件组装的一种形式化方法 总被引:3,自引:0,他引:3
构件组装是基于构件的软件开发的研究重点之一,能够有效地提高软件开发的效率和质量。以往大部分构件组装技术是在“成功组装路线”的前提条件下实现的,缺乏对构件组装正确性的检验。本文改进了常用的接口连接式构件组装技术,采用形式化方法描述和推导与构件以及构件组装相关的问题,给出了映射算法,实现了从构件组装规约向粘合代码的自动转换,为构件组装形式化分析、组装正确性检验提供了保证。 相似文献
2.
构件适应技术是基于构件的软件工程中一个很难解决的问题,分析了三种构件适应结构的应用条件,采用了形式化语义的方法描述和推导了与构件以及构件适应相关的问题,根据构件描述与应用需求描述动态地选择不同的适应层次来适应构件,从被适应的构件描述中推导出复合构件的描述,为构件适应的形式化分析、组装正确性检验提供了保证,并列出了一些值得进一步研究的问题。 相似文献
3.
4.
5.
构件组装技术是基于构件的软件开发的核心技术,目前已经存在多种构件组装方法.构件视图是一种构件库管理机制,利用构件视图可以从不同的角度对构件之间的关系进行描述.在简单介绍了现有的构件组装技术的基础上,阐述了构件视图的含义、作用以及构件视图模型,并以基于体系结构的构件组装方法为理论基础,将构件视图的概念引入到组装技术中,给出了一种基于构件视图的构件组装方法,介绍了此方法进行构件组装的流程和此方法的关键技术. 相似文献
6.
基于软件体系结构的构件组装工具ABC-Tool 总被引:22,自引:1,他引:22
软件朝着越来越复杂和庞大的趋势发展,因此对更有效的软件开发技术的需求十分迫切,近年来,软件体系结构、构件技术和软件复用技术等开始在软件开发中发挥重要作用,成为软件工程领域研究的热点,在基于构件复用的开发方法中,构件组装技术是关键,而且一直以来也是难点所在,ABC(architecture-based component composition)是一种基于软件体系结构、面向构件的软件开发方法,介绍了为ABC方法提供有效支持的工具ABC-Tool,ABC-Tool以软件体系结构为设计蓝图,以构件为基本开发单元,在不修改构件源代码的前提下,通过可视化的图形建模方式,从体系结构的高层设计逐层映射到底层实现,将可运行或可部署的构件组装为最终的可正确运行的系统。 相似文献
7.
8.
9.
软件复用和基于构件的软件开发是软件工程化开发和工业化生产的必然趋势,可复用构件的制作和集成组装是其中涉及的两个重要活动.首先分析了现有的构件集成方式所存在的不足,引出了基于体系结构的构件集成;接着对几种不同的体系结构类型进行比较,阐述了它们对构件集成的影响;然后提出了支持接口连接式和插头插座式体系结构类型的构件模型以及基于体系结构的构件集成组装框架,并给出了构件的制作和组装过程;最后对工作进行总结,并指出了进一步的研究方向. 相似文献
10.
在基于构件的软件开发方法基础上,本文提出使用组装模式的方法进行构件的组装,并应用扩展的MSC对构件及构件组装模式进行描述。最后介绍用Java语言实现一种构件及组装模式描述工具。 相似文献
11.
基于逻辑推理的构件组装策略及其算法 总被引:1,自引:0,他引:1
针对构件组装体系框架,提出一种适用于无状态构件的组装策略,用于满足用户的构件检索请求.该策
略通过进程代数理论形式化描述构件行为,提高匹配度,并提出了2 种基于逻辑推理的检索算法SABLR(searching
algorithm based on logical reasoning)和ASABLR(advanced searching algorithm based on logical reasoning)加以支持.
检索算法均应用正向推理的思想,判别构件仓库中是否含有用户请求构件信息.算法可以判别2 种状况:一是库中
直接含有请求构件信息,二是库中部分构件可经组装后满足用户请求.克服了普通构件检索算法无法判别第2 种状
况的缺点.最后,通过实例分析和算法ASABLR 的实现,证明该策略的有效性和可行性. 相似文献
12.
构件组装是基于构件的软件开发中的一个重要环节.本文利用线性逻辑描述了具有语义信息的构件结构,描述了独立于具体的计算环境、具有普遍适用性的三种构件组装关系,利用定理证明的方法,根据现存构件的描述和构件组装关系自动生成构件组装的方案,并从被适应的构件描述中推导出复合构件的描述,以提高对构件适应过程的描述和分析能力,为构件组装形式化分析、组装正确性的检验提供了保证,并列出了一些值得进一步研究的问题. 相似文献
13.
14.
15.
王世安 《计算机与数字工程》2010,38(6):68-71
如何结合实际应用要求实施基于构件组装的网站开发过程是一个值得研究的课题。文章根据构件技术的发展,提出一种基于构件组装的网站系统开发框架,并研究了网站构件的开发与组装方法,将这一技术应用到精品课程网站系统的开发中,结果表明了该方法的有效性。 相似文献
16.
面向范例推理的软构件模型研究 总被引:1,自引:0,他引:1
软件构件模型的建立对于软件再工程的构件复用起着非常重要的作用。本文提出几种面向范例推理的软构件建模方法,这将更有利于软件再工程的构件复用。 相似文献