需求工程讲稿-第六讲需求建模I.pptVIP

需求建模（I） 建模和分析（I） 通用的建模问题 建模目的、组织 和非功能需求 建模的动机 主要执行官 航班如果取消，VIP首先要被升仓 打折机票应该向政治家们提供，因为他们制订影响航线的决定 关于常旅客的信息不能透露给外面的客户 主要的保密方面的官员 飞机运载的行包数与机上乘客的名单相符合 旅客名单不应该向外界公开 旅客应该只能检票一次 旅行代理 代理负责预订的维持和取消 一个代理提供的票有不同的票价，需要和航线销售部门协商 餐饮经理 机上带的食物由乘坐特定的仓位的旅客的数量决定 乘坐飞机的预计的旅客数必须在起飞以前24小时给出 要求特殊食物的旅客必须在起飞前24小时指明他们的要求 机票销售经理 机票只有在付费的时候才出 对某种票价，机票可以一直保留并不需要确认 当一种折扣票被预订，正常的提前预订的需求不再有效 所有的票都要有涉及条款和出票条件的背书 建模有什么用？ 建模能指导抽取 建模过程帮助你想出要问什么问题吗？ 建模过程帮助将隐含的需求显式化吗？ 即，它帮助你问正确的问题吗？ 建模能提供对进展的度量 模型的完整性蕴涵了抽取的完整性吗？ 即，如果我们填好了模型的每个部分，我们就做完了吗？ 建模有什么用？ 建模能帮助发现问题 模型中的不一致性揭示什么有趣的事吗？ 比如：不一致性可能对应为矛盾的或不可行的需求 比如：不一致性可能意味着术语、范围等的混乱 比如：不一致性可能揭示投入者之间的不同意见 建模能帮助我们检查我们对问题的理解 我们能检测模型具有我们期望的特性吗？ 我们能根据模型的推理去理解它的结论吗？ 我们能模拟这个模型，以便帮助我们将需求可视化/检验需求的有效性吗？ 建模技术分类 为企业建模（本讲的内容） 目标和目的 组织结构 活动、过程、生产 主体和工作角色 为功能需求建模 结构视点（数据的结构） 行为视点 时间需求 为非功能需求建模 产品需求 过程需求 外部需求 企业建模方法：进一步分类 软系统方法 涉及整个组织，从各个不同视点分析问题 产生不止规格说明，还包括：组织结构修改计划、任务结构、目的、以及对环境的理解 例子：SSM、ISAC 基于知识的方法 利用知识表示框架建立可执行的领域模型，包括静态和动态方面 例子：RML、Requirements Apprentice、Nature 目的论方法 需求实际上就是目标，所以要为目标层次建模 关心“为什么”的问题，而不是“什么/如何”的问题 用情景作为目标怎样能够被满足的具体例子 例子：KAOS、I*、CREWS、… 模型的形式 自然语言形式 绝对的表达能力和灵活性 非常难以捕获模型的语义 用于需求抽取，或为便于沟通进行模型的标记等方面比较好 半形式化表示（如：图，表，结构化英语等） 捕获结构和一定的语义 可以实施一定的推理，一致性检查，模拟，等等 比如：图、表、结构化英语、等等 形式化表示 非常精确的语义，外延推理成为可能 离开应用领域还有很长的距离 注意：需求形式化主要是为了认知的考虑，因此与计算机科学的形式化有点不同 模型的特征 独立于实现 模型不是数据的表示、数据的内部组织、等 抽象 抽取根本的方面 比如，那些不经常变化的东西 形式性 无二义的语法 丰富的语义理论 可构造性 为了应付复杂性和规模，能够构造模型的片段 构造性能支持沟通 容易分析 有能力分析出二义性、不完整性和不一致性 可跟踪性 能够交叉索引元素 能够连结设计、实现、等 可执行性 能够模拟这个模型，以便将它与现实进行比较 最小性 在模型框架中无概念的冗余 即，在如何表达什么事情上，不需要进行额外的选择 建模第一步：元建模 元模型要表达什么？ 该模型关注什么问题？或者要捕获什么现象？ 对如何细化模型存在何种引导？ 在模型上可以进行什么样的分析？ 元模型决定需求关注点 元模型决定需求关注点 关注的概念：事实、活动、事件 寻找领域的事实，并表示出来 寻找领域事件，并表示出来 寻找领域活动，并表示出来 建立联系：事实与事件、活动与事实、事件与活动 验证约束是否满足 实体关系图 EDR图 广泛用于信息建模 简单、容易使用 注意：这只是一种表示法，而不是一种方法 被用在许多场景中 领域概念 在目标模型、情景等中涉及的对象 系统中要表示的数据 对信息系统而言 元模型 实体关系图 关注点： 实体：演员、电影 实体由属性来描述 关系：演员 演 电影 关系的度： 一对一 一对多 多对多 实体关系图 产生关系数据模型 比如，用三个表表示 演员表 电影表 演员-电影表 ISAC 信息系统工作和变化分析（ISAC） 于70年代在瑞典被开发出来 强调用户、开发者和倡议人之间的合作 开发者的作用在于辅助这个过程进行 适用于信息系统：不适用于控制系统 ISAC过程 变化分析 该组织想要什么？ 该组织关于这个变化有多灵活？ 活动研