%0 Journal Article
%T Real-time Extension of Component Behavior Protocol and its Compatibility Verification<br>构件行为协议实时性扩展及相容性验证
%A JIA Yang-li
%A ZHANG Zhen-ling
%A LI Zhou-iun
%A <br>贾仰理
%A 张振领
%A 李舟军
%J 计算机科学
%D 2010
%I 
%X Formal specification and compatibility verification of complex real-time component systems' behavior can efficiently improve the systems' correctness and reliability. This paper analyzed the mainstream component models using in academia and industry and the common formal specification methods of component timed behavior. Based on the analysis we extended component behavior protocol and presented the timed behavior protocol(hI3P) to model components' real-time behavior. Common compatibility error types in component composition were analyzed and the compatibility verification algorithm based on hI3P was given. The timed behavior protocol is simple and convenient to apply and verify. An application example was introduced.
%K Component
%K Behavior protocol
%K Timed behavior protocol
%K Formal specification
%K Compatibility verification<br>构件，行为协议，时间行为协议，形式化描述，相容性验证
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=19A3056F2B3D47F2FF23F0F4EE1EAE56&yid=140ECF96957D60B2&vid=42425781F0B1C26E&iid=F3090AE9B60B7ED1&sid=475189FCB44F11F6&eid=2922B27A3177030F&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0