依赖注入技术及其执行过程的形式化描述 |
| |
引用本文: | 胡启敏,薛锦云,钟林辉.依赖注入技术及其执行过程的形式化描述[J].燕山大学学报,2005,29(4):291-293. |
| |
作者姓名: | 胡启敏 薛锦云 钟林辉 |
| |
作者单位: | 1. 江西师范大学,计算机信息工程学院,江西,南昌,330027;中国科学院软件研究所,计算机科学重点实验室,北京,100080 2. 江西师范大学,计算机信息工程学院,江西,南昌,330027 |
| |
基金项目: | 国家自然科学基金(No.60273092),国家973重大基础研究前期研究专项(No.2003CCA02800) |
| |
摘 要: | 依赖注入技术指由构件运行平台在运行期根据系统配置文件中定义的构件间的依赖关系,将被调用构件实例化,并注入到调用构件之中。本文在分析研究依赖注入技术的基础上,用完全格工具形式化地描述依赖注入的执行过程。
|
关 键 词: | 依赖注入 基于构件的软件开发 完全格 形式化方法 |
文章编号: | 1007-791X(2005)04-0291-03 |
修稿时间: | 2005年5月18日 |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
|