基于状态转换系统的Z语义模型扩充

• 作者: 何炎祥 叶磊 黄谦
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: Z语义模型 实现关系 状态转换系统 有限状态转换系统 时序状态转换系统
• 年，卷（期）: 2003,（9）
• 页码范围: 1701-1706
• 页数: 6页
• 分类号: TP311
• 字数: 5554字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-1220.2003.09.032

摘要

利用状态转换系统对Z语义模型进行分析,指出其三种不足;然后利用状态转换系统、有限状态转换系统和时序状态转换系统,对Z语义模型分别进行多样性、有效性和时序性扩充,定义多种数据实现关系和时序实现关系,导出相应的求精关系;并通过一个简单的实例说明Z语义模型扩充在多视点需求工程中的应用.