描述软件体系结构的算子集的性质研究

Study on properties of software architecture operator sets

基于语法树并以数据类型为对象而构造的描述软件体系结构的算子,进一步深入地研究描述软件体系结构的算子集的定义及其相关概念,并对算子集中的简单算子集Asimple和复合算子集Acomplex的性质进行了推导,从而得出了一些重要的推论和定理.这些结论为进一步研究复合算子集Acomplex的性质奠定了基础.

Based on the grammar tree and using the data type as an object, we have ever constructed software architecture operators before. The definition of software architecture operator sets are discussed; and then the properties for simple operator set Asimple and complex operator sets Acomplex are drived. Some conclusions are drawn so as to offer a strong foundation for the future father study on the properties of complex operator sets Acomplex.