| 摘要: |
| 本文介绍交互式图形工具XYZ/BESE，它能将任意时序逻辑语言XYZ/E的子语言XYZ/BE表示的程序转换成结构化程序．如以XYZ/BE作为中间语言，并将这工具与XYZ与系统中源语言转换系统XYZ/CCSS结合起来，即可将任意其它源语盲的程序转换成为结构化程序．本系统是用XYZ/E的交互式图形设计工具XYZ/CFC实现的。结构化转换过程用图形表示，可增加其直观性，使这变换易于理解． |
| 关键词: 结构化高级语言，结祷化程序转换，图形设计工具，时序逻辑语言． |
| DOI： |
| 分类号: |
| 基金项目: |
|
| AN INTERACTIVE GRAPHIC TOOL TO TRANSFORM A PRoGRAM INTO A STRUCTURED FORM |
|
Gong Jie
|
| Abstract: |
| This tool is based on a graphic language called XYZ/CFC which is the graph-ic representation of a temporal logic language XYZ/E．By means of this tool，a XYZ/E program of unstructured form can be transformed into structured form．XYZ/E iS suitable to play the role of an intermediate language．As the comequence，this tool can also be used to transform a program of any conventional language into its structured form． |
| Key words: Structured higher level language,structuring program transformation,graph-ic design tool,temporal logic language． |
