###
DOI:
Journal of Software:2006.17(6):1276-1286

面向对象范型体系结构中构件行为相容性研究
胡海洋,吕建,马晓星,陶先平
(计算机软件新技术国家重点实验室(南京大学),江苏,南京,210093;南京大学,计算机软件研究所,江苏,南京,210093)
Study on Behavioral Compatibility of Components in Software Architecture Using Object-Oriented Paradigm
HU Hai- Yang,Lü Jian,MA Xiao-Xing,TAO Xian-Ping
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 5816   Download 5439
Received:January 10, 2006    Revised:March 13, 2006
> 中文摘要: 软件体系结构(SA)为基于构件的软件开发提供了一种高层次的抽象.如何有效描述体系结构中构件的对外交互行为、验证组装构件间的行为相容及保证整个体系结构行为无死锁是其中较为重要的研究内容.在基于面向对象范型这类重要的软件体系结构中,构件组装通常是通过接口方法调用加以实现.针对这样一类基于软件体系结构的构件组装问题,形式描述与定义了构件及其对外交互协议,分析了服务请求构件与服务提供构件所能展示的不同行为,给出了组装交互的构件在请求/提供接口上协议级行为相容的一组验证规则及相关定理.最后,通过一个电子商务应用实例来说明所提出途径的可用性和针对性.
Abstract:Software architecture (SA) provides a high-level abstraction for component-based software development. It’s important to specify the interaction behavior of the components, verify the compatibility among the components, and ensure the deadlock-freedom of the composition configuration at the architectural level. Many component-based software architectures are using object-oriented paradigm, in which component composition is implemented by method invocations over component interfaces. Concentrating on the component composition in this kind of SA, this paper formally specifies the components and their interaction behaviors, distinguishes the caller’s behavior from the callee’s in interaction, and then presents a set of rules to verify the behavioral compatibility on the interfaces between the components composed together. Finally, an example of e-commerce application is presented to illustrate the feasibility and pertinence of the approach.
文章编号:     中图分类号:    文献标志码:
基金项目:Supported by the National Natural Science Foundation of China under Grant Nos.60403014, 60233010 (国家自然科学基金); the National High-Tech Research and Development Plan of China under Grant Nos.2005AA113160, 2005AA119010, 2005AA113030 (国家高技术研究发展计划(863));the National Grand Fundamental Research 973 Program of China under Grant No.2002CB312002(国家重点基础研究发展规划(973)) Supported by the National Natural Science Foundation of China under Grant Nos.60403014, 60233010 (国家自然科学基金); the National High-Tech Research and Development Plan of China under Grant Nos.2005AA113160, 2005AA119010, 2005AA113030 (国家高技术研究发展计划(863));the National Grand Fundamental Research 973 Program of China under Grant No.2002CB312002(国家重点基础研究发展规划(973))
Foundation items:
Reference text:

胡海洋,吕建,马晓星,陶先平.面向对象范型体系结构中构件行为相容性研究.软件学报,2006,17(6):1276-1286

HU Hai- Yang,Lü Jian,MA Xiao-Xing,TAO Xian-Ping.Study on Behavioral Compatibility of Components in Software Architecture Using Object-Oriented Paradigm.Journal of Software,2006,17(6):1276-1286