| 软件体系结构的数学论域 |
| |
| 引用本文： | 李晖,庄芸.软件体系结构的数学论域[J].武汉大学学报(工学版),2003,36(4):107-110. |
| |
| 作者姓名： | 李晖 庄芸 |
| |
| 作者单位： | 1. 武汉大学计算中心,湖北,武汉,430072
2. 武汉化工学院,湖北,武汉,430074 |
| |
| 摘 要： | 把两个数学集合ISAC和IP定义为软件体系结构SAC的形式逻辑系统的数学论域,并在其上建立了一系列形式逻辑谓词公式,成功地描述了在该论域中对象(算子)的分布特征和SAC的若干有趣的性质和结论,为SAC的结构分析和评估提供了观点、方法和工具.
|
| 关 键 词： | 软件体系结构 数学论域 层次区间 重复算子链 |
| 文章编号： | 1671-8844(2003)04-107-04 |
| 修稿时间： | 2003年3月18日 |
Mathematical domain of discourse for a software architecture |
| |
| Abstract: | Both mathematical sets ISAC and WTIP 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. |
| |
| Keywords: | software architecture mathematical domain level section repetitive operator link |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
