中科院需求工程需求工程(第四讲)面向目标的方法_解读.ppt

需 求 工 程 金芝 中国科学院数学与系统科学研究院 zhijin@amss.ac.cn 第四讲：面向目标的方法 方法概述 建模原语 基于目标的建模和分析 应用情况 面向目标的方法 什么是目标 什么是目标? A goal is an objective that the system under consideration should achieve Goal formulations refer to intended properties to ensured They are optative statements as opposed to indicative ones, and bounded by the subject matter 什么是目标 不同层次的目标 什么是目标 不同类型的目标 功能性目标：要实现的服务，是需求相关者期望发生的所有场景的集合。 非功能性目标：与提供服务的质量关联，如良好的必威体育官网网址性，较高的安全性，较强的准确性，较好的易用性等 ，或者对开发过程质量的期望，例如良好的适应性，较强的互操作性，较高的可重用性等 酒店管理系统的功能性目标：尽可能满足所有客人的房间预定请求 图书管理系统的非功能性目标：用户的每一次查询都能够尽快地返回结果 什么是目标 目标由谁来满足：整个系统 火车运输系统： 目标：安全运输 参与者：火车司机、列车轨道、车站计算机、通讯设备、旅客、等等 ATM机系统： 目标：允许合法用户提取现金 参与者：ATM软件、感应器/actuators、用户、等等 目标类型和层次 为什么需要目标 目标分析提供一种关于系统的全局的视角 目标的满足由整个系统及环境主体共同完成。例如： 铁路运输系统的安全性目标是由火车司机、轨道管理系统、车站管理系统、通讯设备、乘客等共同参与完成的； ATM系统保持用户合法性的目标是由ATM控制软件、感应器、效应器、用户等共同协作完成的。 只有采用全局的俯瞰的视角才能有效地分析和解决这类目标。 为什么需要目标 保证需求的完整性 目标是需求足够完整的精确评判标准 规格说明相对于一组目标是完整的， 如果 可以证明所有目标（G）是能实现的 由 规格说明 （S）和 所涉及的领域的特性（D） D，S |= G = S相对于G是完备的 为什么需要目标 避免无关需求（最小性） 目标是需求相关性的精确评判标准 需求相对于一组关于所涉及领域的目标是恰当或相关的， 如果 其规格说明至少被用来证明一个目标 若?s?S，? g ?G ，D，s |= g = S相对于G是最小相关的 为什么需要目标 向需求相关者解释需求 目标给出了需求的说明 对应于设计过程中的设计目标 出现一个需求是因为有一个目标作为它的基础 目标求精树提供了从高层策略目的到低层技术需求的可跟踪链 对业务系统来说，目标将未来软件和组织和业务上下文关联起来 为什么需要目标 目标精化过程，为复杂需求文档的结构化提供直观自然的机制，增加其可理解性 目标精化过程中的选择，具有恰当的抽象程度 为什么需要目标 目标便于表达和处理冲突需求。 目标的冲突是多视点冲突的根源， 目标的不同满足标准有助于帮助开发人员对采用哪种方式处理冲突进行决策。 为什么需要目标 目标相对比较稳定，利于需求演化 实现目标的需求比目标演化的要快，它很容易被另一个实现相同目标的需求替代 越高层的目标越稳定，不同版本的系统常常具有相同的高层目标 为什么需要目标 目标能够表达和分析非功能性需求。 非功能性需求是工程研究中的重点和难点，目前大多采用非形式化的方法来描述， 常用的建模工具UML也存在着难以为非功能性需求建模的缺陷。 在面向目标的需求分析中，非功能性需求用软目标来表示，软目标可以逐步分解为子目标 目标从何而来？ 显式的 系统的需求相关者（Stakeholders） 需求工程师掌握的初步材料 目标从何而来？ 隐式的：需要进行目标抽取 分析当前的系统，发现问题和不足（精确构型并列举出来），对其取否，导致未来系统要实现的目标集 从初步文档中寻找一些与意图相关的关键词发现目标 对目标进行精化和抽象获得 归结目标冲突或障碍导致新的目标 目标什么时候显式化？ 显式化：从目标到软件行为 用软件行为实现目标 等同于 用程序实现设计规格说明 方法主线：元模型 方法主线 建模主线：系统的目标层次结构。 围绕目标的伸展关联： 目标操作化为“约束”， 约束由“活动”和活动所操作的“对象”来保证， 对象被区分为“事件”、“实体”、“关系”和“主体”四类， 约束由主体负责完成， 主体执行活动并具有活动的能力， 事件可以触发或者终止活动，