摘要
软件系统的体系结构对于软件开发具有重要的意义 ,然而现有软件体系结构描述语言及其支撑系统在可追溯性和动态性两个方面尚有不足 .利用自省计算的原理和技术 ,提出一种将体系结构具体化为系统实现中可见可控的实体 ,并在其基础上构建系统的新途径 .这样 ,软件体系结构的抽象描述和具体实现都基于统一的模型 ,从而可以保证可追溯性 ;而通过自省设施亦可达成对软件体系结构动态行为的有效支持和控制 .遵循这个途径 ,给出了一种面向图的软件体系机构描述和实现的具体框架及其一种基于edNCE图文法形式模型 。
The architecture of a software system is a high_level specification produced at the early stage of system development,and serves as an important guide for the following development.However,existing description languages of software architecture and their supporting systems have their weakness in terms of traceability and dynamism.In this paper a new approach for architecture description and implementation is proposed based on the principle and technology of reflective computation.With this approach the architecture of a software system is reified as an explicit and tangible object,based on which the system is constructed.This object provides a unified model for both the abstract description and the concrete implementation of the system architecture,which ensures architectural traceability.It also provides an explicit locus for the implementation and the control of dynamic architecture behaviors.Following this approach,a graph_oriented framework for the description and implementation of software architectures is presented,as well as one of its possible formal models based on edNCE graph grammars.We have also built a prototype supporting system in the World Wide Web environment.
出处
《南京大学学报（自然科学版）》
CAS
CSCD
北大核心
2004年第2期146-155,共10页
Journal of Nanjing University（Natural Science）
基金
国家自然科学基金 (60 2 73 0 3 4
60 2 3 3 0 10 )
863计划 (2 0 0 2AA1160 10
2 0 0 1AA113 110 )
973计划(2 0 0 2CB3 12 0 0 2 )
江苏省自然科学基金 (BK2 0 0 2 2 0 3
BK 2 0 0 2 40 9)
