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

• 作者: 张驰 褚楚
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 接口 组件视图 行为兼容性 标签转换系统(LTS)
• 年，卷（期）: 2016,（11）
• 所属期刊栏目: 理论与研发
• 页码范围: 30-33
• 页数: 4页
• 分类号: TP311.1
• 字数: 2935字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1407-0079

摘要

在开放环境下,仅包含了语法层信息的组件接口不足以刻画组件交互的行为信息,从而不能对组装后的系统进行兼容性验证.提出了既包含组件接口调用方法又包含内部逻辑行为的组件视图,采用LTS表示组件行为协议,将组件交互过程表示为多个LTS之间的同步变迁;借助LTS操作语义,通过LTS同步积模拟组合系统交互的动态行为,以此为基础,检查同步积中是否出现死锁状态来进行兼容性判定,并设计了判定算法以实现兼容性的自动判定,通过一个典型的电子商务应用检验该方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张驰	江西财经大学软件与通信工程学院	17	60	4.0	7.0
2	褚楚	江西财经大学软件与通信工程学院	2	1	1.0	1.0