结构程序设计的工具:结构流程图(SFC)和结构流程语言(SFL)

本文提出了一些结构程序设计的新工具:结构流程图(SFC)和结构流程语言(SFL)。SFC是一种图形语言,它不但可用来表示一个软件系统的层次结构,而且还可以用来指明系统的执行过程以至系统中数据的流向。SFL是一种新的结构程序设计语言。从SFC到SFL的变换是十分直接而容易的,甚至可以做到不会出错。此外,本文还建立了一个形式系统,在这种形式系统中,每个SFC可被严格地表示成一个结构流程表达式(SFE)。