从过程描述语言到Z语言  

From Process Description Language to Z Language

作　　者：何炎祥[1] 宋强[1] 黄谦[1] 

机构地区：[1]武汉大学计算机学院软件工程国家重点实验室,湖北武汉430072

出　　处：《小型微型计算机系统》2002年第9期1110-1113,共4页Journal of Chinese Computer Systems

基　　金：国家教育部重点项目资助 ;武汉大学自强科技创新基金资助

摘　　要：Z语言是一种得到广泛应用的形式化规格语言 .Z语言可以方便地描述系统操作的数据转换 ,却很难描述系统操作间的时序关系 .而过程描述语言可以方便地描述时序关系 .本文利用时序状态转换系统作为中介 ,提出一种把过程描述语言的项转换成 Z规格的机械算法 .利用这一算法 ,Z语言也能方便地描述时序关系 .Z language is a widely used formal specification language. Using Z language it is convenient to describe the data transform of operations of system, but very difficult to describe the temporal relations of operations of system. While it is convenient to describe the temporal relations using process description language. In this paper, a mechanical algorithm is proposed for translating description of process description language to Z specification, and temporal status transition system is used as intermediary. By this algorithm, Z language can also describe the temporal relations easily. A case is forwarded to illustrate the usage of the algorithm in multiple viewpoints requirements engineering.

关 键 词：过程描述语言 Z语言 时序状态转换系统 “软件工程”语言 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]