微信服务号

微信订阅号

2025年3月24日 17:36 星期一
首页 > 过刊浏览>2006年第17卷第6期 >1276-1286
PDF HTML阅读 XML下载 导出引用 引用提醒
面向对象范型体系结构中构件行为相容性研究
作者:
基金项目:

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))


Study on Behavioral Compatibility of Components in Software Architecture Using Object-Oriented Paradigm
Author:
  • 摘要
    • | |
  • 访问统计
    • |
  • 参考文献 [26]
    • |
  • 相似文献 [20]
    • |
  • 引证文献
    • | |
  • 文章评论
    摘要:

    软件体系结构(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.

    参考文献
    [1]Heineman GT,Councill WT.Component-Based Software Engineering.Boston:Addison-Wesley,2001.
    [2]Shaw M,Garlan D.Software Architecture:Perspectives on an Emerging Discipline.New Jersey:Prentice Hall,1996.
    [3]Inverardi P,Wolf AL.Formal specification and analysis of software architectures using the chemical abstract machine model.IEEE Trans.on Software Engineering,1995,21(4):373-386.
    [4]Bernardo M,Ciancarini P,Donatiello L.Architecting families of software systems with process algebras.ACM Trans.on Software Engineering and Methodology,2002,11(4):386-426.
    [5]Aalst WMP,Hee KM,Toorn RA.Component-Based software architectures:A framework based on inheritance of behavior.Science of Computer Programming,2002,42:129-171.
    [6]Mei H,Chen F,Feng YD,Yang J.ABC:An architecture based,component oriented approach to software development.Journal of Software,2003,14(4):721-732 (in Chinese with English abstract).http://www.jos.org.cn/1000-9825/14/721.htm
    [7]Canal C,Pimentel E,Troya JM.Compatibility and inheritance in software architectures.Science of Computer Programming,2001,41:105-138.
    [8]Mei H,Chang JC,Yang FQ.Software component composition based on ADL and middleware.Science in China (Series F),2001,44(2):136-151.
    [9]Szyperski C,Gruntz D,Murer S.Component Software:Beyond Object-Oriented Programming.2nd.Massachusetts:Addison-Wesley Professional,2002.
    [10]Vallecillo A,Hernandez J,Troya JM.New issues in object interoperability.In:Proc.of the ECOOP 2000 Workshop on Object Interoperability.LNCS 1964,France,2000.256-269.
    [11]Allen R,Garlan D.A formal basis for architectural connection.ACM Trans.on Software Engineering and Methodology,1997,6(3):213-249.
    [12]Aldini A,Bernardo M.On the usability of process algebra:An architectural view.Theoretical Computer Science,2005,335:281-329.
    [13]Magee J,Kramer J.Dynamic structure in software architectures.ACM SIGSOFT Software Engineering Notes,1996,21(6):3-14.
    [14]Lu J,Tao XP,Ma XY,Hu H,Xu F,Cao C.On agent-based software model for internetware.Science in China (Series E),2005,35(12):1233-1253 (in Chinese with English abstract).
    [15]Hu HY,Yang M,Tao XP,Lu J.Research and implememation of late assembly technology in cogent.Acta Electronica Sinca,2002,30(12):1823-1827 (in Chinese with English abstract).
    [16]Canal C,Fuentes L,Troya JM,Vallecillo A.Extending CORBA interfaces with π-calculus for protocol compatibility.In:Mitchell R,ed.Proc.of the Technology of Object-Oriented Languages and Systems.Washington:IEEE Computer Society.2000.208-225.
    [17]Brookes SD,Hoare CAR,Roscoe AW.A theory of communicating sequential processes.Journal of the ACM,1984,31(3):560-599.
    [18]Plasil F,Visuovsky S.Behavior protocols for software components.IEEE Trans.on Software Engineering,2002,28(11):1056-1076.
    [19]Milner R.Communicating and Mobile Systems:The π-Calculus.Cambridge:Cambridge University Press,1999.
    [20]Dashofy EM,Hoek AVD,Taylor RN.A comprehensive approach for the development of modular software architecture description languages.ACM Trans.on Software Engineering and Methodology,2005,14(2):199-245.
    [21]Mei H,Cao DG.ABC-S2C:Enabling separation of crosscutting concerns in component-based software development.ChineseJournal of Computers,2005,28(12):2036-2044 (in Chinese with English abstract).
    [22]Aldini A,Bernardo M.TwoTowers 4.0:Towards the integration of security analysis and performance evaluation.In:Haverkort B,ed.Proc.Of the 1st Int'l Conf.On the Quantitative Evaluation of Systems.Washington:IEEE Computer Society,2004.336-337.
    [6]梅宏,陈峰,冯耀东,杨杰.ABC:基于体系结构、面向构件的软件开发方法.软件学报,2003,14(4):721-732.http://www.jos.org.cn/1000-9825/14/72Lhtm
    [14]吕建,陶先平,马晓星,胡昊,徐峰,曹春.基于Agent的网构软件模型研究.中国科学E辑(信息科学),2005,35(12):1233-1253.
    [15]胡海洋,杨玫,陶先平,吕建.Cogent后组装技术研究与实现.电子学报,2002,30(12):1823-1827.
    [21]梅宏,曹东刚.ABC-S2C:一种面向贯穿特性的构件化软件关注点分离技术.计算机学报,2005,28(12):2036-2044.
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

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

复制
分享
文章指标
  • 点击次数:7684
  • 下载次数: 9652
  • HTML阅读次数: 0
  • 引用次数: 0
历史
  • 收稿日期:2006-01-10
  • 最后修改日期:2006-03-13
文章二维码
友情链接:中国科学院软件研究所中国计算机学会中国科学院国家自然科学基金委员会CCF数字图书馆Int'l J of Softw Info计算机系统应用
您是第19728431位访问者
版权所有：中国科学院软件研究所 京ICP备05046678号-3
地址：北京市海淀区中关村南四街4号,邮政编码：100190
电话：010-62562563 传真：010-62562533 Email：jos@iscas.ac.cn
技术支持：北京勤云科技发展有限公司

京公网安备 11040202500063号