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

Application of concurrency Z specification in system requirement analysis and design

作　　者：陈广明[1] 张立臣[2] 陈生庆[1] 

机构地区：[1]嘉应学院计算机系,广东梅州514015 [2]广东工业大学计算机学院,广东广州510090

出　　处：《兰州理工大学学报》2005年第4期93-96,共4页Journal of Lanzhou University of Technology

基　　金：国家自然科学基金(60174050);广东省自然科学基金(0100059)

摘　　要：阐述了并发Z语言是一类适合于并发实时软件系统设计的规格说明语言,其基本语义是Z语义的并发和实时扩展,提出了对这些扩展方法的分类原则,并通过微机仿真系统设计阐述了基于状态转化方法的并行Z规格说明在并发实时系统需求分析和设计开发中使用的一些基本方法、典型问题的处理原则以及操作间时序关系描述的基本手段.Concurrency Z-language is a category of specification language suitable for designing concurrency real-time software system. Basic semantic intension of this language is the concurrency and real-time expansion of the Z semantics. A classification principle of the expansion methods is proposed. Some elementary application methods of concurrency Z specification,which is based on the state transformation method, for requirement analysis and design of concurrency real-time system are expounded by means of system design with computer simulation. Processing principle of typical problems and major means of describing operation time sequential relation are also discussed.

关 键 词：规格说明 Z模式 仿真 

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]