Ta上传的资源 (0)

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

摘 要 语言是一种得到广泛应用的形式化规格语言 语言可以方便地描述系统操作的数据转换却很难描述系统 操作间的时序关系而过程描述语言可以方便地描述时序关系本文利用时序状态转换系统作为中介提出一种把过程 描述语言的项转换成 规格的机械算法利用这一算法 语言也能方便地描述时序关系本文还通过实例说明了该算