检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]西安交通大学电子与信息工程学院,西安710049
出 处:《计算机研究与发展》2006年第1期54-60,共7页Journal of Computer Research and Development
基 金:国家"九七三"重点基础研究发展规化基金项目(2004CB719401)
摘 要:综合考虑当前各种软件构架描述方式的特点,结合分布式软件的特征,首先,提出并建立了一个以属性文法AG(attributed grammar)为基础的、基于构件的分布式软件构架描述语言DSADL(distributedsoftware architecture descriptionlanguage)及其自动生成模型,通过对属性文法的扩充,实现了用其描述构件的并行、同步、时序等特性;其次,借助于AG分析器和属性计算器,开发了基于DSADL的分布式软件构架开发集成环境原型,支持对分布式软件体系结构的图形化建模和ADL的自动生成,可方便地进行系统验证和分析·初步使用表明,DSADL能够有效辅助分布式软件设计人员在构架层次上对系统进行分析和设计,从而提高系统的开发效率·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.
关 键 词:软件构架 属性文法 分布式软件 体系结构描述语言
分 类 号:TP311.52[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.4