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

将目标操作化 估计可能的障碍 目标Achieve[CommandMsgIssuedInTime]的可能障碍有： CommandMsgNotIssued CommandMsgIssuedLate CommandMsgSentToWrongTrain 目标Achieve[CommandMsgDeliveredInTime]的可能障碍有： CommandMsgDeliveredLate CommandMsgCorrupted 目标Maintain[SafeCmdMsg]的可能障碍有： UnsafeAcceleration 进行障碍分析 障碍树，容错树分析 障碍消除，导出新的需求 目标替换策略，比如设计新的目标 Agent替换策略，比如赋予Agent更多的职责 障碍缓和策略，比如引入新的子目标 …… 处理冲突 处理冲突 边界条件 处理冲突 应用情况 小结 面向目标的方法将“目标”看作是软件需求的源头和依据，以目标为需求获取的基本线索，诱导需求提供者按目标的分解、精化和抽象关系，逐步构建系统目标与/或树。 目标驱动需求获取的步骤： 获取目标结构，确定目标所关注的对象； 初步确定系统的相关主体和主体能够完成的动作； 将目标操作化为约束； 对对象和动作进行精化； 导出对象和动作为确保约束的满足所需的加强条件； 确定主体职责分配的各种候选方案； 将动作分配给相应的责任主体。 小结 目标按照所描述的内容可以分为功能性目标和非功能性目标。目标还可以按描述的抽象层次分为高层目标和低层目标。 目标障碍分析主要关注系统有哪些可能的例外行为会对期望实现的目标产生阻碍。障碍分析可以看作一般冲突消解过程的特例。 目标形式化的定义为一组期望行为的集合，相反的，障碍则定义了一系列不期望发生的行为，是要系统要避免的场景。 小结 软目标主要表达非功能性需求。 软目标与一般目标的主要区别：一般目标的满足性标准是客观的，能够清楚定义和表达的。而软目标的满足标准则是主观的、相对的、依评价者的个人判断而定，是满意度而非满足性的问题。 软目标的评价决定处于目标分解结构上层的软目标的满足程度。 精化模式：实现型目标的精化 实现型目标的两种精化模式 时间驱动的分解 P??Q：P??R，R??Q 案例驱动的分解 P??Q：P∧R??Q， P∧?R?? (P∧R) P?? (P∧R)； P∧?R??R∧?P P?PU (P∧R)；P∧?R??P， P∧?R??R P??R， P??P；P??P，?R??R 精化模式：实现型目标的精化 精化模式的作用 支持形式化推理 帮助检测不完全的精化 帮助开拓需求 使各种选择显式化 其它目标精化模式 实现型目标 P??Q：P∧R??Q，P??R， P?PWQ P??Q：P??R， R??Q P??Q：P??R， R?RUQ P??Q：P∧P1??Q1，P∧P2??Q2， ?（P1?P2） Q1?Q2?Q …… 目标的操作化 激励响应模式 安全需求模式 …… 激励响应模式目标精化 可操作的约束 可操作的约束 可操作的约束 安全需求精化模式 可操作的约束 可操作的约束 可操作的约束 从约束到行为 目标冲突 识别边界条件 定义分歧模式： 识别边界条件举例 Goal Achieve [RequestSatisfied] FormalDef forall u: User, r: Resource Requesting (u, r) => ? Using (u, r) Goal Avoid [UnReliableResourceUsed] FormalDef forall u: User, r: Resource ? Reliable (r) => ? ? Using (u, r) ? exists u: User, r: Resource Requesting (u, r) and ? Reliable (r) 冲突归结 避免边界条件： 冲突原因：边界条件的出现 直观的策略：防止边界条件的出现 引入新目标 P???B 阻止的边界条件B 冲突归结 目标修补： 情况：边界条件无法避免 策略：引入新目标 使得如果边界条件B 出现的话，有分歧的目标断言Ai ，在某个合理的将来为真 冲突归结 则引入新目标来避免预测的矛盾： C?P???d?P 矛盾预测： 情况：发现一些持久的条件P，使得在某个上下文C中，如果条件P存留的太久，会不可避免地陷入矛盾。即 冲突归结 目标弱化：通过弱化出现分歧的目标的形式，使分歧消失 比如，两个目标Achieve[RequestSatisfied] 和Avoid[UnReliableResource Used]有分歧的，其断言是 Requesting (u,r) ? ?