摘要
阐述了并发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.
出处
《兰州理工大学学报》
CAS
北大核心
2005年第4期93-96,共4页
Journal of Lanzhou University of Technology
基金
国家自然科学基金(60174050)
广东省自然科学基金(0100059)
关键词
规格说明
Z模式
仿真
specification
Z-mode
simulation
