双重软件体系结构描述框架XYZ/ADL
文献类型：期刊论文
| 作者 | 朱雪阳 |
| 刊名 | 计算机研究与发展
 |
| 出版日期 | 2007 |
| 卷号 | 44期号:9页码:1485-1494 |
| 关键词 | 软件体系结构 体系结构描述语言 双重描述框架 XYZ/E 时序逻辑 UML 活动图 状态图 形式语义 结构描述 框架 形式化方法 语义基础 图形语言 软件工程师 表示系统 体系结构设计 时序逻辑语言 软件开发过程 软件的可靠性 语言建模 形式语言 行为表示 前端 静态语义 结构框图 结构建模 基本概念Formal languages Formal methods Semantics Software engineering Software reliability Tem |
| ISSN号 | 1000-1239 |
| 其他题名 | the dual software architecture description framework xyz/adl |
| 中文摘要 | 体系结构设计在软件开发过程中扮演着重要角色.工程中常用图形语言为软件体系结构建模,它们有直观、半形式化的优点;但是语义不够精确,难以对它们表示的模型进行分析,在这方面,形式化方法可与之互补.但在工程使用中仅用形式化语言建模又不太现实,所以如何结合二者之长以提高软件的可靠性已成为工业界和学术界共同关心的问题.提出了双重软件体系结构描述框架XYZ/ADL:支持工程中软件体系结构的基本概念,前端用一般的体系结构框图作为结构描述,用UML活动图、状态图作为抽象行为表示;后端用既可表示系统动态语义又可表示系统静态语 |
| 收录类别 | EI |
| 语种 | 中文 |
| 公开日期 | 2011-07-01 |
| 附注 | Software architecture plays a critical role in the process of software development. Graphical languages are widely used in software architectural modeling. They have advantages of being intuitive and semi-formal. However, the lack of precise semantics mak |
| 源URL | [http://124.16.136.157/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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。