关键词: 实时构件，时间行为协议，状态，约减

Abstract: It has great significance to relieve the state space explosion problem and improve the verification efficiency and practicality by state reduction. This paper analyzed the composition pattern of real-time components. The timed be- havior protocols based composition and the state space explosion problem were discussed, and the state space reduction algorithm for timed behavior protocol was given, and the sample was presented finally.

Key words: Real-time component, Timed behavior protocol, States, Reduction