从过程描述语言到Z语言

• 作者: 何炎祥 宋强 黄谦
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: Z语言 过程描述语言 时序状态转换系统
• 年，卷（期）: 2002,（9）
• 页码范围: 1110-1113
• 页数: 4页
• 分类号: TP311.5
• 字数: 2408字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-1220.2002.09.022

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	何炎祥		11	71	6.0	8.0
2	宋强		1	17	1.0	1.0
3	黄谦		1	17	1.0	1.0