| 摘要: |
| ＸＹＺ系统是一个ＣＡＳＥ工具系统．它的核心是一个时序逻辑语言ＸＹＺ／Ｅ．ＸＹＺ／Ｅ有一基本的表示状态转换的低级形式ＸＹＺ／ＢＥ（或用于表示并发的ＸＹＺ／ＣＥ）及一个结构化的高级形式ＸＹＺ／ＳＥ．它们均有其相应的图形表示．ＸＹＺ／ＣＦＣ与ＸＹＺ／ＰＡＤ是分别以ＸＹＺ／ＢＥ（或ＸＹＺ／ＣＥ）及ＸＹＺ／ＳＥ用逐步求精方法进行程序设计的交互式的图形环境．每步均可由图形程序自动生成时序逻辑形式的程序． |
| 关键词: 时序逻辑，操作语义，语义一致性 |
| DOI： |
| 分类号: |
| 基金项目: |
|
| XYZ/CFC AND XYZ/PAD: THE GRAPHIC-TEXTUAL PROGRAM DESIGN ENVIRONMENTS |
|
Gong Jie;,Tang Ruoying;,Wang Xiao,Tang Zhisong
|
| Abstract: |
| XYZ system is a CASE tool system. Its kernel is a temporal logic languageXYZ/E which has a basic lower levels state-transition form XYZ/BE (or XYZ/CE forconcurrency) and a structured higher level form XYZ/SE. Each of them has a corresponding graphic representation. XYZ/CFC and XYZ/PAD are two interactive graphic environments to support programming with stepwise decomposition methodology by means ofXYZ/BE (or XYZ/CE) and XYZ/SE respectively. The Temporal logic form programs canbe generated automatically from the graphic programs at each step. |
| Key words: Temporal logic, operating semantics, consistency of semantics. |
