微信服务号

微信订阅号

2025年3月26日 5:48 星期三
首页 > 过刊浏览>2008年第19卷第8期 >1881-1892
PDF HTML阅读 XML下载 导出引用 引用提醒
基于图文法的动态软件体系结构支撑环境
作者:
基金项目:

Supported by the National Natural Science Foundation of China under Grant No.60736015 (国家自然科学基金); the National High-Tech Research and Development Plan of China under Grant Nos.2006AA01Z159, 2007AA01Z178 (国家高技术研究发展计划(863)); the Fund for Creative Research Groups of NSFC under Grant No.60721002 (国家基金委创新研究群体项目); the Program for New Century Excellent Talents in University of China under Grant No.NCET-07-0419 (新世纪优秀人才支持计划)

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

    使用类型化的属性图及其图文法来直观而形式地刻画软件体系结构和体系结构风格,用图转换来刻画动态体系结构的重配置行为.基于这种刻画,构建了一个动态软件体系结构支撑环境.该环境一方面,通过一个基于图文法的编辑器来支持体系结构图模型的可视化构造和操纵;另一方面,基于内置运行时体系结构技术实现了体系结构图模型在具体系统中的物理实施,并使得图模型上的图转换操作可以自动映射到实际系统的动态重配置上.再加上一系列的辅助设施,形成了一个较为完整的基于图文法的动态软件体系结构支撑环境.

    Abstract:

    In this paper, software architectures and architecture styles are modeled with attributed typed graphs and graph grammars respectively. Accordingly, dynamic reconfigurations of software architectures are modeled with graph transformations. Based on such a modeling, a supporting environment is constructed twofold. Firstly, the visual manipulation of the graphical representation of software architectures is supported with a graph grammar- enabled editor. Secondly, the graphical architecture model is reified as a runtime software architecture object built into the physical running system, through which graph transformations of the architecture model is then naturally reflected as dynamic reconfigurations of the running system.

    参考文献
    [1]Shaw M,Garlan D.Software Architecture:Perspective on an Emerging Discipline.Upper Saddle River:Prentice Hall,1996.
    [2]Shaw M,Clements P.The golden age of software architecture.IEEE Software,2006,23(2):31-39.
    [3]Allen R,Douence R,Garlan D.Specifying and analyzing dynamic software architectures.In:Astesiano E,ed.Fundamental Approaches to Software Engineering (FASE'98).Berlin:Springer-Verlag,1998.21-37.
    [4]Garlan D,Monroe RT,Wile D.Acme:Architectural description of component-based systems In:Sitaraman M,ed.Foundations of Component-Based Systems.Cambridge:Cambridge University Press,2000.47-68.
    [5]Oreizy P,Gorlick MM,Taylor RN,Heimbigner D,Johnson G,Medvidovic N,Quilici A,Rosenblum DS,Wolf AL.An architecture-based approach to self-adaptive software.IEEE Intelligent Systems,1999,14(3):54-62.
    [6]Oquendo F,Warboys B,Morrison R,Dindeleux R,Gallo F,Garavel H,Occhipinti C.Archware:Architecting evolvable software.In:Oquendo F,ed.European Workshop on Software Architecture.Berlin:Springer-Verlag,2004.257-271.
    [7]Rozenberg G.Handbook of Graph Grammars and Computing by Graph Transformation,Vol.1.River Edge:World Scientific,1997.
    [8]Metayer DL.Describing software architecture styles using graph grammars.IEEE Trans.on Software Engineering,1998,24(7):521-533.
    [9]Taentzer G.AGG:A graph transformation environment for modeling and validation of software.In:Pfaltz JL,Nagl M,Bohlen B,eds.Applications of Graph Transformations with Industrial Relevance.LNCS 3062,Berlin:Springer-Verlag,2004.446-453.
    [10]de Lara J,Bardohl R,Ehrig H,Ehrig K,Prange U,Taentzer G.Attributed graph transformation with node type inheritance.Theoretical Computer Science,2007,376(2):139-163.
    [11]Ehrig H,Prange U,Taentzer G.Fundamental theory for typed attributed graph transformation.In:Ehrig H,et al.,eds.Proc.of the ICGT 2004.LNCS 3256,Berlin:Springer-Verlag,2004.161-177.
    [12]Kramer J,Magee J.Analysing dynamic change in distributed software architectures.IEE Proc.-Software,1998,145(5):146-154.
    [13]Ma XX,Yu P,Tao XP,Lü J.A service-oriented dynamic coordination architecture and its supporting system.Chinese Journal of Computers,2005,28(4):467-477 (in Chinese with English abstract).
    [14]Ma XX,Zhou Y,Pan J,Yu P,Lü J.Constructing self-adaptive systems with polymorphic software architecture In:Proc.of the 19th Int'l Conf.on Software Engineering and Knowledge Engineering.Skokie:Knowledge Systems Institute Graduate School,2007.2-8.
    [15]Lü J,Tao XP,Ma XX,Hu H,Xu F,Cao C.On agent-based Internetware model.Science in China (Series E),2005,35(12):1233-1253 (in Chinese with English abstract).
    [16]Zhang K,Zhang DQ,Cao J.Design,construction,and application of a generic visual language generation environment.IEEE Trans.on Software Engineering,2001,27(4):289-307.
    [17]Maes P.Concepts and experiments in computational reflection.ACM SIGPLAN Notices,1987,22(12):147-155.
    [18]Garlan D,Cheng SW,Huang AC.Rainbow:Architecture-Based self-adaptation with reusable infrastructure.IEEE Computer,2004,37(10):46-54.
    [19]Zhou Y,Pan J,Ma X,Luo B,Tao X,Lü J.Applying ontology in architecture-based self-management applications.In:Cho P,Wainwright RL,Haddad HM,Shin SY,Koo YW,eds.Proc.of the 2007 ACM Symp.on Applied Computing.New York:ACM Press,2007.97-103.
    [20]van Lamsweerde A.From system goals to software architecture.In:Bernardo M,Inverardi P,eds.Formal Methods for Software Architectures.Berlin:Springer-Verlag,2003.25-43.
    [21]Teitelbaum T,Reps T.The cornell program synthesizer:A syntax-directed programming environment.Communications of the ACM,1981,24(9):563-573.
    [22]Tsiolakis A.Consistency analysis of UML class and sequence diagrams based on attributed typed graphs and their transformation.Berlin:Department of Computer Science,Technische Universitt Berlin,2000.
    [23]Schürr A.Introduction to PROGRESS,an attribute graph grammar based specification language.In:Nagl M,ed.Proc.of the 15th Int'l Workshop on Graph-Theoretic Concepts in Computer.Berlin:Springer-Verlag,1990.151-165.
    [24]Hirsch D,Inverardi P,Montanari U.Graph grammars and constraint solving for software architecture styles.In:Magee JN,Perry DE,eds.Proc.of the 3rd Int'l Workshop on Software Architecture.New York:ACM Press,1998.69-72.
    [25]Kong J,Zhang K,Dong J,Song G.A generative style-driven framework for software architecture design.In:Proc.of the 29th Annual IEEE/NASA Software Engineering Workshop.Washington:IEEE Computer Society Press,2005.173-182.
    [26]Wermelinger M,Fiadeiro JL.A graph transformation approach to software architecture reconfiguration.Science of Computer Programming,2002,44(2):133-155.
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

马晓星,曹 春,余 萍,周 宇.基于图文法的动态软件体系结构支撑环境.软件学报,2008,19(8):1881-1892

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

京公网安备 11040202500063号