面向目标的方法概述.pptx

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