第1页XXXX大学信息工程与自动化学院学生实验报告课程名称:面向对象建模技术实验项目名称用况建模实践指导教师教师评语该同学是否了解实验原理:A.了解□B.基本了解□C.不了解□该同学的实验能力:A.强□B.中等□C.差□该同学的实验是否达到要求:A.达到□B.基本达到□C.未达到□实验报告是否规范:A.规范□B.基本规范□C.不规范□实验过程是否详细记录:A.详细□B.一般□C.没有□注:5个A为优4个A为良3个A为及格其余为不及格。教师签名:年月日实验二、用况建模实践一、实验目的1、掌握UML的用况建模的方法。2、实践用UML建立用况模型。二、实验原理及基本技术路线图(方框原理图)UML用况模型(也称需求模型)用于描述的是外部参与者所理解的软件系统的功能,也即用户对系统的功能性需求。用况模型按照用况图(重要信息)加用况图文档(详细信息)来组织。从一方面看,用况模型由若干用况图组成。一幅用况图包含的模型元素有系统、用况、参与者,以及它们之间(包括参与者与系统之间、用况之间)的相互关系。其中用况代表系统的功能,参与者代表使用这些功能的用户。用况经常被作为独立的单位进行需求获取、分析、设计、实施、测试和部署。但事实上,用况之间有一定的相关性,表现为涉及的对象相近和若干用况处于一个相关的业务流中。这些相关的用况构成了结构设计时定义子系统的依据。用况建模的步骤包括:1)确定系统范围、用况和参与者;2)描述用况;3)用况分类、确定用况之间的关联;4)建立用况图;5)审核用况模型。从另一方面看,对于所捕获的用况,需按一定的格式对其包含的其它信息进行详细说明,形成用况规约。它可作为对模型的补充说明和后续开发阶段的实施细则。用于描述用况的文档模板格式包括以下内容:用况名:用表示用况意图的动词或动宾结构命名。第2页简述:对该用况的一句或两句的描述。参与者:该用况的所有参与者。包含:该用况所包含的用况,以及包含它的用况扩展:该用况可以扩展的用况,以及扩展它的用况。继承:该用况的子用况和父用况。前置条件:启动该用况所必须具备的条件。细节:该用况的细节(基本流与可选流)。后置条件:在该用况结束时确保成立的条件。例外:在该用况的执行的过程中可能引起的例外。限制:在应用中可能出现的任何限制。注释:对该用况是重要的任何附加信息。三、所用仪器、材料(设备名称、型号、规格等)微型计算机一台、SybasePowerDesigner15.1软件。四、实验方法、步骤1、实验题目用下面需求描述建立一个汽车租赁信息管理系统的需求模型。B1:顾客(分为会员和非会员)浏览车型、车辆索引。B2:会员预约车辆/车型,当这辆车可用时或当有这个车型的汽车时,会员得到通知。B3:非会员预约车辆/车型,当他缴纳了定金后,这辆车可用时或有这个车型的汽车时,顾客得到通知。B4:顾客取消预约。顾客可以随时取消未结束的预约。B5:顾客到店提车,助手发车。B6:顾客归还汽车。2、实验过程1)分别为B1、B2、…、B6建立用况图,并用相应的文档模板格式描述每个用况。2)建立系统用况图。3、实验结果分析、讨论与总结。五、实验过程原始记录(数据、图表、计算等)1、文档模板表述。a)B1第3页用况名:浏览车型、车辆索引简述:顾客(分为会员和非会员)浏览车型、车辆索引参与者:顾客(包含会员与非会员)细节:顾客先浏览车型以后再进行车辆索引。b)B2用况名:会员预约车辆/车型简述:会员预约车辆/车型,当这辆车可用时或当有这个车型的汽车时,会员得到通知。参与者:会员前置条件:用户登录成功并验证会员细节:会员先登录进行身份验证if通过预约车辆/车型Else注册查看有无此车型,若有则发出通知。后置条件:这辆车可用时或当有这个车型的汽车时,会员得到通知。例外:若登录时无信息提示注册c)B3用况名:非会员预约车辆/车型简述:非会员预约车辆/车型,当他缴纳了定金后,这辆车可用时或有这个车型的汽车时,顾客得到通知。参与者:非会员包含:验证是否缴纳定金前置条件:用户登录成功细节:用户先登录进行姓名验证if通过第4页if交定金预约车辆/车型Else交定金Else注册查看有无此车型,若有则发出通知。后置条件:当顾客缴纳了定金后,这辆车可用时或有这个车型的汽车时,顾客得到通知。例外:若登录时无信息提示注册d)B4用况名:顾客取消预约简述:顾客可以随时取消未结束的预约。参与者:顾客(包含会员与非会员)前置条件:用户登录成功,用户预约车辆/车型且未发通知细节:if前置成立,退订Else提示预定未通过例外:若登录超时提醒重新登录e)B5用况名:顾客到店提车简述:顾客到店提车,助手发车。参与者:顾客(包含会员与非会员),助手前置条件:顾客预约车辆/车型成功且发通知细节:if顾客预约成功&发过通知助手发车Else提示用户检查预订信息。后置条件:助手发车第5页f)B6用况名:顾客归还汽车简述:顾客归还汽车参与者:顾客(包含会员与非会员),助手,财务人员前置条件:顾客到店提车成功细节:if车辆状况完好助手检查归库,财务人员结算。Else商定解决。2、B1-B6各用况图。a)B1b)B2第6页c)B3d)B4e)B5第7页f)B63、系统用况图。六、实验结果、分析和结论此次实践,我明白了如何识别参与者,提取用况,并能顺利理清参与者与用况之间的联系。了解了用况之间的三种联系的区别,通过实验,理解了如何把系统内外的交互情况描述清楚,已能熟练运用用况对实例进行建模。