缩略语
    UIS      UML Infrastructure Specification   UML基础结构规范
    UML    Unifed Modeling Language            统一建模语言
    USS    UML Superstructure Specification  UML上层结构规范

参考资料
     《UML Infrastructure Specification, v2.2》
     《UML Superstructure Specification, v2.2》
     《UML类图中的关联、聚合和组合》
     《UML类图中的依赖》
     《UML类图中的泛化》
     《UML类图中的类》
     《UML包图中的包和命名空间》

1.1 实例规范
    实例规范（instance specification，参见USS的7.3.22节）是用于表示被建模系统中的实例实体，它描述了模型实例实体的部分或是全部。我们平时编程时，口头上所说的实例，在UML中就称之为实例规范。实例规范所描述的内容可能包括：
    1）一个或是多个实例所属的分类器。在实例规范中一个分类器如果是类，那么它所描述的是这个类的对象；如果一个分类器是关联，那么它所描述的是这个关联的一个连接。
    2）结构化特性的值。结构化特性对应于类的属性用于描述类的结构组成，在类图中行为化特性是采用操作（operation）来表示的，而在对象图中并不表示类的行为特性。在实例规范中，我们并不是一定要表示所有实例的所有结构化特性。
    3）如何计算、推导或是构造实例。
   
    一个实例规范用于指示被建模系统中存在的实体，在实例规范中其信息可以是不完整的，其只侧重于表达所关心的信息。从图 1.1可以得到以下信息：
    1）一个实例规范是一个可打包元素，因为一个InstanceSpecification“是一个”PackageableElement。
    2）一个实例规范可以包含任意多个的槽，这从其slots组成属性可以看出。
    3）一个实例规范最多可以包含一个值规范（value specification，参见USS的7.3.54节），这从其specification组成属性可以看出。简单地说，值规范就是表示对于一个对象的可取值范围是什么。
    4）一个实例规范可以包含任意多个的分类器，这从其classifiers关联属性可以看出。
   
    一个实例规范可以包括槽，而每一个槽实际上是一个结构化特性的表达。实例规范是一个或是多个分类器的对象实例，因此，它是遵循分类器所定义的结构或是（和）行为规范的。一个没有槽的实例规范，并不是表示它没有结构化的特性，因为有可能那些结构特性并不是这一对象图所关心的。
   
    需要注意的是实例规范并不是被建模系统运行时的精确描述，而只是一个示例，其只是表示了相关的结构信息。我们不能从实例规范中推导任何的运行时对象结构方面的详细信息。
   
    图 1.2是一个使用实例规范的一个例子，其中每一个矩形框都是一个实例规范。图 1.3是其所对应的类图。其中my_car是一个不带有槽的实例，而其它的Window实例都是带有两个槽。你会注意到，实例规范的表示方法与类图中的类是相似的，但也有以下的区别：
    1）其名称下面具有一根下划线，在线上标明了这一实例的名称以及其所属的分类器），实例名与分类器之间采用‘:’进行分割，而如果有多个所属分类器，那么分类器之间采用逗号分开。图 1.2中所有的实例规范都只有一个分类器，比如my_car所属分类器是Car类，也就是说my_car是Car类的一个实例，而front_left、front_right、rear_left和rear_right都分别是Window类的一个实例。
    2）槽对应于类中的属性，但其在实例规范中都会有值。如果没有值那么通常不用在实例规范中表示出来。