| 形式化与可视化相结合的软件体系结构描述方法研究 |
| |
| 引用本文： | 戎玫,张广泉.形式化与可视化相结合的软件体系结构描述方法研究[J].计算机科学,2005,32(4):205-208. |
| |
| 作者姓名： | 戎玫 张广泉 |
| |
| 作者单位： | 1. 暨南大学深圳旅游学院,深圳,518053
2. 苏州大学计算机科学与技术学院,苏州,215006;重庆师范大学计算机科学学院,重庆,400047 |
| |
| 基金项目： | 国家自然科学基金(60073020)，中国科学院计算机科学国家重点实验室开放课题(SYSKF 0303)，重庆市教委科学技术研究项目(040803)，江苏省计算机信息处理技术重点实验室开放课题基金 |
| |
| 摘 要： | 软件体系结构是软件工程领域中一个重要的研究内容,研究软件体系结构的首要问题是如何描述一个软件系统的体系结构模型。本文通过集成XYZ/ADL与UML两种描述方法在软件体系结构中的应用,寻求一种基于时序逻辑理论的形式化方法与面向对象的可视化方法相结合的软件体系结构描述新途径。着重研究XYZ/ADL与UML在电梯控制系统体系结构建模中的应用问题,并运用基于构件的求精方法对该系统的主要组件进行了求精。
|
| 关 键 词： | 软件体系结构 建模 形式化方法 可视化方法 XYZ/ADL UML |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
