软件进程图形表示算法  

Algorithm of Software Process Graphical Representation

在线阅读下载全文

作  者:李晖[1] 陈世鸿[1] 

机构地区:[1]武汉大学计算机学院,湖北武汉430079

出  处:《小型微型计算机系统》2009年第5期863-867,共5页Journal of Chinese Computer Systems

基  金:国家"八六三"计划项目(2002AA111010;2003AA00103)资助

摘  要:在计算数学关于函数结构理论的基础上,本文讨论了软件进程计算结构图形表示算法.本文面向问题‘需求’,以形式推导方法,详细分析了如何把‘需求’的形式语义置于图形树之上,在抽象树上实现语义定义的方法;建立算法,实现软件进程计算结构图形表示,实现抽象树向具体语义树的转换;并说明这个图形就是问题求解的树形体系结构.本文详细分析了这个算法的理论基础、逻辑框架、建立过程;正式表达算法的规范定义和正确性结论;最后,着重分析了算法隐含的不确定因素,以及由它们引起的相关结论和这些结论的重要性.On the basis of computational mathematics on function structure theory, this article discusses the algorithm of software process computing structure graphical representation. This article, aimed at problem "demand", with the method of formal deduction, analyzes how to put the formal semantics of "demand" on graphic tree and realize the method of semantic definition on the ab- stract tree in detail. It establishes an algorithm to fulfill software process computing structure graphical representation and the conversion from abstract tree to specific semantic tree. What' s more, it explains that this graphic is of tree architecture for problem solving. This article thoroughly analyzes the theoretical basis, logic frame and establishment process of this algorithm; and the standard definition and correct conclusion of formal expression algorithm. Finally, it mainly analyzes the uncertain factors hidden in the algorithm and relevant conclusions caused by the factors and the importance of these conclusions

关 键 词:软件进程 图形表示 算法 需求  

分 类 号:TP182[自动化与计算机技术—控制理论与控制工程]

 

参考文献:

正在载入数据...

 

二级参考文献:

正在载入数据...

 

耦合文献:

正在载入数据...

 

引证文献:

正在载入数据...

 

二级引证文献:

正在载入数据...

 

同被引文献:

正在载入数据...

 

相关期刊文献:

正在载入数据...

相关的主题
相关的作者对象
相关的机构对象