可以将各种“意外困难”分为3类：利益相关者、过程、建模。软件本身就是复杂的，软件的复杂性随着软件的应用领域的性质不同而不同。由于软件生产实践而带来的困难，可以由人为的干涉来解决。可以将各种“意外困难”分为3类：利益相关者、过程、建模。软件本身就是复杂的，软件的复杂性随着软件的应用领域的性质不同而不同。利益相关者是在软件项目中存在利害关系的人。
我们所讨论的分析建模概念足以产生完整的分析模型，但这些模型处于一个较高的抽象层次上，没有对分析建模阶段允许的所有可能的细节进行详尽的描述。在使用UML时，有超出其固有能力的需求，为了这个目的，UML标准提供了扩展机制，如构造型、约束、标签定义和标签值。可见性的概念和相对的封装思想在附录有关类内部的可见性，类属性和操作的整套可见性标志是：公共可见性、私有可见性、保护可见性、包可见性。导出信息是一种应用于属性或关联的约束，导出信息在模型中是冗余的。限定关系是在二元关联的一端，有一个属性框，框中包含一个或多个属性，这些属性可以作为一个索引码，用于穿越从被限定的源类到关联另一端的目标类的关联，有些人喜欢，有些人不喜欢。类之间的关系有：关联、聚合、泛化。封装要求只能通过对象接口中的操作才能访问对象的状态（属性值），封装与继承和查询能力是正交的，他不得不与这两个特性一起折中考率。当以可替换性为目标来使用泛化时，他就同接口继承概念是同一词了。一个用例表示：一个完整的功能，一个外部可见的功能，一个正交功能，由一个参与者启动的一个功能，给参与者传递确切值的一个功能。活动模型广泛地应用于设计中。顺序图和通信图是两种交互图，它们展现了对象之间为完成一个用例、一项活动、一个操作或其他行为构件所需的交互模式。类将一组操作作为服务提供给系统中的其他类，这组操作就确定了类的公共接口。
MVC几乎是所有现代框架的骨架，后来进一步扩展到企业和电子商务系通过。对象的状态由它的属性值和关联决定。因为对象状态是由数据结构确定，所以数据结构模型就称为状态规格说明书。类模型是面向对象系统开发的基础，类建立了一个基础，在这个基础上，系统的状态和行为才是可见的。关联连接着系统中的对象，它们使对象间的协作变得更容易。聚合及其更强的形式——复合，表示复合类和一个构建类之间的“整体—部分”语义。泛华关系是一个或多个类的公共特征（属性和操作）可以抽象到一个更一般化的类中，将一般类与特殊类连接起来。软件体系结构定义了系统中相互作用的软件构件及子系统的结构和组织形式。体系结构设计具有物理和逻辑两个方面。物理体系结构解决客户机和服务器问题，以及“粘结”客户机和服务器所需要的任何中间件问题。客户机/服务器（C/S）体系结构进行扩展来表示任意的分布式系统，分布需求来自的因素有：在制定机器上做专门处理的需求、从不同的地理位置访问系统的需求、经济上的考虑、适应性需求。个用例表示：一个完整的功能，一个外部可见的功能，一个正交功能，由一个参与者启动的一个功能，给参与者传递确切值的一个功能。活动模型广泛地应用于设计中。顺序图和通信图是两种交互图，它们展现了对象之间为完成一个用例、一项活动、一个操作或其他行为构件所需的交互模式。