论文部分内容阅读
时序逻辑语言XYZ／E在统一的形式框架下既能表示静态语义又能表示动态语义，可以实现从抽象描述到可执行程序的平滑过渡。分析了邮政汽车票售票系统的实时性，给出了该系统的组件模型，用XYZ／E描述了整个软件系统的体系结构，逐步精化了核心组件PCServer、PDClient、PSCIi-ent，实现了功能组件PSSComputl和PSSComput2到可执行程序XYZ／E的平滑过渡。