| 软件体系结构模型的范畴表示 |
| |
| 引用本文： | 何智勇,贲可荣.软件体系结构模型的范畴表示[J].计算机工程与科学,2006,28(Z2):169-169. |
| |
| 作者姓名： | 何智勇 贲可荣 |
| |
| 作者单位： | 海军工程大学电子工程学院,湖北,武汉,430033 |
| |
| 摘 要： | 本文将现有体系结构模型的形式化描述系统和验证系统通过范畴理论进行刻画,通过将静态结构描述和动态行为描述转化为范畴表示,使体系结构模型具有了统一的描述语言和数学基础;将体系结构精化过程中的正确性准则和精化模式定义为范畴中的态射属性和函子变换属性,以此来展示范畴理论在体系结构研究中的应用前景.
|
| 关 键 词： | 体系结构 范畴 Perri网 |
| 文章编号： | 1007-130X(2006)A2-0169-01 |
| 修稿时间： | 2006年7月19日 |
Categorical Representation of Describe Software Architecture Models |
| |
| HE Zhi-yong,BEN Ke-rong.Categorical Representation of Describe Software Architecture Models[J].Computer Engineering & Science,2006,28(Z2):169-169. |
| |
| Authors: | HE Zhi-yong BEN Ke-rong |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
