主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2018年第12期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
胡海洋,吕建,马晓星,陶先平.面向对象范型体系结构中构件行为相容性研究.软件学报,2006,17(6):1276-1286
面向对象范型体系结构中构件行为相容性研究
Study on Behavioral Compatibility of Components in Software Architecture Using Object-Oriented Paradigm
投稿时间:2006-01-10  修订日期:2006-03-13
DOI:
中文关键词:  构件  构件组装  软件体系结构  行为相容  死锁
英文关键词:component  component composition  software architecture  behavioral compatibility  deadlock-free
基金项目: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))
作者单位
胡海洋 计算机软件新技术国家重点实验室(南京大学),江苏,南京,210093
南京大学,计算机软件研究所,江苏,南京,210093 
吕建 计算机软件新技术国家重点实验室(南京大学),江苏,南京,210093
南京大学,计算机软件研究所,江苏,南京,210093 
马晓星 计算机软件新技术国家重点实验室(南京大学),江苏,南京,210093
南京大学,计算机软件研究所,江苏,南京,210093 
陶先平 计算机软件新技术国家重点实验室(南京大学),江苏,南京,210093
南京大学,计算机软件研究所,江苏,南京,210093 
摘要点击次数: 5214
全文下载次数: 5158
中文摘要:
      软件体系结构(SA)为基于构件的软件开发提供了一种高层次的抽象.如何有效描述体系结构中构件的对外交互行为、验证组装构件间的行为相容及保证整个体系结构行为死锁是其中较为重要的研究内容.在基于面向对象范型这类重要的软件体系结构中,构件组装通常是通过接口方法调用加以实现.针对这样一类基于软件体系结构的构件组装问题,形式描述与定义了构件及其对外交互协议,分析了服务请求构件与服务提供构件所能展示的不同行为,给出了组装交互的构件在请求/提供接口上协议级行为相容的一组验证规则及相关定理.最后,通过一个电子商务应用实例来说明所提出途径的可用性和针对性.
英文摘要:
      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.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利