摘要
文章采用以范畴理论为基础的CDT(范畴数据类型)模型给出了体系结构的形式化定义,在此基础上对软件体系结构的重用进行了理论分析与探讨,这为软件体系结构的进一步研究提供了坚实的理论基础.
In this paper, the formal definitiom of Software architecture is given by CDT model besed on category theory, In the mean time, the reuse about for software architecture base on CDT model is addressed, the theory basis of software architecture is provided for the future research.
出处
《微电子学与计算机》
CSCD
北大核心
2004年第10期51-54,59,共5页
Microelectronics & Computer
