Z语言的实时扩展及应用

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