在本文,我们归纳了Z实时扩展,提出了分类标准,一类是被称为集成的扩 展方法,它基于形式化说明语言z和其它形式化方法的集成,在这里由其它形式 化方法提供表示动态行为的结构;另~类称之为非集成的扩展方法则只使用z的 语义,而由其它形式化方法对时间约束性和并发进行的描述则被转换成z规格说 明,完成了上述分析之后实际就给出了一个对z进行实时扩展的通用方法