(精)第3章构建分析模型——最新.ppt

第3章 构建分析模型 分析建模的目标与原则 统一建模语言—UML 数据建模 面向流的建模 基于场景的建模 基于类的建模 基于行为的建模 3.1 分析建模的目标与原则 分析建模的目标是创建各种表现形式，以描述软件信息、功能和行为的需求。 为实现这一目标，采用两种不同的（但潜在是互补的）建模原则：结构化分析和面向对象分析。 结构化分析把软件看作信息转换器，辅助开发人员识别数据对象、对象之间的关联以及这些数据对象流经软件处理功能时转换的方式。 面向对象分析检查定义为一组用例的问题域，提取该域的类，每个类都有自己的属性和操作，类和类之间有多种关联方式，并使用UML建模。 Pressman提出分析模型由以下四种建模元素构成： 基于场景的模型从用户的角度描述软件需求。在需求获取过程中提取的用例，定义了特定功能或交互的关键步骤。虽然用例的形式化和详细程度各不相同，但最终结果为所有的其他分析建模活动提供了必需的输入。 Pressman认为还可以使用活动图描述特定场景中的处理流，使用泳道图反映处理流如何分配给不同的对象。 面向流的模型关注当数据对象在系统中移动时输入如何转变为输出。并使用处理规格说明来说明转换数据的每一软件功能。除了数据流，该模型元素还说明了控制流，显示事件如何影响系统的行为。 基于类的建模使用从基于场景和面向流的建模元素中提取的信息确定“分析类”。可以使用语法分析从问题域陈述中提取候选类、属性和操作。CRC卡片可以用于定义类之间的联系。可使用UML建模符号定义类之间的层次、关联、聚合、依赖和协作，使用“分析包”将类分组。 Pressman认为前三种建模元素提供了软件的静态视图，行为模型是用基于场景、面向流和基于类的元素作为输入，从整体上表现分析类和系统的状态。要构建行为模型需要识别状态，定义导致类（或系统）做出状态转移的事件。状态图和顺序图是用于行为建模的UML表达方式。 1、 用例图 用例：根据Jacobson的定义，用例规定了一个动作序列，系统执行这些动作并产生出对于特定参与者可见的有价值的结果。参与者（Actor） 可以是人、组织、硬件设备或外部系统。 用例有以下特点： ? 捕获某些用户可见的需求，实现一个具体的用户目标。 ? 由参与者激活，并返回确切的值给参与者。 ? 有大小，但必须是对一个具体的用户目标实现的完整描述。 用例之间可以相互关联： ● 包含（inclusion）：一个用例复用另一个用例中的步 骤。 ● 扩展（extension）：通过对已有用例增加步骤创建 另一个新用例。 ● 泛化（generalization)：一个用例可以继承另一个用 例的行为和含义。 ● 分组（grouping）：一组用例的简单组织方式（如相关的用例放在一个包中）。 用例之间的关联用“类图”中表示依赖关系的虚线箭头表示。看下图例： 双尖括号括起来的元素为构造型（stereotype)元素。构造型使设计者能够在现有的UML元素的基础上创建新的元素，被括起来的名称称为关键字。 当在两个或多个用例中出现重复描述（有共用行为）时，可采用《include》避免重复。如“风险分析”和“交易估价”都包含有公共的“评价”动作，把“评价”作为一个独立的用例，因此使用《include》 。 当描述一般行为时有例外、任选或异常处理时，采用《extend》。如“超越边界”用例是“进行交易”用例的扩展，意指交易时对某个特定用户规定了最大贸易量，不能执行一般的常规动作。扩展关系就像是从反向来看的包含关系。 2、类图 用来描述系统中类和类之间的关系，是系统的静态结构。类图中还描述了类的属性、操作、以及对模型中各种成分的约束。类图中包含有类、关联和关系等模型元素。类图是定义其他图的基础。 见下图: ②类的关联(association)： 关联表示类之间的语义关系（是运 行时实例之间的联系），关联可以有方向。 角色表示该类在这个关联中的作用。 关联中可以有重数，重数指一个角色可以有多少个对象来扮演 ⑤接口与实现（interface and realization) 接口是描述类的部分行为的一组描述，是该类提供给别的类的一组操作。下图中右