| 基于协议的实时构件行为一致性验证 |
| |
| 引用本文： | 张振领,贾仰理,谢圣献,李舟军. 基于协议的实时构件行为一致性验证[J]. 计算机科学, 2012, 39(6): 125-128,142 |
| |
| 作者姓名： | 张振领 贾仰理 谢圣献 李舟军 |
| |
| 作者单位： | 1. 聊城大学计算机学院 聊城 252059
2. 北京航空航天大学计算机学院 北京 100191 |
| |
| 基金项目： | 国家自然科学基金项目，山东省自然科学基金项目，山东省软科学项目，山东省高校智能信息处理与网络安全重点实验室(聊城大学)资助 |
| |
| 摘 要： | 对复杂实时构件系统行为进行形式化描述和一致性验证,可以提高实时构件的可复用性和系统的正确性、可靠性。分析了时间行为协议TBP(Timed Behavior Protocol)及其它学术界和工业界常用的时序行为形式化描述方法,对实时构件替换理论进行了讨论,给出了基于时间行为协议的构件一致性验证算法并对其进行了分析。
|
| 关 键 词： | 实时构件 时间行为协议 形式化描述 一致性验证 |
Protocol Based Real-time Component Behavior Consistency Verification |
| |
| ZHANG Zhen-ling , JIA Yang-li , XIE Sheng-xian , LI Zhou-jun. Protocol Based Real-time Component Behavior Consistency Verification[J]. Computer Science, 2012, 39(6): 125-128,142 |
| |
| Authors: | ZHANG Zhen-ling JIA Yang-li XIE Sheng-xian LI Zhou-jun |
| |
| Affiliation: | 2(School of Computer,Liaocheng University,Liaocheng 252059,China)1(School of Computer Science & Engineering,Beihang University,Beijing 100191,China)2 |
| |
| Abstract: | 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. |
| |
| Keywords: | Realtime component Timed behavior protocol Formal specification Consistency verification |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
