Incorporating Time Factor into Behavior Protocol Model

摘要：

Timed Behavior Protocol (TBP) is presented to model real-time components’ timed interaction behaviors. TBP extends the behavior protocol used in SOFA component model by incorporating time factor into behavior protocol model of component based real-time system. Event tokens in TBP are bound with timing constraint information according to requirements of practical applications, and time-related operators are added into the model language. Combining the advantages of both simplicity and practicality, TBP has more powerful description ability and can be used easily to specify real-time components’ behavior and timing constraint information. TBP models of real-time components can be composed together based on the TBP composition definition we presented in this paper. An example is given to demonstrate how TBP can be used. Application and verification of TBP are discussed.

关键词： real-time component interaction behavior specification timed behavior protocol

作者: Yangli Jia Zhenling Zhang Shengxian Xie

作者单位: School of Computer Science and Technology,Liaocheng University,Liaocheng, 252059, China School of Computer Science and Technology, Liaocheng University, Liaocheng, 252059, China

会议类型: 国际会议

会议名称: 2010 3rd International Conference on Advanced Computer Theory and Engineering(2010年第三届先进计算机理论与工程国际会议 ICACTE 2010)

会议地点: 成都

会议语种:英文

页码: 1-5

在线出版日期: 2010-08-20（万方平台首次上网日期，不代表论文的发表时间）