首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到19条相似文献,搜索用时 328 毫秒
1.
构件的插拔与替换是CBSD实现组装开发、支持定制和演化的基本机制,基于行为协议的构件替换性分析与验证是CBSD的核心研究课题。基于有穷自动机理论和面向服务软件构件的特点,提出了构件行为自动机模型以描述构件的行为协议,定义了构件行为替换性的概念体系,以增进软件构件的复用,开发了构件行为替换性的验证方法,以支持构件行为替换性验证的自动执行。  相似文献   

2.
以SOFA/CDL作为刻画动态行为的形式化语义基础,从交互语义层面入手,提出面向SMC(softMancomponent)构件的行为描述语言(BDL);同时,针对CDL在行为刻画上的不足进行扩展,给出了针对SMC的行为描述框架。在此基础上,选取典型的构件动态替换作为应用背景,得到基于BDL表达的构件上下文无关替换定义及其判定定理,验证了上述模型在构件行为语义抽象中的有效性和正确性。  相似文献   

3.
软件构件化是提高软件开发效率和降低重复性劳动的重要途径之一,但一直面临着构件实体之间的行为交互失配问题。对此,构造了一个构件行为本体,其中包括构件体、构件行为及构件行为性质,并根据构件行为本体提出了构件交互适配模型。在该模型中,依据构件行为性质将构件集合划分成不同的构件组,利用构件组内复合行为的完整性探测构件交互死锁,并通过自定义行为规则适配构件交互死锁。最后,对构件组与适配器之间的一一对应关系进行证明。  相似文献   

4.
基于自动机的构件实时交互行为的形式化模型   总被引:2,自引:1,他引:1  
采用形式化方法对复杂实时构件系统交互行为进行描述和验证,对于提高系统的正确性、可靠性等可信性质具有重要意义.分析了基于进程代数和自动机的构件交互行为形式化建模方法各自的优缺点,在此基础上提出了基于时间构件交互自动机的建模方法,给出了时间构件交互自动机的相关定义、组合和验证算法.时间构件交互自动机引入了时间限制、时间代价、时间代价计算半环、构件组合层次等概念,既能够描述构件交互情况,又能够清楚地表示出构件系统的体系结构信息和实时信息,便于对系统进行描述和验证.最后,结合具体应用给出了应用示例.  相似文献   

5.
构件行为的兼容性分析是研究构件动态交互过程中的重要问题,其研究结果可应用于构件替换、迁移、动态自适应演化等研究。为了保证构件在替换或组合之后系统仍能正常稳定运行,利用Pi演算对构件行为进行建模,并对多个构件行为间的兼容性进行验证,提出了绝对兼容、相对兼容等理论,并运用兼容度来判定构件行为兼容性强弱,且通过实例进行分析说明。  相似文献   

6.
为验证基于构件的软件系统中构件间交互的可信性,将统一建模语言(unified modeling language,UML)与Pi演算理论相结合,提出了一个软件构件间交互的可信性验证模型。在构件行为分析的基础上,利用抽取规则抽取Pi演算语义来描述构件的行为。进一步利用Pi演算的操作语义推演构件间的实际交互行为。将得到的实际交互行为与预期交互行为比对,可判断构件交互的可信性。最后,通过实例对该模型的具体应用进行了阐述。该模型能够对基于构件的软件系统中任意两个相互交互的构件之间交互的可信性进行验证,为判断该类系统中构件间交互的可信性提供了有效方法。  相似文献   

7.
为了保证构件在动态演化中的行为一致性,避免不合法的构件演化,提出一种基于进程代数的构件模型,引入对外主动请求接口和内部连接,形式化描述构件及其对外交互协议,给出相关定理和验证算法。实例证明,该构件模型可以验证动态演化中的接口兼容性、外部交互行为一致性,以及运行时行为完整性。  相似文献   

8.
构件的组合与安全性是构件式系统开发的一个挑战性问题。提出了一种新的描述构件交互行为的模型-构件消息自动机,其特点是保留了构件的所有交互特性以便进一步进行构件的验证。给出了使用同步积操作将多个构件组合成单个复杂的组合构件的方法。基于监控理论的可控性概念,设计了一个验证构件系统安全性质的算法。为了说明论文建议的方法,详细讨论了一个简单的、贯穿整个论文的示例系统。  相似文献   

9.
适应性构件应具备灵活应对功能需求变化的能力.为使构件支持这一特性,本文研究设计给出构件行为动态重构功能模型及其交互逻辑模型,并基于动态代理机制实现该模型,通过重构构件的行为实现构件执行功能的转换,从而使构件可灵活适应功能需求的变化.最后的实例开发实验证实了这种设计实现方式的可行性以及行为重构的有效性.  相似文献   

10.
基于协议的实时构件行为一致性验证   总被引:1,自引:1,他引:0  
对复杂实时构件系统行为进行形式化描述和一致性验证,可以提高实时构件的可复用性和系统的正确性、可靠性。分析了时间行为协议TBP(Timed Behavior Protocol)及其它学术界和工业界常用的时序行为形式化描述方法,对实时构件替换理论进行了讨论,给出了基于时间行为协议的构件一致性验证算法并对其进行了分析。  相似文献   

