以体系结构为中心的构件模型的形式化语义

作     者：楚旺 钱德沛 CHU Wang;QIAN De-Pei

作者机构：西安交通大学计算机科学与技术系陕西西安710049 

基　　金：国家重点基础研究发展规划(973) 

出 版 物：《软件学报》 (Journal of Software)

年 卷 期：2006年第17卷第6期

页      码：1287-1297页

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

主 题 词：体系结构 构件模型 构件可跟踪性 形式化语义 软件重用 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.1360/jos171287

馆 藏 号：203347422...