| 摘要: |
| 提出了软件体系结构工程的概念,建立了软件体系结构生命周期模型,并对软件体系结构进行了分类和建模,介绍了几种典型的软件体系结构语言,提出了一个基于时序逻辑的形式化体系结构语言——XYZ/SAE.该语言可作为系列化时序逻辑语言族XYZ/E的子语言,支持对软件体系结构中构件、连接件和配置的描述,并可在统一的框架下描述软件体系结构的静态行为和动态行为. |
| 关键词: 软件体系结构,软件体系结构建模,软件体系结构建模语言,时序逻辑,构件,连接件. |
| DOI： |
| 分类号: |
| 基金项目: |
|
| A Study of Software Architecture Modeling |
|
ZHOU Ying-xin,AI Bo
|
| Abstract: |
| The authors promote the concept of software architecture engineering, establish the life cycle of software architecture, classify the different kinds of software architectures and architecture modeling, introduce several typical software architecture modeling languages, give a formal architectural style modeling language XYZ/SAE(as a sub-language of a series of temporl logic languages——XYZ/E) in this paper. It supports the description of component, connector and configuration, and also static and dynamic aspects of software architecture. |
| Key words: Software architecture, software architecture modeling, software architecture modeling language, temporal logic, component, connector. |
