软件体系结构模型的范畴表示

摘要：

本文将现有体系结构模型的形式化描述系统和验证系统通过范畴理论进行刻画,通过将静态结构描述和动态行为描述转化为范畴表示,使体系结构模型具有了统一的描述语言和数学基础;将体系结构精化过程中的正确性准则和精化模式定义为范畴中的态射属性和函子变换属性,以此来展示范畴理论在体系结构研究中的应用前景.

关键词： 体系结构 范畴 Perri网

作者: 何智勇 贲可荣

作者单位: 海军工程大学电子工程学院,湖北,武汉,430033

会议类型: 国内会议

会议名称: 中国计算机学会软件工程专委会2006年年会

会议地点: 长沙

会议语种:中文

页码: 169-169,176

在线出版日期: 2006-11-01（万方平台首次上网日期，不代表论文的发表时间）