一种实现程序结构化转换的交互式图形工具

本文介绍交互式图形工具ＸＹＺ／ＢＥＳＥ，它能将任意时序逻辑语言ＸＹＺ／Ｅ的子语言ＸＹＺ／ＢＥ表示的程序转换成结构化程序，如以ＸＹＺ／ＢＥ作为中间语言，将将这工具与ＸＹＺ与系统中源语言转换系统ＸＹＺ／ＣＣＳＳ结合起来，即可将任意其它源语言的程序转换成为结构化程序，本系统是用ＸＹＺ／Ｅ的交互式图形设计工具ＸＹＺ／ＣＦＣ实现的。结构化转换过程中图形表示，可增加其直观性，使这变换易于理解。