Title: | 双重软件体系结构描述框架XYZ/ADL |
Alternative Title: | the dual software architecture description framework xyz/adl
|
Author: | 朱雪阳
|
Keyword: | 软件体系结构
; 体系结构描述语言
; 双重描述框架
; XYZ/E
; 时序逻辑
; UML
; 活动图
; 状态图
; 形式语义
; 结构描述
; 框架
; 形式化方法
; 语义基础
; 图形语言
; 软件工程师
; 表示系统
; 体系结构设计
; 时序逻辑语言
; 软件开发过程
; 软件的可靠性
; 语言建模
; 形式语言
; 行为表示
; 前端
; 静态语义
; 结构框图
; 结构建模
; 基本概念Formal languages
; Formal methods
; Semantics
; Software engineering
; Software reliability
; Tem
|
Source: | 计算机研究与发展
|
Issued Date: | 2007
|
Volume: | 44, Issue:9, Pages:1485-1494 | Indexed Type: | EI
|
Department: | 中国科学院软件研究所基础软件国家工程研究中心,北京,100080;中国科学院软件研究所计算机科学重点实验室,北京,100080
|
Abstract: | 体系结构设计在软件开发过程中扮演着重要角色.工程中常用图形语言为软件体系结构建模,它们有直观、半形式化的优点;但是语义不够精确,难以对它们表示的模型进行分析,在这方面,形式化方法可与之互补.但在工程使用中仅用形式化语言建模又不太现实,所以如何结合二者之长以提高软件的可靠性已成为工业界和学术界共同关心的问题.提出了双重软件体系结构描述框架XYZ/ADL:支持工程中软件体系结构的基本概念,前端用一般的体系结构框图作为结构描述,用UML活动图、状态图作为抽象行为表示;后端用既可表示系统动态语义又可表示系统静态语 |
Language: | 中文
|
Content Type: | 期刊论文
|
URI: | http://ir.iscas.ac.cn/handle/311060/11306
|
Appears in Collections: | 计算机科学国家重点实验室 _期刊论文
|
File Name/ File Size |
Content Type |
Version |
Access |
License |
|
ADL.pdf(833KB) | -- | -- | 限制开放 | -- | 联系获取全文 |
|
Recommended Citation: |
朱雪阳. 双重软件体系结构描述框架XYZ/ADL[J]. 计算机研究与发展,2007-01-01,44(9):1485-1494.
|
|
|