Institutional Repository
| 双重软件体系结构描述框架XYZ/ADL | |
| Alternative Title | the dual software architecture description framework xyz/adl |
| 朱雪阳 | |
| 2007 | |
| Source | 计算机研究与发展
 |
| ISSN | 1000-1239 |
| Volume | 44Issue:9Pages:1485-1494 |
| English Abstract | 体系结构设计在软件开发过程中扮演着重要角色.工程中常用图形语言为软件体系结构建模,它们有直观、半形式化的优点;但是语义不够精确,难以对它们表示的模型进行分析,在这方面,形式化方法可与之互补.但在工程使用中仅用形式化语言建模又不太现实,所以如何结合二者之长以提高软件的可靠性已成为工业界和学术界共同关心的问题.提出了双重软件体系结构描述框架XYZ/ADL:支持工程中软件体系结构的基本概念,前端用一般的体系结构框图作为结构描述,用UML活动图、状态图作为抽象行为表示;后端用既可表示系统动态语义又可表示系统静态语 |
| Indexed Type | EI |
| Keyword | 软件体系结构 体系结构描述语言 双重描述框架 Xyz/e 时序逻辑 Uml 活动图 状态图 形式语义 结构描述 框架 形式化方法 语义基础 图形语言 软件工程师 表示系统 体系结构设计 时序逻辑语言 软件开发过程 软件的可靠性 语言建模 形式语言 行为表示 前端 静态语义 结构框图 结构建模 基本概念formal Languages Formal Methods Semantics Software Engineering Software Reliability Tem |
| Department | 中国科学院软件研究所基础软件国家工程研究中心,北京,100080;中国科学院软件研究所计算机科学重点实验室,北京,100080 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/11306 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| ADL.pdf（833KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment