软件进程计算结构分析  

Analysis of computational structure of software process

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

机构地区：[1]武汉大学计算机学院,武汉430072

出　　处：《计算机应用研究》2009年第5期1733-1735,1753,共4页Application Research of Computers

基　　金：国家"863"计划资助项目(2002AA111010;2003AA00103)

摘　　要：以数学语义分析并描述软件进程计算结构,建立了实用计算原型树。在此基础上,实现计算结构模块化处理及建立模块化展开公式,使软件进程的计算从节点算子的计算转换成模块算子计算。This paper analyzed and described the computational structure of software process （SP） by mathematical semantics, and established a practical computing prototype tree. On the basis of that, fulfilled modularized processing of computational structure and establishment of modularized expansion formula. Converted the computing of software process from node operator computing to modular operator computing.

关 键 词：数学语义 计算结构 原型树 计算单位 模块 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]