软件进程计算结构剖析.docVIP

软件进程计算结构剖析 　　 (武汉大学 计算机学院 武汉 430072) 　　 　　摘 要：以数学语义分析并描述软件进程计算结构，建立了实用计算原型树。在此基础上，实现计算结构模块化处理及建立模块化展开公式，使软件进程的计算从节点算子的计算转换成模块算子计算。 　　关键词：数学语义; 计算结构; 原型树; 计算单位; 模块 　　中图分类号：TP311文献标志码：A 　　文章编号：1001-3695(2009)05-1733-03 　　 　　Analysis of computational structure of software process 　　LI Hui CHEN Shi??hong 　　（School of Computer Wuhan University Wuhan 430072 China） 　　Abstract: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. 　　Key words：mathematical semantics; computational structure; prototype tree; computing unit; module 　　 　　0 引言?? 　　 　　在前面研究基础上，本文以数学语义分析和描述软件进程SP计算结构，建立了SP模块??M（θ，X）之算子θ∈??ASet????eq??（??M??）的递归分解式：?? 　　??p??t（θ）??= tree（??θ??，Nos，??E??）（1） 　　把 ??θ??展开成计算原型树pri??ctr（??θ，t）??，表达SP实施处理计算的基本算法结构。其中ASet????eq??（??M??）是实现模块??M??的所有等价算子集合。值得指出的是，式（1）只考虑了θ函数映射的组合结构，即?? 　　??ρ（θ）={θ??1，θ??2,…,θ??k}[?笑选师血?θ] ?? k＞1（2） 　　其中：ρ??θ是算子θ的所有分解运算的集合。?オ? 　　式（1）还不是SP的实际计算结构。 ??θ函数映射除了组合结构之外，还有递归（重复）结构。现有的程序设计语言都有相应的语法规定，以语法形式同时规定这两种结构。完善实现θ??函数的结构特征，还必须扩充计算原型树pri??ctr（??θ，t??）公式。在理论和技术上，它自身提供了这种扩充的基础。本文的首要目的是：在数学语义的基础上，使pri??ctr（??θ，t）实现θ??函数的组合和递归两种结构，满足SP实际计算结构要求，并在此基础上建立它的理论模型。?? 　　SP计算结构，依据特征的不同提取，在实际处理计算时，一个可求解问题P常常抽象成不同的抽象类型。现有程序设计语言中常见的抽象类型有功能（Fun）、数据（Da）和对象（Ob）三类。式（1）适用所有类型[1]，它们具有相似的递归分解过程。但是，P取不同抽象类型，程序设计语言内含的软件体系结构模式、数据类型以及适应的基本算子体系各不相同。P的抽象类型一旦确定，则它的所有进程SP的类型也将随着确定，并在运行过程中始终保持不变。不同类型的差异对SP的影响归结为四个方面：a）??M（θ，X）的算子和数据的定义、性质和结构都会不一??样；b)影响??θ??分解运算的性质和选取；c)形成算子分解的不同环境条件；d)影响计算原型pri??ctr（??θ，t）??计算单位的提取和计算结构的组成。?? 　　在pri??ctr（??θ，t??）上，算子分布影响它的计算结构。算子分布的基本特征是：a)有些算子只在一个节点出现一次；b)有些算子可能多次出现在不同的节点；c)算子不可能在一条路径的节点多次重复出现。第一类节点称为单次节点，第二类称为多重节点。一条计算路径多次重复出现的节点称为重复节点，重复节点不能自然生成，有待其扩充。在现实计算世界，只出现第一类节点的p