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

Vo l. 39 No.6 第 39 卷第6 期 计算机科学 2012 年 6 月 Computer Science June 2012 基于协议的实时构件行为一致性验证 张振领1 贾仰理l 谢圣献1 李舟军2 (聊城大学计算机学院 聊城 252059)1 (北京航空航天大学计算机学院 北京 10019 1)2 摘 要 对复杂实时构件革统行为进行形式化描述和一效性验证，可以提高实时构件的可复用性和系统的正确性、可 靠性E 分析了时间行为协议 TBP(Timed Behavior Protocol) Â其它学术界和工业界常用的时序行为形式化描述方法， 对实时构件替换理论进行了讨论，给出了基于时间行为协议的构件一致性验证算法并对其进行了分析。 关键词 实时构件，时间行为协议，形式化描述.一致性验证 中回