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

Protocol Based Real-time Component Behavior Consistency Verification

作　　者：张振领[1] 贾仰理[1] 谢圣献[1] 李舟军[2] 

机构地区：[1]聊城大学计算机学院,聊城252059 [2]北京航空航天大学计算机学院,北京100191

出　　处：《计算机科学》2012年第6期125-128,142,共5页Computer Science

基　　金：国家自然科学基金项目(90718017);山东省自然科学基金项目(ZR2011FL023);山东省软科学项目(2010RKE16007);山东省高校智能信息处理与网络安全重点实验室(聊城大学)资助

摘　　要：对复杂实时构件系统行为进行形式化描述和一致性验证,可以提高实时构件的可复用性和系统的正确性、可靠性。分析了时间行为协议TBP(Timed Behavior Protocol)及其它学术界和工业界常用的时序行为形式化描述方法,对实时构件替换理论进行了讨论,给出了基于时间行为协议的构件一致性验证算法并对其进行了分析。The formal specification and consistency verification of complex real-time component systems＇ behavior can efficiently improve the systems＇ reusability,correctness and reliability.This paper analyzed the timed behavior protocol and the other mainstream formal specification methods of real-time behavior used in academia and industry.Based on the analysis we gave the substitution theory and the consistency verification algorithm based on timed behavior protocol,which can support complex real-time component based systems＇ development.

关 键 词：实时构件 时间行为协议 形式化描述 一致性验证 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]