计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2010年
10期
143-147
,共5页
构件%行为协议%时间行为协议%形式化描述%相容性验证
構件%行為協議%時間行為協議%形式化描述%相容性驗證
구건%행위협의%시간행위협의%형식화묘술%상용성험증
对复杂实时构件系统行为进行形式化描述和相容性验证,可以有效提高系统的正确性、可靠性.分析了学术界和工业界的主流构件模型及常见时间行为的形式化描述方法,对构件行为协议BP(Behavior Protocol)进行了扩展,提出了时间行为协议TBP(Timed Behavior Protocol),分析了构件组合中常见的相容性错误类型,给出了基于时间行为协议的构件组合相容性验证算法.TBP应用简洁、方便、易于验证.结合具体例子给出了应用示例.
對複雜實時構件繫統行為進行形式化描述和相容性驗證,可以有效提高繫統的正確性、可靠性.分析瞭學術界和工業界的主流構件模型及常見時間行為的形式化描述方法,對構件行為協議BP(Behavior Protocol)進行瞭擴展,提齣瞭時間行為協議TBP(Timed Behavior Protocol),分析瞭構件組閤中常見的相容性錯誤類型,給齣瞭基于時間行為協議的構件組閤相容性驗證算法.TBP應用簡潔、方便、易于驗證.結閤具體例子給齣瞭應用示例.
대복잡실시구건계통행위진행형식화묘술화상용성험증,가이유효제고계통적정학성、가고성.분석료학술계화공업계적주류구건모형급상견시간행위적형식화묘술방법,대구건행위협의BP(Behavior Protocol)진행료확전,제출료시간행위협의TBP(Timed Behavior Protocol),분석료구건조합중상견적상용성착오류형,급출료기우시간행위협의적구건조합상용성험증산법.TBP응용간길、방편、역우험증.결합구체례자급출료응용시례.
