软件进程图形表示算法

摘要

在计算数学关于函数结构理论的基础上,本文讨论了软件进程计算结构图形表示算法.本文面向问题‘需求',以形式推导方法,详细分析了如何把‘需求'的形式语义置于图形树之上,在抽象树上实现语义定义的方法;建立算法,实现软件进程计算结构图形表示,实现抽象树向具体语义树的转换;并说明这个图形就是问题求解的树形体系结构.本文详细分析了这个算法的理论基础、逻辑框架、建立过程;正式表达算法的规范定义和正确性结论;最后,着重分析了算法隐含的不确定因素,以及由它们引起的相关结论和这些结论的重要性.