从场景描述到场景目标模型的转化方法胡乐娟1魏长江1(1.青岛大学信息工程学院青岛266071)摘要场景建模在需求建模中起到很大作用，但同时也存在一些的缺陷。为了弥补场景建模存在的缺陷，本文提出了一种从场景描述到场景目标模型的建模方法。我们本文首先介绍了场景描述语言的一些规则，然后对场景进行完整性检查，最后给出场景转化成目标模型的方法以及对该方法进行场景建模的评价。关键词场景目标模型场景描述完整性中图分类号TP391TransformingfromScenariosdescriptiontotheirTargetModelsHUlejuan1WEIchangjiang11(DepartmentofInformationEngineering,QingDaoUniversity,QingDao266071,China)AbstractDespitetheirimportantroleinsoftwaredevelopment,scenariossufferfrommajordrawbacks.Toremedythesedrawbacks,thispaperpresentsanapproach,namelythetheoryofscenariosdescription,andthetransformationfromscenariostotheirtargetmodels.Thispaperfirstlaysoutthescenariosdescriptionrules,thengivesscenarios’completenesscheckingmethod,finallyshowsamethodthattransformsscenariostotheirtargetmodelsandourassessmentofthisapproach.Keywordsscenarios;targetmodels;scenariosdescription;completeness1引言场景是软件开发中需求分析的一种有效方法，在软件开发过程中发挥了很大作用。一方面，场景实例作为软件需求的一种载体，充分反映了软件使用者的观点，有助于需求相关者之间的讨论、沟通、达成共识[1]。在软件设计过程中，场景帮助软件设计者概念化和构思系统构架；在软件测试中，场景用来描述测试用例；因此，场景可以作为软件开发过程中的起点和终点[2]。尽管，场景在软件开发过程中起到很大作用。但是场景只能对需求某部分进行描述，场景描述模糊，存在二义性，并且包含不必要的细节[Error:Referencesourcenotfound][3]。此外，场景对扩展目标和设计选择表达不明显[Error:Referencesourcenotfound]，偏重个人观点[4]，缺乏通用的结构、目标[5]。通常场景描述非常复杂，需要很多人为劳动投入[6]，并且难以使用[Error:Referencesourcenotfound]。场景仅对系统一些常用实例的描述，对于需求描述非常有限[7]。场景在软件开发过程在使用过程中存在的种种问题，表明单独使用场景不能够准确的描述所有的系统需求。为了解决场景在软件开发开发中的种种缺陷，许多专家学者提出了许多提高需求描述的机制。例如，Sutcliffe提出将场景与任务模型结合的方法[Error:Referencesourcenotfound]，认为模型可以作为场景的补充，模型是需求描述、构建和概念化需求的有效手段。陈小红提出了基于问题框架的需求建模方法：一种本体制导的方法，设计了一种本体知道的基于问题框架方法的需求建模方法[8]。刘春提出了一种基于“用例+控制”驱动的软件分析与设计方法，“用例+控制”模型支持需求工程师在通一个模型中自然地表达软件系统的功能性需求和可信性需求[9]。谢仲文提出了一种基于特征组合的软件需求建模[10]，该方法通过递归的形式化定义功能性特征和非功能性特征，并把功能型特征和非功能性特征统一为软件需求模型，并给出了基于特征组合的软件需求建模过方法。本文的想法来源为Rolland的L’ecritoire方法以及YeWang的模式语言方法。L’ecritoire方法是一种目标与场景结合的方法。L’ecritoire方法认为场景与目标结合的方法可以减少单独使用一种方法带来的问题[11][12]。模式语言方法是由浙江大学计算机系YeWang提出的方法。该模式语言方法将场景转化为四个相互关联的认知学方面的场景目标魔性。该方法中模型能够有效地进行需求描述、需求结构化以及需求概念化，模型作为场景的补充[13]。通过对L’ecritoire目标与场景结合的场景建模方法和YeWang的模式语言方法进行研究学习，发现该模式语言方法没有对场景描述进行模糊性以及二义性问题进行分析，并且没有对场景完整性进行验证。L’ecritoire方法使用选择策略、组合策略以及精化策略能够更好地进行需求完整性检验，并且对场景描述进行二义性和模糊性检查，但是场景用文本的形式表示不够直观。针对单独使用YeWang的模式语言方...