| 面向对象范型体系结构中构件行为相容性研究 |
| |
| 引用本文： | 胡海洋,吕建,马晓星,陶先平.面向对象范型体系结构中构件行为相容性研究[J].软件学报,2006,17(6):1276-1286. |
| |
| 作者姓名： | 胡海洋 吕建 马晓星 陶先平 |
| |
| 作者单位： | 计算机软件新技术国家重点实验室(南京大学),江苏,南京,210093;南京大学,计算机软件研究所,江苏,南京,210093 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划);国家高技术研究发展计划(863计划);国家重点基础研究发展计划(973计划) |
| |
| 摘 要： | 软件体系结构(SA)为基于构件的软件开发提供了一种高层次的抽象.如何有效描述体系结构中构件的对外交互行为、验证组装构件间的行为相容及保证整个体系结构行为无死锁是其中较为重要的研究内容.在基于面向对象范型这类重要的软件体系结构中,构件组装通常是通过接口方法调用加以实现.针对这样一类基于软件体系结构的构件组装问题,形式描述与定义了构件及其对外交互协议,分析了服务请求构件与服务提供构件所能展示的不同行为,给出了组装交互的构件在请求/提供接口上协议级行为相容的一组验证规则及相关定理.最后,通过一个电子商务应用实例来说明所提出途径的可用性和针对性.
|
| 关 键 词： | 构件 构件组装 软件体系结构 行为相容 无死锁 |
| 收稿时间： | 2006-01-10 |
| 修稿时间： | 2006-03-13 |
Study on Behavioral Compatibility of Components in Software Architecture Using Object-Oriented Paradigm |
| |
| HU Hai- Yang,L Jian,MA Xiao-Xing,TAO Xian-Ping.Study on Behavioral Compatibility of Components in Software Architecture Using Object-Oriented Paradigm[J].Journal of Software,2006,17(6):1276-1286. |
| |
| Authors: | HU Hai- Yang L Jian MA Xiao-Xing TAO Xian-Ping |
| |
| Affiliation: | 1.State Key Laboratory for Novel Software Technology (Nanjing University |
| |
| Abstract: | |
| |
| Keywords: | component component composition software architecture behavioral compatibility deadlock-free |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
