| 摘要: |
| XYZ系统是一个基于线性时序逻辑的软件工程系统,由中国科学院软件研究所经过15年的时间设计并实现.它被用于解决某些高技术工程领域的问题.文章介绍了这个系统的目的、意义、作用和应用. |
| 关键词: 时序逻辑语言,状态转换,动态语义,静态语义,规范语言,冯诺曼模型,逐步求精,构件,软件体系结构,一致性验证. |
| DOI： |
| 分类号: |
| 基金项目: |
|
| The Goal, Meaning, Effect and Application of the XYZ System |
|
TANG Zhi-song
|
| Abstract: |
| XYZ system is a software engineering system based on linear time temporal logic designed and implemented by the Institute of Software, The Chinese Academy of Sciences for one and a half decades. It has reached its last stage of development in application to solve some high technical engineering problems. In this paper, the goal, meaning, effect and applications of this system are introduced. |
| Key words: Temporal logic language, state transition, dynamic semantics, static semantics, specification language, Von Neumann model, stepwise refinement, component, software architecture, consistency checking. |
