构件行为协议实时性扩展及相容性验证

• 作者: 张振领 李舟军 贾仰理
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 构件 行为协议 时间行为协议 形式化描述 相容性验证
• 年，卷（期）: 2010,（10）
• 页码范围: 143-147
• 分类号: TP311
• 字数: 7438字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2010.10.033

摘要

对复杂实时构件系统行为进行形式化描述和相容性验证,可以有效提高系统的正确性、可靠性.分析了学术界和工业界的主流构件模型及常见时间行为的形式化描述方法,对构件行为协议BP(Behavior Protocol)进行了扩展,提出了时间行为协议TBP(Timed Behavior Protocol),分析了构件组合中常见的相容性错误类型,给出了基于时间行为协议的构件组合相容性验证算法.TBP应用简洁、方便、易于验证.结合具体例子给出了应用示例.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李舟军	北京航空航天大学计算机学院	136	2221	23.0	43.0
2	贾仰理	聊城大学计算机学院	13	77	5.0	8.0
3	张振领	聊城大学计算机学院	14	52	5.0	6.0