高级检索

    一个基于属性文法的分布式软件构架描述语言

    A Distributed Software Architecture Description Language Based on Attributed Grammar

    • 摘要: 综合考虑当前各种软件构架描述方式的特点,结合分布式软件的特征,首先,提出并建立了一个以属性文法AG(attributed grammar)为基础的、基于构件的分布式软件构架描述语言DSADL(distributed software architecture description language)及其自动生成模型,通过对属性文法的扩充,实现了用其描述构件的并行、同步、时序等特性;其次,借助于AG分析器和属性计算器,开发了基于DSADL的分布式软件构架开发集成环境原型,支持对分布式软件体系结构的图形化建模和ADL的自动生成,可方便地进行系统验证和分析.初步使用表明,DSADL能够有效辅助分布式软件设计人员在构架层次上对系统进行分析和设计,从而提高系统的开发效率.

       

      Abstract: Most of the existing software architecture description languages (ADL) are based on finite state machines models, and when they are used to describe the large scale systems, the problem of state explosion is difficult to overcome. In the distributed software system, lots of components communicate with each other with complex restrictions, so the specifications of the interaction among the components need to be described by using an efficient method. A model for describing distributed system specifications based on attribute grammar (AG) is described in this paper. First, the AG is extended to refine the characters of distributed software, such as parallelism, synchronization and timing, and a distributed software architecture description language (DSADL) is introduced, and then a prototype of integrated environment for software architecture design is proposed based on the AG analyzer and the AG attribute calculator ,which not only supports the construction of distributed software architecture by GUI and the automatic generation of ADL, but also provides the verification and the analysis of the system. Its initial application shows that DSADL can help the programmers to analyze and design distributed software effectively, so the efficiency of the development can be improved greatly.

       

    /

    返回文章
    返回