第10章-面向软件行为和视点的需求建模与检测方法

1第10章面向软件行为和视点的需求建模与检测方法第10章面向软件行为和视点的需求建模与检测方法目的（1）试图将理论研究与实际应用能较好的结合；（2）将需求分析与需求验证阶段的活动通过一个实际的方法给予有机地结合；（3）在综合和分析现有需求建模方法的基础上研究新的需求建模方法。2021/5/102第10章面向软件行为和视点的需求建模与检测方法10.1基本原理10.2视点表示模型和视点管理10.3需求模型的具体构建方法10.4需求模型的检测方法10.5基于行为模型的需求可视化10.6需求建模方法的特点10.7进一步的研究2021/5/10310.1基本原理复杂系统:是一个抽象概念，通常指规模大且内部逻辑关系复杂、涉及相关人员较多的软件系统。特点：相关的问题域复杂利用分解策略；涉及人员较多根据不同用户建立相应视点。需求建模方法应提供的内容：使用该方法的步骤从自然语言逐步过渡到行为模型；描述问题的手段视点表示模型和行为描述语言（BDL)。2021/5/10410.1基本原理软件的行为:指主体施用一个服务、操作或动作于客体。为什么研究软件行为1.软件行为的正确与否决定了软件能否满足用户需求2.软件特性如可信特性也是通过软件行为来验证的3.可以从自然语言抽取和描述与软件行为相关的细节2021/5/10510.1基本原理研究软件行为的方法（4个如何）（1）如何根据自然语言描述的需求，建立相应场景信息；（2）如何根据场景信息抽取与行为相关的信息，并利用行为描述语言建立行为表达式；（3）如何建立行为描述语言的语义模型，为检验复杂系统的各种特性奠定基础；（4）如何利用模型检验方法和技术检测复杂系统的一些特性。2021/5/10610.1基本原理基本概念（1）视点一个观察者（视点源）根据其关注点和某个问题域而提出的需求信息的集合构成一个视点。（2）视点模板视点模板是视点信息的存放形式，并由一些信息槽构成。每个信息槽记录了视点某方面的信息。2021/5/10710.1基本原理（3）视点间关系视点间关系是指两个视点之间在问题域或者需求信息方面的联系。重叠关系：指两个视点的视点源的观察领域存在一定程度的重合，其包括两种情况：部分重合和完全重合。顺序关系：指两个视点在行为方面存在着先后关系，如两个视点间存在着传递信息的行为等。无关系：指两个视点在观察领域上不存在重合，并且不具备行为上的先后关系，如两个并行的视点等。当且仅当两个视点是重叠关系或者顺序关系时，它们具备依赖关系。2021/5/10810.1基本原理（4）软件行为软件的行为是指软件运行时作为主体，依照自身的功能对客体的施用、操作或动作的过程，或主体施用一个服务、操作或动作于客体。软件的行为由行为主体和客体、操作或动作、行为输入/出和行为属性等组成。（5）行为主体行为主体可以是用户或者问题域中的实体或概念。行为主体可以是复合主体，即一个行为可以有多个主体，且行为的主体必须是确定的。（6）行为客体即行为的受体，通常指人或问题域中的实体或概念等。行为客体可以是复合客体，并且也可以是未确定的。2021/5/10910.1基本原理（7）行为的分类:目标行为：为实现目标需求而施行的行为。功能行为：直接面向功能需求的行为。目标行为可以分解成一系列的功能行为，目标是通过这些功能行为达到的。复合行为：由功能行为分解出的行为，且功能行为也可视为复合行为。每个功能行为可分解为一系列的复合行为，功能是由这些复合行为完成的。每个复合行为还可进一步分解为原子行为。原子行为：不能再被分解的行为，具体为某个动作或操作。2021/5/101010.1基本原理（8）场景:（见第3.7节的介绍）此处场景是指软件系统在某一执行期间内按顺序出现的一系列行为。场景描写的范围并不是固定的，既可以包括系统中发生的全部行为，也可以只包括由某些特定对象的行为。软件需求可被描述成一系列场景，而每个场景则由一个或多个具体的行为所组成。2021/5/101110.1基本原理（9）行为描述语言用于描述软件系统行为的语言（10）行为的操作语义行为的操作语义是行为描述语言的语义模型，其又分为静态操作语义（用于定义行为表达式）和动态操作语义。动态操作语义是以动作作为对象来研究在给定环境中行为状态的变化。2021/5/101210.1基本原理2021/5/1013基于软件行为和视点的需求建模方法10.2视点表示模型和视点管理视点表示模型2021/5/101410.2视点表示模型和视点管理划分问题域的具体步骤（1）开发人员与客户、应用（问题）领域专家等对问题进行交流；（2）确定待开发系统问题域的边界；（3）将系统按照合理的方式划分成多个问题子域；（4）在系统中新建或增添问题子域名。在问题子域名被建立后通常不允许再被修改，否则必须修改所有与该问题子域相关的信息。2021/5/101510.2视点表示模型和视点管理标识视点的具体步骤(对于每个问题域：)（1）分析并确定出该问题子域中存在的需求源即视点源；（2）确定每个视点源对问题子域的关注点；（3）根据关注点创建视点，生成视点模板；（4）填写视点基本信息，如视点标识、视点责任人等；2021/5/101610.2视点表示模型和视点管理视点管理1.问题域管理2.术语表及行为表管理3.视点的创建4.视点的修改5.视点的删除6.视点的查询2021/5/101710.3需求模型的具体构建方法1.描述手段：行为描述语言（BDL:BehaviorDescriptionLanguage）作用：●主要用于描述复杂系统的行为，以建立视点行为模型和系统行为模型（或需求模型）●由于系统特性与系统行为密切相关，描述行为有利于检测系统特性2021/5/101810.3需求模型的具体构建方法2021/5/1019系统行为模型的结构系统名：视点ID1的行为模型；……..视点IDn的行为模型。视点行为模型的结构视点ID：VPBEGIN[视点内共享数据存储池ID；]场景ID1的行为模型……..场景IDn的行为模型VPBehID=视点行为表达式=场景的BehID[场景间关系符场景的BehID]VPEND10.3需求模型的具体构建方法2021/5/1020视点行为模型的结构场景ID：BEGIN[ABEH：ABehID：原子行为1.……..ABehID：原子行为n.]BEH：BehID=场景行为表达式.[BehID=子行为表达式1.]…….[BehID=子行为表达式m.]END10.3需求模型的具体构建方法BDL的语法结构定义1.原子行为假设ABehID为原子行为标识，BehID为行为标识原子行为：5）CALL(场景ID）2021/5/102110.3需求模型的具体构建方法2.复合行为1）顺序行为：(a)(b)(c)2）确定选择行为3）非确定选择行为2021/5/10221212|&||;ABehIDABehIDABehIDABehID11|&||;ABehIDBehIDABehIDBehID1212|&|&.....&||;;...;nnBehIDBehIDBehIDBehIDBehIDBehID1212|&|&|BehIDBehIDbIfbThenBehIDElseBehIDFi为布尔表达式1212|&|&.....&||...nnBehIDBehIDBehIDBehIDBehIDBehID10.3需求模型的具体构建方法4）并行行为2021/5/10231212|&|&.....&||||||...||nnBehIDBehIDBehIDBehIDBehIDBehID10.3需求模型的具体构建方法行为描述语言的动态语义2021/5/102410.3需求模型的具体构建方法2021/5/102510.3需求模型的具体构建方法构建行为模型的具体过程确定系统的所有行为和主体确定有效行为和主体建立行为间的关系建立场景使用行为描述语言描述场景(1)用BDL描述场景内的原子行为(2)建立场景内行为之间的关系(3)建立视点行为模型内场景之间的关系部分异类需求模型2021/5/102610.3需求模型的具体构建方法实例说明（银行自动取款机系统）具体的需求描述见5.4.4节(1)划分问题域将与该系统相关的问题域划分为三个：ATM，总行，分行(2)确定系统中所有的原子行为直接提取动词短语得到行为：○ATM、中央计算机、分行计算机及柜员终端组成的网络系统；○总行拥有多台ATM；○分行负责提供分行计算机和柜员终端；○ATM分别设在全市各主要街道上；。。。。。。2021/5/102710.3需求模型的具体构建方法问题中隐含的行为：○总行由各个分行组成；○分行保管账户；○总行拥有中央计算机；。。。。。。(3)标识视点假设每个问题子域有一个视点，并分别标识为:ATM视点（VPATM）；总行视点（VPHeadBank）；分行视点（VPLocalBank）。2021/5/102810.3需求模型的具体构建方法(4)建立场景将ATM系统划分为如下4个场景ATM场景:ATM在显示屏上显示问候信息：顾客将磁卡插入ATM；ATM读出磁卡上的代码，并检索该卡能否使用；如果磁卡能使用，ATM要求顾客输入密码。ATM等待密码输入；………总行的场景:……..分行的场景:……..柜员终端的场景:……..2021/5/102910.3需求模型的具体构建方法(5)使用行为描述语言建立行为模型2021/5/1030根据划分出的视点和场景分别建立各视点的行为模型(其中一个视点包含2个场景)。ATM系统的行为模型（ATMSBM）ATM视点VPATM:://ATM的视点行为模型VPBEGIN//ATM场景BEGINABEH//可以在此不写原子行为，而在BEH中写出。BEHBehATM=ATMdisp1:显示（ATM，屏幕）OUTTo（屏幕）（提示信息=欢迎使用ATM）.ATMidle1:idle.//ATM等待插入磁卡Incard:插入（用户，磁卡）.GetCardInfo:读（ATM，磁卡）//ATM读取磁卡信息；OUTTo（）（卡信息）.ATMdisp2:显示（ATM，屏幕）OUTTo（屏幕）（提示信息=请输入密码）.。。。。。。10.3需求模型的具体构建方法图形化输入主要功能以图形的方式输入行为模型，定义原子行为、复合行为、行为表达式；检查图形文法；将图形化的行为模型转换为BDL语言描述的行为模型。图形化表示（1）视点表示（2）场景表示（3）行为表示（4）行为间关系表示2021/5/103110.3需求模型的具体构建方法2021/5/1032BEHHeadBank//总行场景BEGINABEH//略BEHBEHHeadBank=Hbank1.Hbank2.Hidel.If(响应类型=ATM请求)ThenBehhbank1.ElseBehhbank2.Fi.Returnto.Behhbank1=Hresponse.If(验证请求=正确)ThenHreceive1.Discern.TranRequest1.Else//中央计算机接收ATM传来的事务请求Hreceive2.TranRequest2.Fi.Behhbank2=If(回答验证请求=正确)Then//中央计算机将验证结果发送到ATM机RecRespon1.Tranresult1.Else//中央计算机将分行答复发送到ATM机RecRespon2.Tranresult2.Fi.END.实例10.3需求模型的具体构建方法异类视点需求模型的转换实现2021/5/1033背景UML状态图状态符号与BDL结构的对应关系转换实现的流程NoYesNoYesNoYes①建立或打开视点②建立或编辑Uml状态图③图形文法检查正确？错误？④状态图—BDL错误？正确？⑥BDL语法检查⑤生成文本文件错误？正确？退出10.4需求模型的检测方法2021/5/10341.监测内容（1）