软件组件组装行为兼容性检查研究

发布时间：2018-03-24 09:10

  本文选题：接口　切入点：组件视图　出处：《计算机工程与应用》2016年11期

【摘要】：在开放环境下,仅包含了语法层信息的组件接口不足以刻画组件交互的行为信息,从而不能对组装后的系统进行兼容性验证。提出了既包含组件接口调用方法又包含内部逻辑行为的组件视图,采用LTS表示组件行为协议,将组件交互过程表示为多个LTS之间的同步变迁;借助LTS操作语义,通过LTS同步积模拟组合系统交互的动态行为,以此为基础,检查同步积中是否出现死锁状态来进行兼容性判定,并设计了判定算法以实现兼容性的自动判定,通过一个典型的电子商务应用检验该方法的有效性。
[Abstract]:In an open environment, component interfaces that contain only syntax layer information are not sufficient to depict the behavior information of component interactions. Therefore, the compatibility of the assembled system can not be verified. A component view, which contains both the method of calling component interface and the behavior of internal logic, is proposed, and the component behavior protocol is represented by LTS. The component interaction process is represented as a synchronous transition between multiple LTS, and the dynamic behavior of composite system interaction is simulated by LTS synchronous product with the help of LTS operation semantics. Check whether there is deadlock state in the synchronous product to determine the compatibility, and design a decision algorithm to realize the automatic determination of compatibility. The validity of the method is verified by a typical e-commerce application.
【作者单位】： 江西财经大学软件与通信工程学院;
【基金】：国家自然科学基金(No.61262012) 江西省自然科学基金(No.2008GZS0017)
【分类号】：TP311.5

【相似文献】

相关期刊论文 前9条

1 贾仰理;张振领;李舟军;;构件行为协议实时性扩展及相容性验证[J];计算机科学;2010年10期

2 张振领;贾仰理;李舟军;;时间行为协议状态空间约减算法[J];计算机科学;2012年04期

3 黄洲;彭鑫;赵文耘;;基于静态代码分析的自动化对象行为协议提取工具[J];计算机科学;2009年08期

4 尹剑飞,郭荷清,彭新一;基于模型转换实现行为协议的研究[J];计算机工程;2005年01期

5 于素萍;杨Pq杰;;基于行为协议的构件软件静态测试研究[J];计算机技术与发展;2008年03期

6 商陆军;类型对象[J];计算机工程;1989年05期

7 张振领;贾仰理;谢圣献;李舟军;;基于协议的实时构件行为一致性验证[J];计算机科学;2012年06期

8 任洪敏;刘晋;;基于行为协议的构件替换性分析[J];计算机工程与科学;2012年12期

9 ;[J];;年期

相关硕士学位论文 前1条

1 黄洲;基于数据依赖性恢复的对象行为协议提取方法及支持工具[D];复旦大学;2008年

，

本文编号：1657632