%0 Journal Article
%T Protocol Based Real-time Component Behavior Consistency Verification<br>基于协议的实时构件行为一致性验证
%A ZHANG Zhen-ling
%A JIA Yang-li
%A XIE Sheng-xian
%A LI Zhou-jun
%A <br>张振领
%A 贾仰理
%A 谢圣献
%A 李舟军
%J 计算机科学
%D 2012
%I 
%X 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.
%K Realtime component
%K Timed behavior protocol
%K Formal specification
%K Consistency verification<br>实时构件
%K 时间行为协议
%K 形式化描述
%K 一致性验证
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=48D1E5032809D5D43C64E4DD4E8E48FC&yid=99E9153A83D4CB11&vid=7C3A4C1EE6A45749&iid=B31275AF3241DB2D&sid=F122871CC7EC92DC&eid=28B31B7FBB4AE2BD&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0