软件进程图形表示算法
在计算数学关于函数结构理论的基础上,本文讨论了软件进程计算结构图形表示算法.本文面向问题‘需求”,以形式推导方法,详细分析了如何把‘需求”的形式语义置于图形树之上,在抽象树上实现语义定义的方法;建立算法,实现软件进程计算结构图形表示,实现抽象树向具体语义树的转换;并说明这个图形就是问题求解的树形体系结构.本文详细分析了这个算法的理论基础、逻辑框架、建立过程;正式表达算法的规范定义和正确性结论;最后,着重分析了算法隐含的不确定因素,以及由它们引起的相关结论和这些结论的重要性.
软件进程 图形表示算法 需求树 函数结构
李晖 陈世鸿
武汉大学,计算机学院,湖北,武汉,430079
国内会议
徐州
中文
863-867
2009-05-01（万方平台首次上网日期，不代表论文的发表时间）