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

A Distributed Software Architecture Description Language Based on Attributed Grammar

在线阅读下载全文

作  者:贾晓琳[1] 覃征[1] 何坚[1] 虞凡[1] 

机构地区:[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[自动化与计算机技术—计算机软件与理论]

 

参考文献:

正在载入数据...

 

二级参考文献:

正在载入数据...

 

耦合文献:

正在载入数据...

 

引证文献:

正在载入数据...

 

二级引证文献:

正在载入数据...

 

同被引文献:

正在载入数据...

 

相关期刊文献:

正在载入数据...

相关的主题
相关的作者对象
相关的机构对象