11.
基于构件的软件开发,是软件工程领域一个重要的方法,其中构件模型是该方法的理论基础.目前,适用于基于对等结构的分布式应用软件开发的构件模型尚不多见.针对对等应用软件的特点,首先在给出一个开发框架的前提下,对对等应用软件进行了构件特征分析,并将基于该框架开发的对等应用软件系统所涉及到的构件形态,归结为可迁移构件、轻量级构件和耦合容器构件3类,然后在此基础上提出一个支持对等应用的构件模型,并对构件模型中语义和语法进行了表述,最后介绍了该构件模型的生成与部署、合成与组装、查找与匹配、通讯与协作、以及相关对比等方面的研究工作.  相似文献   

12.
基于网络处理器的系统是一种复杂的嵌入式系统,具有实时、资源受限和异构的特点.组件技术可以实现有效的软件开发,但是通用的组件技术不适合基于网络处理器的系统.研究将组件技术应用于基于网络处理器的系统的问题,分析了硬件系统结构和目标应用的特点,提出了组件模式,定义了框架服务,并讨论了软件性能工程.其组件技术也适用于其他类似的多核系统.  相似文献   

13.
Component‐oriented software has become a useful tool to build larger and more complex systems by describing the application in terms of encapsulated, loosely coupled entities called components. At the same time, asynchronous programming patterns allow for the development of efficient distributed applications. While several component models and frameworks have been proposed, most of them tightly integrate the component model with the middleware they run upon. This intertwining is generally implicit and not discussed, leading to entangled, hard to maintain code. This article describes our efforts in the development of the GCM/ProActive framework for providing distributed and adaptable autonomous components. GCM/ProActive integrates a component model designed for execution on large‐scale environments, with a programming model based on active objects allowing a high degree of distribution and concurrency. This new integrated model provides a more powerful development, composition, and execution environment than other distributed component frameworks. We illustrate that GCM/ProActive is particularly adapted to the programming of autonomic component systems, and to the integration into a service‐oriented environment. Copyright © 2014 John Wiley & Sons, Ltd.  相似文献   

14.
构件组装技术是基于构件的软件开发的核心技术,目前已经存在多种构件组装方法.构件视图是一种构件库管理机制,利用构件视图可以从不同的角度对构件之间的关系进行描述.在简单介绍了现有的构件组装技术的基础上,阐述了构件视图的含义、作用以及构件视图模型,并以基于体系结构的构件组装方法为理论基础,将构件视图的概念引入到组装技术中,给出了一种基于构件视图的构件组装方法,介绍了此方法进行构件组装的流程和此方法的关键技术.  相似文献   

15.
从探讨构件技术应用出发,通过分析水文技术和质量需求,经逐层、分级抽象,使数据交互更为清晰,并设计各软件构件。在体系结构层次上对构件和接口进行描述,形成构件库,为提高水文信息系统开发效率和质量提供可靠的基础。  相似文献   

16.
一个支持构件演化的配置管理框架   总被引:4,自引:0,他引:4  
构件库在基于构件的软件开发(CBSD)中扮演着重要的角色,然而在实际的软件开发过程中,构件的生产、维护、复用等还存在许多困难,其中一个主要的困难是大多数构件库仅提供构件的描述、存储和检索功能,缺乏配置管理支持。该文提出了一个支持构件演化的配置管理框架。这个框架将构件库作为一类特殊的资源库加以管理,从而为构件的演化提供系统的配置管理支持。  相似文献   

17.
目前,基于构件的软件开发模式被软件开发商广泛接受,因为这种模式可以提高软件的质量、降低软件开发和维护的成本.构件描述是构件检索和复用的基础.本文提出了一种基于特征的、面向多领域的构件描述方法,包括构件功能、应用环境、构件关系、构件质量、其它等五个部分.基于构件的软件开发模式在大规模推广的情况下,构件流通必定成为构件产业化的关键环节.基于特征的构件描述方法解决了构件流通过程中语义理解困难,促进了领域构件标准化的推广.  相似文献   

18.
构件合成技术已成为软件复用研究的热点,本文给出了一种基于角色的构件合成方法,并讨论了基于该方法的构件的逻辑合成和物理合成两种合成方式。该方法通过引入角色有效地描述了各个子构件所提供的功能服务之间的交互关系,这种方法自身的特点使其既适用于进行本地构件的合成也适用于进行分布式的构件合成。  相似文献   

19.
提出了基于 UML构件规格说明自动构造构件行为模型的方法 ,并用一个实例对该方法进行了说明。该方法构造的构件行为模型包含状态与状态之间的转换 ,接口操作作为状态转换弧上的输入 ,能够很好地体现接口的操作调用序列 ,因而可以作为构件测试的测试模型 ,对于构件的开发者和使用者进行构件的黑盒测试以及第三方构件的评估很有价值。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号