Z实时扩展及基于多视点的应用模式

摘要

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