%0 Journal Article
%T 以体系结构为中心的构件模型的形式化语义
%A 楚旺
%A 钱德沛
%J -
%D 2006
%X 目前的软件开发方法采用非结构化和非形式化方式建立构件模型,构件之间的关系是隐含的,并且缺乏严格的语义,不能有效地支持自顶向下的构件重用.利用范畴论定义构件之间的关系,使得构件之间的关系以及关系组合具有严格的语义.态射合成被用来跟踪不同抽象层次的构件之间的关系,利用体系结构设计模式精确地定义构件的组合关系和应满足的条件.范畴论支持图形化建模,可以使模型中的构件关系以及结构特征可视化,有利于模型的理解、跟踪和重用.形式化的构件建模方法适用于以重用为目标的软件开发
%K 体系结构 构件模型 构件可跟踪性 形式化语义 软件重用
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=20060604&flag=1