需求规格说明涉及对客户需求在需求确定期间进行详细建模，特别关注系统预期提供的服务。
软件体系结构定义了系统内软件组件和子系统之间的相互作用方式以及它们的结构和组织形式。模型-视图-控制器（MVC）框架是许多现代体系结构框架和相关设计模式的支持者。
模型对象代表了数据对象，即业务领域中的业务实体和业务规则。MVC几乎成为了所有现代框架的核心，后来还扩展到企业和电子商务系统。
对象的状态由其属性值和关联来决定。因为对象状态是由数据结构确定的，因此数据结构模型也被称为状态规格说明书。类模型是面向对象系统开发的基础，类为系统的状态和行为提供了可见性。关联连接系统中的对象，简化了它们之间的协作。
聚合及其更强的形式——复合，表示了复合类和构建类之间的“整体—部分”关系。泛化关系将一般类与特殊类联系起来，通过共同的属性和操作进行抽象。
接口虽然没有实现，但提供了强大的建模能力。接口没有属性、关联或状态，所有操作都是公共和抽象的。
建模涉及系统的定义，模型本身不是可执行系统，不包含实例对象。
行为规格说明提供了系统操作的视图，主要任务是定义应用领域的用例，并确定在这些用例的执行中涉及哪些类，以及类之间的消息传递。
一个用例代表一个完整的功能，一个对外可见的功能，一个正交功能，由一个参与者启动的功能，以及传递精确值给参与者的功能。
活动模型广泛用于设计中，顺序图和通信图是两种交互图，展示了为完成用例、活动、操作或其他行为组件所需的对象之间的互动模式。
类作为系统中其他类的服务提供者，其一组操作定义了类的公共接口。状态图用于表示状态和状态转换，适用于具有动态行为的类，但并不是所有类都需要在类图中建立状态模型。
软件开发的现实情况通常更为复杂，没有一种简单的解决方案适用于所有复杂问题，对象技术成为构建复杂系统的流行技术。
我们所讨论的分析建模概念足以生成完整的分析模型，但这些模型在较高抽象级别上操作，没有详细描述分析建模阶段允许的所有可能细节。
在使用UML时，有一些需求可能超出其固有能力范围，为此，UML标准提供了扩展机制，如构造型、约束、标签定义和标签值。
可见性的概念和封装思想在附录中有关类内部可见性的讨论。类属性和操作的可见性标志包括公共可见性、私有可见性、保护可见性和包可见性。
导出信息是一种应用于属性或关联的约束，它在模型中是冗余的。限定关系出现在二元关联的一端，有一个属性框，其中包含一个或多个属性，这些属性可作为索引码，用于跨越从被限定的源类到关联的目标类的关联。对于这种关系，有人喜欢，有人不喜欢。类之间的关系包括关联、聚合和泛化。