构件行为协议实时性扩展及相容性验证

计算机科学 ›› 2010, Vol. 37 ›› Issue (10): 143-147.

构件行为协议实时性扩展及相容性验证

贾仰理，张振领，李舟军

(聊城大学计算机学院聊城252059) (北京航空航天大学计算机学院北京100191)

出版日期:2018-12-01 发布日期:2018-12-01
基金资助:
本文受国家自然科学基金项目(90718017,60473057),博士学科点专项科研基金项目(20070006055)资助。

Real-time Extension of Component Behavior Protocol and its Compatibility Verification

JIA Yang-li,ZHANG Zhen-ling,LI Zhou-jun

Online:2018-12-01 Published:2018-12-01

摘要/Abstract

摘要： 对复杂实时构件系统行为进行形式化描述和相容性验证，可以有效提高系统的正确性、可靠性。分析了学术界和工业界的主流构件模型及常见时间行为的形式化描述方法，对构件行为协议BP(Behavior Protocol)进行了扩展，提出了时间行为协议TbP(Timed Behavior Protocol)，分析了构件组合中常见的相容性错误类型，给出了基于时间行为协议的构件组合相容性验证算法。TBP应用简洁、方便、易于验证。结合具体例子给出了应用示例。

关键词: 构件，行为协议，时间行为协议，形式化描述，相容性验证

Abstract: 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.

Key words: Component, Behavior protocol, Timed behavior protocol, Formal specification, Compatibility verification

贾仰理，张振领，李舟军. 构件行为协议实时性扩展及相容性验证[J]. 计算机科学, 2010, 37(10): 143-147. https://doi.org/

JIA Yang-li,ZHANG Zhen-ling,LI Zhou-jun. Real-time Extension of Component Behavior Protocol and its Compatibility Verification[J]. Computer Science, 2010, 37(10): 143-147. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed