体系结构、面向构件的软件开发方法

目前的软件开发方法采用非结构化和非形式化方式建立构件模型，构件之间的关系是隐含的，并且缺 乏严格的语义，不能有效地支持自顶向下的构件重用-并1用范畴论定义构件之间的关系，使得构件之间的关系以 及关系组合具有严格的语义．态射合成被用来跟踪不同抽象层次的构件之间的关系，利用体系结构设计模式精 确地定义构件的组合关系和应满足的条件．范畴论支持图形化建模，可以使模型中的构件关系以及结构特征可 视化，有利于模型的理解、跟踪和重用．形式化的构件建模方法适用于以重用为目标的软件开发．