从过程描述语言到Z语言

【文件属性】：

文件名称：从过程描述语言到Z语言

文件大小：214KB

文件格式：PDF

更新时间：2015-10-30 17:06:10

Agent 软件工程 Z语言

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