| XYZ／CFC与XYZ／PAD：图形一文本程序设计环境 |
| |
| 引用本文： | 龚洁,唐若鹰,王霄,唐稚松. XYZ／CFC与XYZ／PAD：图形一文本程序设计环境[J]. 软件学报, 1994, 5(8): 37-46 |
| |
| 作者姓名： | 龚洁 唐若鹰 王霄 唐稚松 |
| |
| 作者单位： | 中国科学院软件研究所，北京 100080;中国科学院软件研究所，北京 100080;中国科学院软件研究所，北京 100080;中国科学院软件研究所，北京 100080 |
| |
| 摘 要： | ＸＹＺ系统是一个ＣＡＳＥ工具系统．它的核心是一个时序逻辑语言ＸＹＺ／Ｅ．ＸＹＺ／Ｅ有一基本的表示状态转换的低级形式ＸＹＺ／ＢＥ（或用于表示并发的ＸＹＺ／ＣＥ）及一个结构化的高级形式ＸＹＺ／ＳＥ．它们均有其相应的图形表示．ＸＹＺ／ＣＦＣ与ＸＹＺ／ＰＡＤ是分别以ＸＹＺ／ＢＥ（或ＸＹＺ／ＣＥ）及ＸＹＺ／ＳＥ用逐步求精方法进行程序设计的交互式的图形环境．每步均可由图形程序自动生成时序逻辑形式的程序．
|
| 关 键 词： | 时序逻辑，操作语义，语义一致性 |
| 收稿时间： | 1992-03-06 |
| 修稿时间： | 1992-05-30 |
XYZ/CFC AND XYZ/PAD: THE GRAPHIC-TEXTUAL PROGRAM DESIGN ENVIRONMENTS |
| |
| Gong Jie;,Tang Ruoying;,Wang Xiao and Tang Zhisong. XYZ/CFC AND XYZ/PAD: THE GRAPHIC-TEXTUAL PROGRAM DESIGN ENVIRONMENTS[J]. Journal of Software, 1994, 5(8): 37-46 |
| |
| Authors: | 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. |
| |
| Keywords: | Temporal logic operating semantics consistency of semantics. |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载免费的PDF全文 |
