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

Dependency injection and its execution's formal description

作　　者：胡启敏[1,2] 薛锦云[1,2] 钟林辉[1] 

机构地区：[1]江西师范大学计算机信息工程学院 [2]中国科学院软件研究所计算机科学重点实验室,北京100080

出　　处：《燕山大学学报》2005年第4期291-293,共3页Journal of Yanshan University

基　　金：国家自然科学基金(No.60273092);国家973重大基础研究前期研究专项(No.2003CCA02800)

摘　　要：依赖注入技术指由构件运行平台在运行期根据系统配置文件中定义的构件间的依赖关系,将被调用构件实例化,并注入到调用构件之中。本文在分析研究依赖注入技术的基础上,用完全格工具形式化地描述依赖注入的执行过程。Dependency injection meansthat component platforms create called components and inject themtotheir calleraccording to their dependency defined in file. Based on analyzing and studying dependency injection, a formal description for it's execution with a kind of mathematical tool named complete lattice is given in this paper.

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

分 类 号：TP301[自动化与计算机技术—计算机系统结构]