Down345的专栏

标记subsets和redefines可以说是UML2.5.1中最重要的一对标记。标记subsets相对要好理解一些，但是redefines的含义就没有那么直白。先看一下目前已知的subsets和redefines的效果：假定图一中A1和B1的关联两端的标记都是subsets，那么这一对标记就意味着在向A1和B1的关联添加一个新链接时，也要将此链接添加到A和B之间的关联中；假定图一中A1和B1的关联两端的标记都是redefines，那么这一

通过这个例子，也给我们一个提示：如果某个类图有匪夷所思的内容，则可以结合相关的“Classifier Descriptions”和“Association Descriptions”中的内容进行复核，如果两者确实一致，则是我们的理解有问题；如果两者不一致，则是原文中的错误。

下面先简单列举一下subsets和redefines的特点： 关联端点具有标识subsets表明subsets一端的对象集合是被subsets一端的对象集合的子集。此时，subsets一端的类与被subsets一端的类之间必须存在继承关系。同时，subsets一端的角色名一定与被subsets一端的角色名不同。 关联端点具有标识redefines表明这是对被redefines的关联端点的重定义。此时，有两种情况：如果关联一端由类拥有

一个关联此端（Behavior）是不超过关联另一端重数上界（这里是1）的关联另一端（BehavioralFeature）对应的关联此端的角色名（method），（BehavioralFeature）称为关联此端（Behavior）的关联另一端的角色名（specification）。

那么我们到底能够从UML上获取哪些对信息系统构建有帮助的内容呢？通过观察UML2.5.1，本人发现了一个可以借鉴UML2.5.1的地方，那就是其中花样繁多的类图，尤其是被称为“抽象语法”的类图以及大量的类图例子。因为这些类图都是对建模领域所需要解决的问题的高度抽象，如果我们也能够掌握这种抽象能力，那将会使我们对所要构建的信息系统的建模工作大有裨益。而本文章系列的重点就在于通过对一些UML类图实例的理解来帮助那些对UML2.5.1中类图感到一筹莫展的读者进行学习和理解。

Action模型主要是融合了三项堪称黑科技的技术：无需考虑并发的并发模型、无需时间输入的时间模型、N元关联也支持Qualifier的关联模型。只要是有增删改查需求的系统都可以应用Action模型，从而使得Action模型具有广阔的应用前景。