吉林大学软件工程UML+OOA

面向对象=对象+类+继承+通过消息进行通信
类建模
- 类模型：描述系统内部对象的特征、对象之间的相互关系以及对象所属的每个类的属性和操作，捕获系统的静态特征。
- 类图：对类及其关系进行建模。
- 对象图：显示了单独的对象及其关系。
- 类图相当于对象图的无限集合。
- 类写法（类名：每个单词的首字母均大写）：
- 对象写法（与类写法相似，有下划线）：
- 链接（link）：是对象间物理上或概念上的连接
- 关联（association）：描述了有共同结构和语义的一组链接；
- 多重性（multiplicity）：指定了一个类与关联类的单个实例可能相关的实例数目。
- 对于同一个类的两个对象之间的关联来说，关联终端名是必需的。关联终端名也可以区分同一对类之间的多重关联。
- 关联类：
- 限定关联：
- 泛化和继承
- 聚合
- 组合（一个部件至多属于一个装配件；一个部件一旦被指定给一个装配件，它就与装配件有着共同的生存期。）
- 依赖关系（留心一下箭头方向，线是虚线）
- 抽象类：
  - 抽象类（abstract class）：是指没有直接的实例的类，但其子孙类有直接的实例。
  - 具体类（concrete class）：是指可以实例化的类，可以有直接的实例。
状态建模
- 状态模型刻画了对象及其关系随着时间的变化，描述响应外部激励而发生的操作序列。
- 状态模型由多个状态机图组成。
- 每个类对应一个状态机图。
- 事件：
  - 信号事件（signal event）：信号是指从一个对象到另一个对象的明确的单向信息流动
  - 变更事件（change event）：是指由满足布尔表达式而引起的事件。
  - 时间事件（time event）：是指在绝对时间上或在某个时间间隔内发生的事情所引起的事件。
- 迁移（transition）是指从一个状态到另一个状态的瞬时变化。从源状态到目标状态一发生变化，就说触发（fire）了迁移。
  - 当事件发生时，迁移就会触发
- 警戒条件（guard condition）是指为了让迁移发生而必须为真的布尔表达式。
  - 当事件发生时，警戒条件就会触发，但只有在条件为真的时候才会发生迁移
- 单触发状态图
  - 有限生存期
  - 发生的时间 $需要满足的条件$ / 产生的效果
  - 嵌套：右面大方框的每个小方框下一步都可以是【取消】
  - 历史状态：代表上次离开复合状态时的最后一个活动子状态
用例图
- 用例+参与者+关系+边界
- - include（方便复用）
  - extend
  - generalization（父亲的用例可以继承给孩子）
构造型：指在已有的模型元素基础上建立一种新的模型元素。它与现有元素要相差不多，只是多一些特别的语义。
4+1视图（以用例视图为核心）
分析类
- 实体类：系统要记录和维护的信息；边界类：系统和外部要素间交互的边界；控制类：Use Case中行为的协调
- 图形表示
- 实体类：描述必须存储的信息，以及与这些信息直接相关的操作；实体类与系统外部环境以及特定Use Case的控制逻辑要弱耦合。
- 边界类：注意这是概念层，不是要做具体界面
- 控制类：把Use Case特有的行为与系统其他部分（实体类、边界类）隔离开来；实体类和边界类有可能跨越多个Use Case