Abstract: RT-Z is the specification language integrating Z language with timed CSP, which is the extension of sequential communication processes in real-time aspect. RT-Z combines the advantages of the state expression in Z with the advantages of the temporal relation and concurrent expression in timed CSP. Thus, RT-Z has powerful expressive abilities suitable for states specification. The classified principles for the extension to Z in real-time aspect and its applied features were discussed. Based on the analysis of semantic integration of RT-Z, a multi-viewpoint applied pattern with the extension of Z in real-time aspect was put forward.

Key words: eal-time system, formalism method, RT-Z

摘要： RT-Z是由Z和经实时扩展的通信顺序进程timedCSP集成的用以描述实时系统的规格说明语言,它将Z对状态描述的优点和timedCSP对时序关系和并发描述的优点相结合,具有强大的描述能力;而基于时序转化系统的Z扩展适合描述系统状态的转化。给出了Z实时扩展的分类原则并从讨论了其应用特点,最后在分析RT- Z的语义集成的基础上提出了Z实时扩展的多视点应用模式。

关键词: 实时系统, 形式化方法, RT-Z