| 双重软件体系结构描述框架XYZ/ADL |
| 其他题名 | the dual software architecture description framework xyz/adl
|
| 朱雪阳
|
| 2007
|
| 发表期刊 | 计算机研究与发展
 |
| ISSN | 1000-1239
|
| 卷号 | 44期号:9页码:1485-1494 |
| 摘要 | 体系结构设计在软件开发过程中扮演着重要角色.工程中常用图形语言为软件体系结构建模,它们有直观、半形式化的优点;但是语义不够精确,难以对它们表示的模型进行分析,在这方面,形式化方法可与之互补.但在工程使用中仅用形式化语言建模又不太现实,所以如何结合二者之长以提高软件的可靠性已成为工业界和学术界共同关心的问题.提出了双重软件体系结构描述框架XYZ/ADL:支持工程中软件体系结构的基本概念,前端用一般的体系结构框图作为结构描述,用UML活动图、状态图作为抽象行为表示;后端用既可表示系统动态语义又可表示系统静态语 |
| 收录类别 | EI
|
| 关键词 | 软件体系结构
体系结构描述语言
双重描述框架
Xyz/e
时序逻辑
Uml
活动图
状态图
形式语义
结构描述
框架
形式化方法
语义基础
图形语言
软件工程师
表示系统
体系结构设计
时序逻辑语言
软件开发过程
软件的可靠性
语言建模
形式语言
行为表示
前端
静态语义
结构框图
结构建模
基本概念formal Languages
Formal Methods
Semantics
Software Engineering
Software Reliability
Tem
|
| 部门归属 | 中国科学院软件研究所基础软件国家工程研究中心,北京,100080;中国科学院软件研究所计算机科学重点实验室,北京,100080
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/11306
|
| 专题 | 基础软件与系统重点实验室
|
推荐引用方式
GB/T 7714 |
朱雪阳. 双重软件体系结构描述框架XYZ/ADL[J]. 计算机研究与发展,2007,44(9):1485-1494.
|
| APA |
朱雪阳.(2007).双重软件体系结构描述框架XYZ/ADL.计算机研究与发展,44(9),1485-1494.
|
| MLA |
朱雪阳."双重软件体系结构描述框架XYZ/ADL".计算机研究与发展 44.9(2007):1485-1494.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论