微信服务号

微信订阅号

2025年6月14日 17:57 星期六
首页 > 过刊浏览>2006年第17卷第6期 >1391-1400
PDF HTML阅读 XML下载 导出引用 引用提醒
软件体系结构模型单层化的一致性保障方法
作者:
基金项目:

Supported by the National Natural Science Foundation of China under Grant Nos.60233010, 60403030, 60503028,90412011,90612011 (国家自然科学基金); the High-Tech Development Program of China under Grant No.2005AA113030 (国家高技术研究发展计划(863)); the National Grand Fundamental Research 973 Program of China under Grant No.2002CB312003 (国家重点基础研究发展规(973)); the IBM University Joint Study Program (IBM大学合作研究计划)

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

    在软件体系结构(software architecture,简称SA)设计中,复合构件是具有内部结构的构件,它可以对复杂的SA模型进行层次化的组织.尽管大多数体系结构描述语言都支持复合构件,但常见的SA模型分析与验证工具仅支持单层的SA模型作为输入,且目前的主流构件运行平台都不支持带有内部结构的复合构件模型.因此,有必要将多层的SA模型转化为单层的SA模型(即"单层化")."单层化"的关键在于如何保证"单层化"前后SA模型的一致性.对该问题及其解决方案进行了系统而深入的研究,给出了SA模型一致性的形式化定义.在此基础上,提出了SA模型"单层化"的基本原则以及过程指南,并以一个构件化的邮件客户端为例,验证了该方法的可行性.

    Abstract:

    Composite components are components that have internal structures. Supported by almost all architecture description languages, composite components can organize architectural models in a hierarchical structure. However, most analysis and verification tools for SA model do not support composite components, neither do most component frameworks. Therefore, it is necessary to flatten the hierarchical SA model so that SA can play a more important role in practice. The most challenging issue in the flattening is how to assure the consistency between architectural models with and without composite components. In this paper, a formal definition of the consistency of an SA model is presented. Based on that, principles and guidelines for consistency assurance in flattening a hierarchical SA model are provided. Their feasibility is exemplified by a componentized email client.

    参考文献
    [1]Huang G,Wang QX,Mei H,Yang FQ.Research on architecture-based reflective middleware.Journal of Software,2003,14(11):1819-1826 (in Chinese with English abstract).http://www.jos.org.cn/1000-9825/14/1819.htm
    [2]Medvidovic N,Taylor RN.A classification and comparison framework for software architecture description languages.IEEE Trans.on Software Engineering,2000,26(1):70-93.
    [3]Allen J,Garlan D.A formal basis for architectural connection.ACM Trans.on Software Engineering and Methodology,1997,6(3):213-249.
    [4]Garlan D,Monroe R,Wile D.ACME:An architecture description language.In:Johnson JH,ed.Proc.of the Conf.of the Centre for Advanced Studies on Collaborative Research.Toronto:IBM Press,1997.7-21.
    [5]Dashofy EM,Hoek AD,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.
    [6]Wang XG,Feng YD,Mei H.ABC/ADL:An XML-based software architecture description language.Journal of Computer Research and Development,2004,41 (9):1521-1531 (in Chinese with English abstract).
    [7]Magee J,Krammer J.Dynamic structure in software architectures.ACM SIGSOFT Software Engineering Notes,1996,21(6):3-14.
    [8]Shaw M,Deline R,Zelesnik G.Abstractions and implementations for architectural connections.In:Press ICS,ed.Proc.of the 3rd Int'l Conf.on Configurable Distributed Systems.Annapolis:IEEE Computer Society Press,1996.2-10.
    [9]Miller G.The magic number seven,plus or minus two:Some limits on our capacity for processing information.The Psychological Review,1956,63(2):81-97.
    [10]Bozga M,Daws C,Maler O,Olivero A,Tripakis S,Yovine S.KRONOS:A model-checking tool for real-time systems.In:Hu AJ,.Vardi MY,eds.Proc.of the 10th Int'l Conf.on Computer Aided Verification.LNCS 1427,Vancouver:Springer-Verlag,1998.546-550.
    [11]Paula VCC,Ribeiro-Justo GR,Cunha PRF.Specifying and verifying reconfigurable software architectures.In:Nixon P,Ritchie I,eds.Proc.of the 5th Int'l Symup.on Software Engineering for Parallel and Distributed Systems (PDSE-2000).Limerick:IEEE Computer Society,2000.21-31.
    [12]Rodrigues MJN,Lucena L,Batista T.From acme to CORBA:Bridging the gap.In:Oquendo F,Warboys B,Morrison R,eds.Proc.of the 1st European Workshop of Software Architecture(EWSA'04).LNCS 3047,Berlin,Heidelberg:Springer-Verlag,2004.103-114.
    [13]Magee J,Tseng A,Kramer J,Composing distributed objects in CORBA.In:Proc.of the 3rd Int'l Symp.on Autonomous Decentralized Systems (ISADS'97).Berlin:IEEE,1997.257-263.
    [14]Paula VCC,Bastista T.Mapping an ADL to a component-based application development environment.In:Kutsche RD,Weber H,eds.Proc.of the 5th Int'l Conf.on Fundamental Approaches to Software Engineering (FASE 2002).Berlin,Heidelberg:Springer-Verlag,2002.128-142.
    [15]Mei H,Chen F,Wang QX,Feng YD.ABC/ADL:An ADL supporting component composition.In:George C,Miao H,eds.Proc.of the 4th Int'l Conf.on Formal Engineering Methods.Berlin,Heidelberg:Springer-Verlag,2002.38-47.
    [16]Bass L,Clements P,Kazman R.Software Architecture in Practice.2nd ed.,Boston:Addison Wesley,2003.
    [17]Lang F.Compositional verification using SVL scripts.In:Katoen JP,Stevens P,eds.Proc.of the 8th Int'l Conf.on Tools and Algorithms for the Construction and Analysis of Systems.Berlin,Heidelberg:Springer-Verlag,2002.465-469.
    [18]Holzmann GJ.The model checker SPIN.IEEE Trans.on Software Engineering,1997,23(5):279-295.
    [19]Victor B,Moller F.The mobility workbench:A tool for the π-calculus.LNCS 818,1994.428-440.
    [20]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
    [21]Magee J,Kramer J,Giannakopoulou D.Software architecture directed behaviour analysis.In:Press ICS,ed.Proc.of the 9th Int'l Workshop on Software Specification and Design (IWSSD-9).Ise-shima:IEEE,1998.144-146.
    [22]Mei H,Huang G.PKUAS:An architecture-based reflective component operating platform.In:Kawada S,ed.Proc.of the 10th IEEE Int'l Workshop on Future Trends of Distributed Computing Systems.Suzhou:IEEE Computer Society,2004.163-169.
    [23]Xiang JL,Yang J,Mei H.ABC-Tool:An architecture-based component composition tool.Journal of Computer Research and Development,2004,41(6):956-964 (in Chinese with English abstract). [1]黄罡,王千祥,梅宏,杨芙清.基于软件体系结构的反射式中间件研究.软件学报,2003,14(11):1819-1826.http://www.jos.org.cn/1000-9825/14/1819.htm
    [6]王晓光,冯耀东,梅宏.ABC/ADL:一种基于XML的软件体系结构描述语言.计算机研究与发展,2004,41(9):1521-1531.
    [20]梅宏,陈锋,冯耀东,杨杰.ABC:基于软件体系结构、面向构件的软件开发方法.软件学报,2003,14(4):721-732.http://www.jos.org.cn/1000-9825/14/721.htm
    [23]向俊莲,杨杰,梅宏.基于软件体系结构的构件组装工具ABC-Tool.计算机研究与发展,2004,41(6):956-964.
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

杨杰,黄罡,陈湘萍,梅宏,张成志.软件体系结构模型单层化的一致性保障方法.软件学报,2006,17(6):1391-1400

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

京公网安备 11040202500063号