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

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