一种图文法制导的软件体系结构开发环境Artemis-GADE  

Artemis-GADE:A Graph Grammar-Directed Development Environment for Software Architecture

作　　者：邢阳[1,2] 谢德平[1] 马晓星[1] 曹春[1] 吕建[1] 

机构地区：[1]计算机软件新技术国家重点实验室(南京大学),南京210093 [2]江苏中烟工业公司,南京210011

出　　处：《计算机研究与发展》2010年第7期1165-1174,共10页Journal of Computer Research and Development

基　　金：国家"八六三"高技术研究发展计划基金项目(2007AA01Z178;2009AA01Z117);国家自然科学基金项目(60736015);新世纪优秀人才支持计划基金项目(NCET-07-0419);江苏省自然科学基金项目(BK2008017)

摘　　要：图形化、集成化的软件体系结构开发环境对于推动软件体系结构相关技术的研究和应用具有重要的意义.提出了一种基于图文法的可视化编辑环境生成机制.对于给定的软件体系结构风格的图文法描述,可以自动生成相应的图文法制导的体系结构编辑工具.与常见的基于Meta-Model的开发环境相比,这种图文法制导的开发方式更多地利用了相应软件体系结构风格的内在语义,从而提高了环境的易用性和可靠性.设计并实现了一个原型系统Artemis-GADE(graph grammar-directed architecture development environment),初步验证了上述途径的可行性.With the increasing size and complexity of software systems, the focus of software development has been shifting from algorithms and data structures to software architectures. Graphical and integrated software architecture development environments are becoming more and more important for the research and practice of software architectures-centric system development. Proposed in this paper is a generative framework for graph grammar-based visual development environment. Given a description of a certain software architecture style in graph grammar, the framework can automatically generate a corresponding graph grammar-directed environment. Compared with existing work of meta-model-based tools, this graph grammar-directed approach is more intuitive as it uses graphic notations, while it is still equipped with a rich set of formal semantics and reasoning theories. It encodes more style-specific semantics and dynamic evolution of software architectures is also depicted with graph transformations. It makes better use of the implicit semantics of software architecture style, and hence makes the generated environment easier to use and more reliable. A prototype system Artemis-GADE has been designed and implemented. Besides graph grammar-directed visual editing of software architecture specifications, Artemis-GADE provides feasible supports for the activities in the whole lifecycle of software architecture-centric system construction and evolution, including online system adaption based on dynamic architecture reconfigurations.

关 键 词：软件体系结构 属性图文法 语法制导 可视化 开发环境 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]