摘要
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.
出处
《小型微型计算机系统》
CSCD
北大核心
2002年第9期1110-1113,共4页
Journal of Chinese Computer Systems
基金
国家教育部重点项目资助
武汉大学自强科技创新基金资助
