第三章谓词逻辑与归结原理课件.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《第三章谓词逻辑与归结原理课件.ppt》由用户(晟晟文业)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 第三 谓词 逻辑 归结 原理 课件
- 资源描述:
-
1、软件体系结构第三章 用例图用例图n内容与目标内容与目标q需求分析与用例图需求分析与用例图 q用例图概念用例图概念n构成要素构成要素 n重要元素重要元素n重要关系重要关系n用例描述用例描述q创建用例图创建用例图需求分析与用例图需求分析与用例图 n需求的概念需求的概念q需求:系统必须满足的条件或具备的能力qRobert Grady软件质量准则“FURPS”n功能性(Functionality)n使用性(Usability)n可靠性(Reliability)n性能(Performance)n可支持性(Supportability)需求分析与用例图需求分析与用例图n需求分析的重要性需求分析的重要性q
2、需求分析与用例图需求分析与用例图n需求分析的困难需求分析的困难q例:石头问题例:石头问题n客户描述:客户描述:“”q差不多,但我要小一点的q很好,不过我要蓝色的q啊,没有那么小q咳,还是原来那个好了 需求分析与用例图需求分析与用例图n从哪里开始?从哪里开始?q如何解决如何解决用例用例q软件软件 从用例图开始从用例图开始需求分析与用例图需求分析与用例图n从哪里开始从哪里开始用例图用例图q用例建模的最主要功能最主要功能就是用来表达系统的功能性需求或行为;q用例建模可分为用例图和用例描述;q用例图是由软件需求分析到最终实现的第一步,它描述人们如何使用一个系统,是外部参与者所能观察到的系统功能的模型图
3、,该图呈现了一些参与者和一些用例,以及它们之间的关系,主要用于对系统、子系统或类的功能行为进行建模,用画图的方法来完成;q用例描述用来详细描述用例图中每个用例,用文本文档来完成。用例图概念用例图概念n用例图用例图Use Case Diagramq用例图用例图由参与者Actor、用例Use Case以及它们之间的关系构成的用于描述系统功能的动态视图。n用例:用例:椭圆符号,用例的名称可放在椭圆的中心或椭圆下面的中间位置。n参与者:参与者:人形符号,表示一个系统用户,。n关系:关系:使用带箭头或者不带箭头的线段来描述q箭头表示在这一关系中哪一方是对话的主动发起者q箭头所指方是对话的被动接受者用例图
4、概念用例图概念n用例图的概念用例图的概念q注释注释:在用例建模中,为了更加清楚的描述用例或者参与者,可使用注释。用例图概念用例图概念重要元素重要元素n参与者参与者Actorq参与者是系统外部的一个实体,以某种方式参与用例的执行过程。是为了完成一个事件与系统进行交互的实体,是与系统交互作用的外部用户、进程或其他系统的理想化概念。q在UML中,参与者用名字写在下面的人形图标表示q参与者可以是任何事物n人、外部系统、硬件设备、时间等参与者用例图概念用例图概念重要元素重要元素n参与者参与者Actor用例图概念用例图概念重要元素重要元素n参与者参与者Actor用例图概念用例图概念构成构成n参与者参与者A
5、ctor用例图概念用例图概念重要元素重要元素n参与者参与者Actorq参与者的识别原则参与者的识别原则n谁将使用该系统的主要功能n谁将需要该系统的支持以完成其工作n谁将需要安装、维护、管理该系统,以及保持该系统处于工作状态n系统需要处理哪些硬件设备n与该系统发生交互的是什么系统 n谁或什么系统对本系统产生的结果感兴趣用例图概念用例图概念重要元素重要元素n参与者参与者Actorq参与者的识别过程:考勤卡管理参与者的识别过程:考勤卡管理开发者开发者:谁将使用这个应用程序?客客 户户:所有用它来记录考勤工时的雇员开发者开发者:现在考勤卡应用程序是什么样的?客客 户户:每半个月就用一个Excel表格来
6、记录。每个雇员都将通过他的表格填好,然后用电子邮件发给我。这个表格相当标准:纵向是收费项目代码,横向是日期。雇员可以在每个条目上填写说明。开发者开发者:这个项目需要和那些外部系统交互?开发者开发者:谁来修改系统代码?客客 户户:嗯,必要的时候由我(业务经理)来修改系统代码。当然,我要按照人事经理的要求来操作EmployeeAdministrative User用例图概念用例图概念重要元素重要元素n参与者参与者Actorq参与者之间的关系参与者之间的关系n多个参与者之间可以具有关系n例:图书馆管理系统的借书者可泛化泛化为两类:学生和老师;航空售票系统的客户可泛化泛化为电话预定客户和网上预定客户学
7、生借书者客户老师电话客户网上客户用例图概念用例图概念重要元素重要元素n参与者参与者Actorq参与者之间的关系参与者之间的关系n一般情况,参与者之间的关系可以用下图描述特殊化参与者超类参与者特殊化参与者用例图概念用例图概念重要元素重要元素n参与者参与者Actorq课堂练习:识别参与者n寻呼台系统:用户如果预定了天气预报,系统每天定时给他发天气消息;如果当天气温高于35度,还要提醒用户注意防暑;n在这个叙述里,谁是寻呼台系统的Actor?用户?气温?时间?用户 气象台用例图概念用例图概念重要元素重要元素n用例用例use caseq用例是外部可见的系统功能单元。q用例是对一个系统或应用的一种单一的
8、使用方式使用方式所作的描述。q用例的用途是,在不揭示系统内部构造的前提下定义系统的行为。q在UML中,用例用一个椭圆来表示,用例的名字可以写在椭圆的下方。q用例的名字是唯一的,以区别于其它用例。用例名用例图概念用例图概念重要元素重要元素n用例用例use caseq用例的识别用例的识别n用例图对整个系统的建模过程非常重要,在绘制系统用例图前,有许多工作需要做。n参与者描述了“谁来做谁来做”,而用例要描述的是“做什么做什么”n识别用例最好的方法就是从分析系统的参与者开始,考虑每个参与者是如何使用系统的。n在识别用例的过程中也可能会发现新的参与者。用例图概念用例图概念重要元素重要元素n用例用例use
9、 caseq用例的识别原则用例的识别原则n特定参与者希望系统提供什么功能n系统是否存储和检索信息,如果是,由哪个参与者触发n当系统改变状态时,是否通知参与者 n是否存在影响系统的外部事件n哪个参与者通知系统这些事件用例图概念用例图概念重要元素重要元素n用例用例use caseq用例的识别用例的识别n具体可以通过具体可以通过查找事件查找事件的方式来识别用例:的方式来识别用例:主语谓语宾语主语谓语宾语已被识别出来的参与者动作动词涉及的目标读者读者借阅借阅书籍书籍用例图概念用例图概念重要元素重要元素n用例用例use caseq用例的识别过程:考勤卡管理用例的识别过程:考勤卡管理开发者开发者:谁将使用
10、这个应用程序?客客 户户:所有用它来记录考勤工时的雇员开发者开发者:现在考勤卡应用程序是什么样的?客客 户户:每半个月就用一个Excel表格来记录。每个雇员都将通过他的表格填好,然后用电子邮件发给我。这个表格相当标准:纵向是收费项目代码,横向是日期。雇员可以在每个条目上填写说明。开发者开发者:这个项目需要和那些外部系统交互?开发者开发者:谁来修改系统代码?客客 户户:嗯,必要的时候由我(业务经理)来修改系统。当然,我要按照人事经理的要求来操作Record TimeCreate Charge Code用例图概念用例图概念重要元素重要元素n用例用例use caseq用例的识别用例的识别n用例的识别
11、顺序是参与用例的识别顺序是参与者者事件事件用例用例n用例必须是由系统处理的用例必须是由系统处理的工作,结果由系统生成工作,结果由系统生成n用例是从用户视角看问题,用例是从用户视角看问题,而不是系统视角而不是系统视角n用例命名格式是用例命名格式是“动词动词+宾语宾语”,同时应使用用户,同时应使用用户词汇,而不是技术词汇词汇,而不是技术词汇q如:发票,商品,洗衣机如:发票,商品,洗衣机q而不是:记录,字段,而不是:记录,字段,COM,C+等等出纳员吃饭?订票?旅客?查看今日航班顾客购买商品信用卡支付用例图概念用例图概念重要元素重要元素n用例用例use caseq课堂练习:识别用例nEmail客户端
12、(如:outlook express),A在北京发邮件给上海的B,系统提醒B有“新邮件”,从而B收邮件收件人发件人发邮件收邮件邮件邮箱系统提醒新邮件用例图概念用例图概念重要元素重要元素n用例用例use caseq用例的粒度用例的粒度n用例的粒度用例的粒度指的是用例所包含的系统服务或功能单元的多少。用例的粒度越大,用例包含的功能越多,反之则包含的功能越少。n如果用例的粒度很小,得到的用例数就会太多。反之,如果用例的粒度很大,那么得到的用例数就会很少。n如果用例数目过多会造成用例模型过大和引入设计困难大大提高。如果用例数目过少会造成用例的粒度太大,不便于进一步的充分分析。n最常犯错误:粒度过细,陷
13、入功能分解过细的粒度,一般都会导致技术语言的描述,而不再是业务语言用例图概念用例图概念重要关系重要关系n参与者与用例之间的关系参与者与用例之间的关系q关联关系关联关系n关联关系表示参与者和用例之间的通信。n用例与其参与者之间的关联关系用带箭头的直线表示。n任何用例都不能在缺少参与者的情况下存在;任何参与者也必须要有与之关联的用例。用例参与者用例间的关联关系用例图概念用例图概念重要关系重要关系n用例之间的关系用例之间的关系q用例除了与其参与者发生关联外,用例之间具有多种关系,这些关系包括包含关系、扩展关系和泛化包含关系、扩展关系和泛化关系关系等。用例1用例2用例图概念用例图概念重要关系重要关系n
14、用例之间的关系用例之间的关系q泛化关系泛化关系n如果系统中一个或多个用例是某个一般用例的特殊化特殊化时,就需要使用用例的泛化关系。n在UML中,用例泛化与其他泛化关系的表示法相同,用一个三角箭头三角箭头从子用例指向父用例。父用例子用例用例间的泛化关系用例图概念用例图概念重要关系重要关系n用例之间的关系用例之间的关系q泛化关系泛化关系n例1:查找(同一任务不同对象)n例2:识别(同一任务不同方法)SearchPersonSearchStudentSearchTeacher识别用户识别用户验证口令验证口令扫描指纹扫描指纹用例图概念用例图概念重要关系重要关系n用例之间的关系用例之间的关系q包含关系包
15、含关系n用例的包含关系是把一件事情划分为多个步骤处理ChangePersonDetailsViewPersonDetailsDeletePersonDetailsSearchPersonSearchPersonSearchPerson用例图概念用例图概念重要关系重要关系n用例之间的关系用例之间的关系q包含关系包含关系n包含关系把几个用例的公共步骤分离成一个单独的被包含用例n被包含用例称作提供者用提供者用例(基本用例),例(基本用例),包含用例称作客户用例客户用例,提供者用例提供功能给客户使用。n包含用例不能单独执行,必须与基本用例一起执行n包含用例没有特定的actor,包含用例的actor实际
展开阅读全文