| 网构软件体系结构代数模型 |
| |
| 引用本文： | 赵会群,孙晶.网构软件体系结构代数模型[J].中国科学：信息科学,2013(1):161-177. |
| |
| 作者姓名： | 赵会群 孙晶 |
| |
| 作者单位： | 北方工业大学计算机系 |
| |
| 基金项目： | 国家自然科学基金项目(批准号:61070030,61111130121);北京市属高等学校人才强教深化计划学术创新团队项目(批准号:PHR201107107)资助 |
| |
| 摘 要： | 由于网络化软件的规模和复杂程度的不断增加,设计可伸缩的软件体系结构,开发可演化的软件系统遇到了挑战.挑战之一是很难把软件模型与原系统说明区分开来,使得软件系统的可演化性受到限制.一个有效的途径是建立可范用软件体系结构的抽象模型,指导网构软件设计,从而提高软件模型的概括能力和可伸缩能力.本文提出一种网构软件体系结构代数模型,其中一个创新思想是把网构连接子解释成网构变量的运算.结合代数学方法和软件实现技术,定义了6种网构连接运算,所有运算是对连接子的代数抽象,因此软件体系结构的抽象表达能力得到了加强.为了展示提出代数模型的建模与分析辅助作用,介绍了一个基于代数模型的网构软件设计与演化的案例研究.
|
| 关 键 词： | 网构软件体系结构 抽象代数 进程代数 软件演化 |
An algebraic model of Internetware software architecture |
| |
| ZHAO HuiQun & SUN Jing.An algebraic model of Internetware software architecture[J].Scientia Sinica Informationis,2013(1):161-177. |
| |
| Authors: | ZHAO HuiQun & SUN Jing |
| |
| Affiliation: | ZHAO HuiQun & SUN Jing Department of Computer Science,North China University of Technology,Beijing 100041,China |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
|
