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

摘要：

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

关键词：Z语义模型、实现关系、状态转换系统、有限状态转换系统、时序状态转换系统

所属期刊栏目：24

分类号：TP311(计算技术、计算机技术)

资助基金：教育部科学技术研究项目

在线出版日期：2003-11-07（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1701-1706