依赖注入技术及其执行过程的形式化描述

被引：5

作者：

胡启敏

薛锦云

钟林辉

机构：

[1] 江西师范大学计算机信息工程学院

[2] 江西师范大学计算机信息工程学院江西南昌

[3] 中国科学院软件研究所计算机科学重点实验室

[4] 北京

[5] 江西南昌

来源：

关键词：

依赖注入; 基于构件的软件开发; 完全格; 形式化方法;

D O I：

暂无

中图分类号：

TP311.52 [];

学科分类号：

081202 ; 0835 ;

摘要：

依赖注入技术指由构件运行平台在运行期根据系统配置文件中定义的构件间的依赖关系,将被调用构件实例化,并注入到调用构件之中。本文在分析研究依赖注入技术的基础上,用完全格工具形式化地描述依赖注入的执行过程。

引用

页码：291 / 293

页数：3