模块，又称构件，是可以独自命名并独立地完结一定功用的程序语句的调集（即程序代码和数据结构的调集体）。它具有两个根本的特征：外部特征和内部特征。外部特征是指模块跟外部环境联系的接口（即其他模块或程序调用该模块的方法，包含有输入输出参数、引用的全局变量）和模块的功用；内部特征是指模块的内部环境具有的特点（即该模块的部分数据和程序代码）。