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

摘要：

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

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

所属期刊栏目：37

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金项目90718017,60473057;博士学科点专项科研基金项目20070006055

在线出版日期：2011-01-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：143-147