%0 Journal Article
%T 基于协议的实时构件行为一致性验证
%A 张振领
%A 贾仰理
%A 谢圣献
%A 李舟军？
%J 计算机科学
%D 2012
%X 对复杂实时构件系统行为进行形式化描述和一致性验证，可以提高实时构件的可复用性和系统的正确性、可靠性。分析了时间行为协议"hbp("himcdbehaviorprotocol)及其它学术界和工业界常用的时序行为形式化描述方法，对实时构件替换理论进行了讨论，给出了基于时间行为协议的构件一致性验证算法并对其进行了分析。
%K 实时构件
%K 时间行为协议
%K 形式化描述
%K 一致性验证
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=120630&flag=1