基于协议的实时构件行为一致性验证

• 作者: 张振领 李舟军 谢圣献 贾仰理
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 实时构件 时间行为协议 形式化描述 一致性验证
• 年，卷（期）: 2012,（6）
• 所属期刊栏目: 软件工程
• 页码范围: 125-128,142
• 分类号: TP311
• 字数: 5795字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2012.06.030

摘要

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

作者信息

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