|
|||||
|
|
| 从过程描述语言到Z语言 | |
| 引用本文： | 何炎祥,宋强,黄谦.从过程描述语言到Z语言[J].小型微型计算机系统,2002,23(9):1110-1113. |
| 作者姓名： | 何炎祥 宋强 黄谦 |
| 作者单位： | 武汉大学,计算机学院,软件工程国家重点实验室,湖北,武汉,430072 |
| 基金项目： | 国家教育部重点项目资助，武汉大学自强科技创新基金资助 |
| 摘 要： | Z语言是一种得到广泛应用的形式化规格语言，Z语言可以方便地描述系统操作的数据转换，却很难描述系统操作间的时序关系，而过程描述语言可以方便地描述时序关系，本文利用时序状态转换系统作为中介，提出一种把过程描述语言的项转换成Z规格的机械算法，利用这一算法，Z文也能方便地描述时序关系，本文还通过实例说明了该算法在多视点需求工程中的应用。 |
| 关 键 词： | 过程描述语言 Z语言 时序状态转换系统 “软件工程”语言 |
| 文章编号： | 1000-1220(2002)09-1110-04 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |