子系统是一种模型元素，具有包（其中可包含其他模型元素）和类（其具有行为）的语义。子系统的行为由其所包含的类或其他子系统提供。子系统实现一个或多个接口，这些接口定义子系统可以执行的行为。子系统与包在语义上具有差异：子系统是一种通过一个或多个所实现的接口来提供行为的包。包并不提供行为；只不过是用来容纳提供行为的对象的容器。

之所以要使用子系统而不使用包，是因为子系统完全封装自己的内容，只通过自己的接口提供行为。其好处在于，与包不同，只要子系统的接口保持不变，就可以完全自由地更改子系统的内容和内部行为。