软件工程之静态建模

静态模型：有助于设计包、类名、属性和方法特征标记（但不是方法体）的定义，例如UML类图。

用例的关系：

扩展关系：

扩展关系允许一个用例（可选）扩展另一个用例（基用例）提供的功能。注意扩展只能在特定的设计点发生，称这个点为扩展点（通常为测试条件点，行为在该点开始分支）。

基用例路径本身是完整的，原来可能是一条扩展路径。

寻找用例中的特殊场景：用例中的特殊场景点，（例如，购物，包括支付卡，现金，优惠卷等），（例如，定价，包括打折的业务规则）。

 

包含关系:

何时使用包含关系：

某些步骤在多个用例重复出现，且单独形成价值，即用例之间的公共功能。

已经有现成的公共用例存在，只需拿来使用即可。

用例的步骤较多时，可以用Include简化（慎用）

泛化关系：

用例之间的泛化：一个任务与该任务的一个特殊版本之间的关系。

例子：在买票系统中，个人购买和团体购买都是买票的特例。

采用关系不同，文档结构不同（如果改成extend，则表示识别用户用例中的另外一条路径）

讨论：泛化与扩展的区别

如果打算描述一个根据“运行时”条件有可能在某一时刻增加的附加行为，则可以使用扩展。

如果希望标记整个任务的一个特定版本，就应该用泛化。

类图

    类图，描述类和类之间的静态关系。

     类图由类及其关系组成，类包含属性和操作，类可以和其它类之间具有关系。

     类图是定义其它图的基础，在类图的基础上,可以用状态图、合作图等进一步描述系统其他方面的特性。

对象间关系－关联关系 

普通关联：只要类之间存在连接关系

递归关联：类与自身的关联，例如在一个公司中，一个老板管理多个工人，而老板和工人都属于员工类。

多重关联：多个类之间的关联，如工厂的机器、工人、产品

有序关联：一般在重数为“多”的关联端的对象是一个无需的集合，如果要求这些对象是有序的，则在“多”端用{ordered}来指明,如目录和文件

聚集，表示类间的包含，组成关系

共享聚集，组成课题组的人，可以是另一个课题组成员。

组合聚集

组成类率属于整体类，整体类不存在，不分类也不存在。

泛化关系

泛化表示类之间的关系是“一般”与“特殊”的关系。泛化也称为继承，在UML中对泛化有3个要求：

特殊元素应具有一般元素的所有特性，如：关联、操作、属性

特殊元素还包含额外信息

允许使用一般元素实例的地方，也应能使用特殊元素