| 以体系结构为中心的构件模型的形式化语义 |
| |
| 引用本文： | 楚旺,钱德沛.以体系结构为中心的构件模型的形式化语义[J].软件学报,2006,17(6):1287-1297. |
| |
| 作者姓名： | 楚旺 钱德沛 |
| |
| 作者单位： | 西安交通大学,计算机科学与技术系,陕西,西安,710049 |
| |
| 摘 要： | 目前的软件开发方法采用非结构化和非形式化方式建立构件模型,构件之间的关系是隐含的,并且缺乏严格的语义,不能有效地支持自顶向下的构件重用.利用范畴论定义构件之间的关系,使得构件之间的关系以及关系组合具有严格的语义.态射合成被用来跟踪不同抽象层次的构件之间的关系,利用体系结构设计模式精确地定义构件的组合关系和应满足的条件.范畴论支持图形化建模,可以使模型中的构件关系以及结构特征可视化,有利于模型的理解、跟踪和重用.形式化的构件建模方法适用于以重用为目标的软件开发.
|
| 关 键 词： | 体系结构 构件模型 构件可跟踪性 形式化语义 软件重用 |
| 收稿时间： | 2005-12-15 |
| 修稿时间： | 2006-03-28 |
Formal Semantic of Architecture-Centric Component Model |
| |
| CHU Wang and QIAN De-Pei.Formal Semantic of Architecture-Centric Component Model[J].Journal of Software,2006,17(6):1287-1297. |
| |
| Authors: | CHU Wang and QIAN De-Pei |
| |
| Abstract: | |
| |
| Keywords: | architecture component model component traceability formal semantic software reuse |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
