计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2012年
6期
125-128,142
,共5页
张振领%贾仰理%谢圣献%李舟军
張振領%賈仰理%謝聖獻%李舟軍
장진령%가앙리%사골헌%리주군
实时构件%时间行为协议%形式化描述%一致性验证
實時構件%時間行為協議%形式化描述%一緻性驗證
실시구건%시간행위협의%형식화묘술%일치성험증
对复杂实时构件系统行为进行形式化描述和一致性验证,可以提高实时构件的可复用性和系统的正确性、可靠性.分析了时间行为协议TBP(Timed Behavior Protocol)及其它学术界和工业界常用的时序行为形式化描述方法,对实时构件替换理论进行了讨论,给出了基于时间行为协议的构件一致性验证算法并对其进行了分析.
對複雜實時構件繫統行為進行形式化描述和一緻性驗證,可以提高實時構件的可複用性和繫統的正確性、可靠性.分析瞭時間行為協議TBP(Timed Behavior Protocol)及其它學術界和工業界常用的時序行為形式化描述方法,對實時構件替換理論進行瞭討論,給齣瞭基于時間行為協議的構件一緻性驗證算法併對其進行瞭分析.
대복잡실시구건계통행위진행형식화묘술화일치성험증,가이제고실시구건적가복용성화계통적정학성、가고성.분석료시간행위협의TBP(Timed Behavior Protocol)급기타학술계화공업계상용적시서행위형식화묘술방법,대실시구건체환이론진행료토론,급출료기우시간행위협의적구건일치성험증산법병대기진행료분석.
