微信服务号

微信订阅号

2025年4月7日 14:00 星期一
首页 > 过刊浏览>2006年第17卷第6期 >1298-1306
PDF HTML阅读 XML下载 导出引用 引用提醒
基于反射的连接器组合重用方法
作者:
基金项目:

Supported by the National Nature Science Foundation of China under Grant No.60473066(国家自然科学基金);the Young Outstanding Talent Foundation of Hubei Province ofChina under Grant No.2003ABB004(湖北省青年杰出人才基金)

  • 摘要
    • | |
  • 访问统计
    • |
  • 参考文献 [18]
    • |
  • 相似文献 [20]
    • |
  • 引证文献
    • | |
  • 文章评论
    摘要:

    连接器的建模与分析是复杂软件体系结构设计的一个重要问题.基于反射机制,提出了一种连接器的组合重用方法.为了支持这一想法,借用CSP进程间的运算,提出了连接器组合的一组元操作,并给出了组合连接器的CSP语义.该方法能为连接器提供一种增量式的开发方式,并且由于其严格的形式化基础,适合进行形式化分析和自动检查.

    Abstract:

    A critical issue for complex software architecture design is the modeling and analysis of connectors. This paper argues for an approach to composite reuse of connectors based on reflection. To support this notion a set of mata-operations of connectors composition steming from the operations between processes in CSP have been identified, and the CSP semantics of composite connector are also provided. As it will be shown that it provides mechanisms for designing connectors in an incremental way, and can be analysed and checked automatically owing to the formal basis.

    参考文献
    [1]Shaw M.Architectural issues in software reuse:It's not just the functionality,it's the packaging.In:Samadzadeh M,Zand M,eds.Proc.of the 1995 Symp.on Software Reusability.New York:ACM Press,1995.3-6.
    [2]Sun CA,Jin MZ,Liu C.Overviews on software architecture research.Journal of Software,2002,13(7):1228-1237 (in Chinese with English abstract).http://www.jos.org.cn/1000-9825/13/1228.htm
    [3]Medvidovic N,Taylor RN.A classification and comparison framework for software architecture description languages.IEEE Trans.on Software Engineering,2000,26(1):70-93.
    [4]Allen RJ.A formal approach to software architecture[Ph.D.Thesis].Pittsburgh:Carnegie Mellon University,1997.
    [5]Allen R,Garlan D.A formal basis for architectural connection.ACM Trans.on Software Engineering and Methodology,1997,6(3):213-249.
    [6]Allen R,Douence R,Garlan D.Specifying and analyzing dynamic software architectures.In:Astesiano E,ed.Proc.of the 1st Int'lConf.on Fundamental Approaches to Software Engineering.Berlin:Springer-Verlag,1998.21-37.
    [7]Magee J,Dulay N,Eisenbach S,Kramer J.Specifying distributed software architectures.In:Schafer W,Botella P,eds.Proc.of the 5th European Software Engineering Conf.Berlin:Springer-Verlag,1995.137-153.
    [8]Magee J,Kramer J.Dynamic structure in software architectures.In:Kaiser GE,ed.Proc.of the 4th ACM SIGSOFT Symp.on Foundations of Software Engineering.New York:ACM Press,1996.3-14.
    [9]Luckham DC,Augustin LM,Kenney JJ,Vera J,Bryan D,Mann W.Specification and analysis of system architecture using rapide.IEEE Trans.on Software Engineering,1995,21(4):336-355.
    [10]Cuesta CE,de la Fuente P,Barrio-Solorzano M.Dynamic coordination architecture through the use of reflection.In:Lamont GB,ed.Proc.of the 2001 ACM Symp.on Applied Computing.New York:ACM Press,2001.134-140.
    [11]Morrison R,Kirby G,Balasubramaniam D,Mickan K,Oquendo F,Cimpan S,Warboys B,Snowdon B,Greenwood RM.Support for evolving software architectures in the ArchWare ADL.In:Proc.of the 4th Working IEEEE/IFIP Conf.on Software Architecture.4Washington:IEEE Computer Society,2004.69-78.
    [12]Cazzola W,Savigni A,Sosio A,Tisato F.Architectural reflection:Concepts,design,and evaluation.Technical Report,RI-DSI234-99,Milano:University of Milano Bicocca,1999.
    [13]Spitznagel B,Garlan D.A compositional approach for constructing connectors.In:Kazman R,Kruchten P,Verhoef C,van Vliet H,eds.Proc.of the 2nd Working IEEEE/IFIP Conf.on Software Architecture.Washington:IEEE Computer Society,2001.148-157.
    [14]Lopes A,Wermelinger M,Fiadeiro JL.Higher-Order architectural connectors.ACM Trans.on Software Engineering and Methodology,2003,12(1):64-104.
    [15]Hoare CAR.Communicating Sequential Processes.Englewood Cliffs.New Jersey:Prentice Hall,1985.
    [16]Maes P.Concepts and experiments in computational reflection.In:Meyrowitz N,ed.Proc.of Conf.on Object-oriented Programming Systems,Languages and Applications.New York:ACM Press,1987.147-155.
    [17]Formal Systems (Europe) Ltd.Failures divergence refinement:User manual and tutorial.Version 1.3,1993.http://www.fsel.com
    [2]孙昌爱,金茂忠,刘超.软件体系结构研究综述.软件学报,2002,13(7):1228-1237.http://www.jos.org.cn/1000-9825/13/1228.htm
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

熊惠民,应时,虞莉娟,张韬.基于反射的连接器组合重用方法.软件学报,2006,17(6):1298-1306

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

京公网安备 11040202500063号