| 构件运算的完整性证明及性质 |
| |
| 引用本文： | 李雄,张友生. 构件运算的完整性证明及性质[J]. 计算机工程与应用, 2006, 42(23): 24-26,57 |
| |
| 作者姓名： | 李雄 张友生 |
| |
| 作者单位： | 湖南师范大学计算机应用技术研究中心,长沙,410081;湖南师范大学计算机应用技术研究中心,长沙,410081 |
| |
| 基金项目： | 湖南省自然科学基金资助项目（编号：03JJY6022） |
| |
| 摘 要： | 当前对软件构件的描述均采用图形加文本的方式或形式化描述语言,这些描述对构件的动态行为、互操作和演化特征方面的描述明显不足,无法系统地科学地描述软件演化。软件演化是一个复杂的过程,这种复杂性决定了对软件演化的研究应从软件体系结构这一宏观层面入手。针对该问题,文章引入用代数理论对构件的属性和行为特征进行抽象而提出的用于描述体系结构的构件调用运算、协作运算和条件运算的新方法。该方法能够描述任意软件系统的体系结构和支持软件演化。在此基础上证明了构件运算系统是一个完整的代数系统,能够描述任意软件系统的体系结构,并探讨了构件运算的相关性质。
|
| 关 键 词： | 构件 体系结构 运算 完整性 |
| 文章编号： | 1002-8331-（2006）23-0024-03 |
| 收稿时间： | 2006-01-01 |
| 修稿时间： | 2006-01-01 |
The Integrity Proof & Character of Component Operations |
| |
| Li Xiong,Zhang Yousheng. The Integrity Proof & Character of Component Operations[J]. Computer Engineering and Applications, 2006, 42(23): 24-26,57 |
| |
| Authors: | Li Xiong Zhang Yousheng |
| |
| Affiliation: | Research Center of Computer Application Technologies,Hunan Normal University,Changsha 410081 |
| |
| Abstract: | |
| |
| Keywords: | component architecture operations integrity |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
