软件工程基础复习_4.2

第4章需求分析（面向对象方法）

4.6uml统一建模语言，

Uml有三个大结构构成，第1个是构造块，构造块儿又分三个小部件，首先是物件，然后是物件之间的关系，最后是图，第2个是公共机制，公共机制分为，规格说明，修饰，公共化分，拓展机制，第3个是架构，4+1试图，

• 关系，
  总共有4种关系，分别为，关联关系，依赖关系，实现关系，泛化关系，
  关联关系在uml图中用直线表示，描述对象之间的一组连接，
  依赖关系，在uml途中用虚线箭头表示，表示物件的改变，引起依赖物件的改变，
  泛化关系用实线三角箭头表示，表示两个元素之间存在着继承关系，
  实现关系，用虚线三角箭头表示，表明一个元素是另一个元素的具体实现，
• 层次，
  Uml图可以分为，类图，包图（是类图的层次化），组件图（是类图的实现），部署图（是类图的部署），对象图（类图的静态快照）
• 扩展机制，
  约束是用花括号括起的文本字符串，用以说明必须维持为真的有关建模元素的条件和规则，
  构造型表示已有模型元素的变体，元素的名称用书名号括起，
  标记值的表示为用花括号括起的标记值列表，标记值列表是用逗号分割的标记值系列，标记和值之间有等号分割，
• 4+1视图框架，
  4+1包括，逻辑视图，实现视图，部署视图，类进程视图，用例视图，
  逻辑视图，包括类图，状态图，包图，对象图等，描述系统的面向对象模型，面对最终用户与分析设计人员，
  实现视图，包括组件图等，描述用来发布实际系统的文件和软件部件，关注配置管理和系统组装，面对的是编程人员，
  部署视图，包括部署图等，描述硬件的拓扑结构和分布，面向的是系统工程师，
  类进程视图，包括类图，对象图等，描述系统的并发和同步机制，包括进程线程的组织，面向的是集成人员，
  用例视图，包括用例图，活动图，顺序图，协作图等，描述系统行为用户和系统的交互，面向的是最终人员分析和测试人员，
• Uml静态模型图（类图）
  类图包括三个部分，类，类之间的关系，关系上的约束，
  包图，
  包图由包括类组成，表示包与包、包与类之间的关系，用于描述系统的分层结构，包图中的包用文件夹的图标来描述，
  组件图，
  组件图又称构造图，用来描述软件的各个组件之间的依赖关系，组件使用左侧带有两个小矩形的大矩形表示，
  部署图，
  部署图又称配置图，显示的是对运行时处理节点以及其中的组件的配置，节点用一个三维矩形来表示，
  对象图，
  对象图描述的一组对象以及他们之间的关系，在uml中采用矩形表示，其中标明对象名称和属性取值，
• Uml动态模型图(用例图)
  用例图从系统外部执行者的角度来描述系统需要提供哪些功能,并且可以用于系统的迭代增量式开发，
  顺序图，
  顺序图用来建模以时间顺序安排的对象之间的交互，
  协作图，
  协作图又称合作图，用来建模对象或角色之间的交互，描述这些对象或角色之间是如此沟通的，
  状态图，
  状态图描述一个类对象所经历的各种状态以及事件发生时状态的转移条件，
  活动图，
  活动图是由状态图变化而来，描述需要执行的活动以及执行这些活动的顺序，
• Uml建模的特点，
  U：融合了面对对象方法的基本概念，
  M：具有更强的建模能力，
  L：独立于特定的开发语言和开发过程，

4.7用例建模，

用例建模是一种从用户使用系统的角度来建立系统功能需求模型的一种方法，用例建模从组成系统的实际操作开始入手，以用例图为中心，从系统外部执行者的角度来描述系统需要提供哪些功能，以及谁使用这些功能，

• 用例图，
  用例图主要有4种基本成，系统，参与者，用例，和关系，
  
• 参与者以及用例的描述，
  参与者的描述内容主要包括，参与者的名称，是否为抽象参与者，以及对参与者的简要描述，
  用例的描述有很多种方法，简单文字，模板，表格，形式化语言，图形等，其中的形式化语言被称为z语言，
• 用例建模的步骤，
  1找出系统的参与者和用例，在选择参与者时，应该能至少确定一个用户来扮演参与者，其次，与系统相关的不同参与者实例所充当的角色之间的重叠应该最少，在确定用例时，有价值的结果，和特定参与者，是两个有用的准则，
  2区分用力的优先层次，
  3详细描述每个用例，
  4构造用户界面原型，
  5构造用例图，

4.8对象建模，

• 确定对象和类，
  对象是现实世界某些事物的一个抽象，他反映该事物在系统中需要保存的信息和发挥的作用，类是具有相同属性和操作的一组对象的集合，
  确定对象和类的方法，三视图模型法（实体关系模型，数据流模型，状态迁移模型），基于语言的信息分析法，类职责协作卡片（CRC），
• 确定标识结构，
  标识结构是用来处理对象建模复杂性的机制之一，现实世界之间的事物主要有两种关系，继承关系和整体部分关系，
  确定标识结构的方法，对于分类继承关系，可以采用自顶向下，自底向上的方式，对于整体部分的聚合和组合关系，一方面把每一个对象的内看成是一个整体，另一方面把每个对象的泪看成是一个部件，
• 确定标识主题，
  Coad/Yourdon方法，在Coad/Yourdon方法中，主题采用方框来描述，并对每个主题进行编号。在UML中包可用来把语义上相关的建模元素分组为内聚的单元。因而也可用来表示主题。
• 定义属性及实体关联，
  属性是对象类的数据单元，定义属性，使得问题与更加明确，也使对象和类的结构认识更具体，
  Uml实体关联的表示，关联名称或角色名称，多重性，导航性，
  一般在图中要么注明关联名称，要么注明角色名称，两者一般不同时出现，
  在uml中，多重性被说明用逗号分隔的区间，如果多重信不显示说明，则多重性不确定，
  导航性，导航性的意义可看作，消息仅能够沿箭头所指的方向传递，在uml中，没有导航性标识则表示关联是双向的，
• 定义服务及消息列表，
  定义服务就是定义对象和类的操作，定义服务的方法有，考察系统的责任，研究问题域，分析对象和类的状态或追踪对象和类的执行线路，用例模型中的事件流，
  在对象建模中，消息是对象和类之间在行为上的唯一联系方式，在uml类图中，可以采用实例关联的导航信来表示消息连接，也可以采用单独的协作图或顺序图来描述对象和类实力的消息连接，

4.9需求规格说明与验证，

• 需求规格说明，
  形式化的需求规格说明，采用完全精确的语法和语义来表达，根据表达能力，形式化方法又可分为5类，基于模型的方法如z语言，代数方法如obj语言，过程代数方法如CSp语言，基于逻辑的方法如时态逻辑，基于网络的方法，如PEtrI网，
  非形式化的需求规格说明采用自然语言来描述，可以用图表或其他符号帮助理解，也可以用标准化的格式来编制，
• 需求验证，
  一个有效的需求规格说明应具有如下特征，正确性，无歧义性，完整性，一致性，可验证性，可理解性，可追踪性，注释，

需求分析是真滴多啊QAQ