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

MINI-MICRO SYSTEMS（2003）

引用 0|浏览2

暂无评分

摘要

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

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要