静态逻辑模型描述实例化（类成员关系）、关联、聚集（整体/部分）、和一般化（继承）等关系。这被称为对象模型。一般化关系表示属性和方法的继承关系。定义对象模型的图形符号体系通常是从用于数据建模的实体关系图导出的。对设计十分重要的约束，如基数（一对一、一对多、多对多），也在对象模型中表示。
动态逻辑模型描述对象之间的互相作用。互相作用通过一组协同的对象，对象之间消息的有序的序列，参与对象的可见性定义，来定义系统运行时的行为。
静态物理模型通过模块描述代码的布局。动态物理模型描述软件的进程和线程体系结构。