并发Z规格说明在系统需求分析与设计中的应用

摘要

阐述了并发Z语言是一类适合于并发实时软件系统设计的规格说明语言,其基本语义是Z语义的并发和实时扩展,提出了对这些扩展方法的分类原则,并通过微机仿真系统设计阐述了基于状态转化方法的并行Z规格说明在并发实时系统需求分析和设计开发中使用的一些基本方法、典型问题的处理原则以及操作间时序关系描述的基本手段.