一种基于构件的软件体系结构求精方法及其应用 |
| |
引用本文: | 晏荣杰,张广泉.一种基于构件的软件体系结构求精方法及其应用[J].重庆师范大学学报(自然科学版),2003,20(2):1-5. |
| |
作者姓名: | 晏荣杰 张广泉 |
| |
作者单位: | 1. 华北电力大学计算机科学工程系,河北,保定,071003;中国科学院软件所计算机科学重点实验室,北京,100080 2. 重庆师范学院数学与计算机科学学院,重庆,400047;中国科学院软件所计算机科学重点实验室,北京,100080 |
| |
基金项目: | 国家自然科学基金(60073020),国家高科技研究发展计划(863)课题(2001AA113200),中国科学院开放基金(SYSKF0303),重庆市应用基础研究项目(7479),重庆市运筹学与控制论重点实验室资助项目。 |
| |
摘 要: | 软件体系结构是软件工程学科中一个较新的研究领域,目前对软件体系结构的形式化描述及求精方法的研究仍处于探索阶段。本文首先分析了基于行为替代、基于风格的体系结构求精方法的特点和不足,然后提出一种基于构件的体系结构求精方法,并以时序逻辑语言XYZ/E作为软件体系结构的形式化描述语言,通过一个具体开发实例对基于构件的体系结构求精方法及过程作了进一步论述。
|
关 键 词: | 软件体系结构 构件 形式化描述 求精 XYZ/E |
文章编号: | 1001-8905(2003)02-0001-05 |
修稿时间: | 2003年2月17日 |
Component-based Software Architecture Refinement and Its Application |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 CNKI 万方数据 等数据库收录! |
|