软件系统概念结构的立体研究法-three - dimensional research method of software system concept structure.docxVIP

然后我们通过考察软件系统中的概念，发现通过分类抽象建立的垂直构造和通过分伙交织建立的平面构造是软件系统中概念结构的两种基本内在构造动力。在此基础上，进一步去分析概念结构图中的结点和边所具有的特殊内容和性质。在这些准备工作完成后，我们通过用我们的观点和方法研究软件工程中设计模式和软件建造这两个领域里的一些众所周知的成果来挖掘和发现我们需要的结论，同时也对我们的观点和方法进行了初步检验。最后，我们对所进行过的分析和研究进行进一步的概括以实现我们的研究目标。这篇论文总共分为5章。第1章介绍了这篇论文的研究背景和出发点，并确定研究的出发点和目标。准备了进行研究所必需的一些理论知识，主要是系统科学的基本观点，图论的初步知识，以及范畴代数中图范畴的概念以及图文法等。第2章论述了研究对象—软件系统中概念结构的主要内容，以及我们进行研究的基本观点和分析方法。第3章以我们的观点和方法简要分析了23种设计模式，并总结了其中所蕴藏的在概念结构上体现的意义。第4章以我们的观点和方法简要分析了几种著名的软件建筑，并总结了其中所蕴藏的在概念结构上体现的意义。第5章就所研究的内容进行了概括，并提炼出分析和设计软件系统中概念结构的四大基本原理，并论证和解析了软件工程中通常原则和方法。最后我们对这篇论文进行了回顾和总结，并检讨了其中的不足和对将来进一步的研究作出展望。1.3系统科学的基本观点系统科学主张我们以系统的观点来看待和分析事物。系统科学的观点建立在几个基础性的想法上。首先，所有现象能够被看作一个元素之间关系的网络，或者说是一个系统。第二，所有的系统，不管是电子的，生物的，或者社会的，都有一些共同的模式，行为，跟那些能够被理解的属性并且可以用来发展对复杂现象的行为更加深入的洞察，从而使得朝科学的统一的目标走得更近。系统哲学，方法学和应用是系统科学的补充。1.4图的基本理论1.4.1图的基本概念图是表示事物之间关系的天然概念。在图论中，一张图表示为顶点集V与边集E的匹配对。顶点集是一个集合V=｛v1,v2,...,vn｝，其中每个vi表示一个顶点。边集E也是一个集合E=｛e1,e2,...,em｝，其中每个ei表示由两个顶点构成的一个对ii(v,v)完全决定的一条边。12有向图在一般的图中,图中的边是无向的,有时为了强调顶点间的顺序性(比如在结点表示工程中的阶段时,从一个阶段到下一个阶段有明显的方向性),就要求在图中表示边的方向性。这时图中有边(vi,vj)则不一定有边(vj,vi)。边(vi,vj)与边(vj,vi)是不相等的。有权图在有些应用中，我们需要对某些边赋以一个数量来度量这条表示结点间关系的边。这种图的应用是当图的结点为地理位置，而边表示地理位置之间存在道路，这时如果要在图中表示出这条道路的长度，则就可用一个权来表示。如果图的边都有一个称为权的数量，那么这张图就是有权图。流图在有些事物的关系网中，存在一个初始的来源与最终的归处。这时在结点工规定一个唯一的表明初始结点为源点，而结束的结点为汇点就很有帮助。这种存在源点跟汇点的图就是流图。这中流图在求解网络问题很有用处。而程序分析中的控制流图更是一种典型的流图。1.5图范畴和图文法研究软件概念结构的最终目的是为纷纭复杂的建立一种统一的框架和基础。在研究了众多具体的软件结构案例之后，就必然要有一种通用的工具来将这些案例统一起来。在数学领域，我们可以找到这样的现成工具，那就是范畴代数和图的范畴。范畴范畴理论不仅在当代数学中占据一个中心位置，在理论计算机科学中也是这样，并且也是图变换的代数方法的基础。范畴理论粗略的可被描述为处理不同的代数数学结构跟它们之间关系的抽象途径。不仅如此，范畴理论至少是一个非常强大的允许看到不同种类的结构如何相关到另外一个已经给定种类的结构族中通用部分的语言跟概念框架。由于我们的研究意图，我们关注的以图为对象元素的图范畴。一般的说来一个范畴C可被描述为一个对象的类ob(C)，并带有如下的辅助属性：对于每个具有位于的来源对象a跟目标对象b对象的对子(a,b)存在另外一个映射类mor(C)，我们将此写作f:a→b。而且，对于一个对象三角a,b跟c，也存在一个从映射对子（f:a→b跟g:b→c）到一个终结映射h:a→c的部分操作，这也叫做范畴C的映射组合。最后，对于每一单个的对象a，存在一个映射1x:x→x，这被叫做a的等同映射a，通常写作id(a)。总之，范畴C的所有映射必须满足结合性和相等的两条公理。图范畴在图范畴中图映射指定给定图G的结点和边到另外一个图H的结点和边，但是原来凸G的结构被保留。更形式的说来图映射g:G→H是一个函数对子，这些函数中的一个是结点映射g:VG→VH而另外一个是边映射g:EG→EH[3]。如果G是H里面的一个映像，则它被叫做G在H里的一个匹配。根据图映射