共 1 条
以体系结构为中心的构件模型的形式化语义
被引：12
作者：
楚旺
钱德沛
机构：
[1] 西安交通大学计算机科学与技术系
来源：
关键词：
体系结构;
构件模型;
构件可跟踪性;
形式化语义;
软件重用;
D O I：
暂无
中图分类号：
TP311.52 [];
学科分类号：
081202 ;
0835 ;
摘要：
目前的软件开发方法采用非结构化和非形式化方式建立构件模型,构件之间的关系是隐含的,并且缺乏严格的语义,不能有效地支持自顶向下的构件重用.利用范畴论定义构件之间的关系,使得构件之间的关系以及关系组合具有严格的语义.态射合成被用来跟踪不同抽象层次的构件之间的关系,利用体系结构设计模式精确地定义构件的组合关系和应满足的条件.范畴论支持图形化建模,可以使模型中的构件关系以及结构特征可视化,有利于模型的理解、跟踪和重用.形式化的构件建模方法适用于以重用为目标的软件开发.
引用
收藏
页码：1287 / 1297
页数：11
相关论文