软件体系结构的数学论域  

Mathematical domain of discourse for a software architecture

作　　者：李晖[1] 庄芸[2] 

机构地区：[1]武汉大学计算中心,湖北武汉430072 [2]武汉化工学院,湖北武汉430074

出　　处：《武汉大学学报（工学版）》2003年第4期107-110,共4页Engineering Journal of Wuhan University

摘　　要：把两个数学集合ISAC和IP定义为软件体系结构SAC的形式逻辑系统的数学论域,并在其上建立了一系列形式逻辑谓词公式,成功地描述了在该论域中对象(算子)的分布特征和SAC的若干有趣的性质和结论,为SAC的结构分析和评估提供了观点、方法和工具.Both mathematical sets ISAC and WTIP have been defined as the mathematical domain of discourse of a formal logic system for a software architecture SAC, on which a series of formal logic predicate formulas have been established; and distributive characteristics of objects (operators) in these domains and a number of interesting properties and conclusions have been described successfully so as to provide viewpoints, methods, and tools for SAC's construction analysis and evaluation.

关 键 词：软件体系结构 数学论域 层次区间 重复算子链 

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