多视点需求工程中不一致性的检测与处理

被引量 : 6次 | 上传用户:randomx1
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
众所周知,解决问题的基础在于对该问题有着准确和全面的理解。软件开发也是如此,要想开发出令人满意,质量上乘的软件产品,没有好的分析和规划是不可想象的。需求工程作为软件工程的一个重要分支,着重于研究参与者对预期系统的期望和要求,并使之文档化,从而成为后续开发工作的依据和评判标准。通常,人们总是希望用客观、统筹和全面的眼光来看待复杂的现实问题,并使用局部化,分而治之等方法来解决它。在软件开发中,这样一些原则也得到了关注和运用。多视点需求工程方法正是贯彻了这一思想,并将其具体化到需求工程这一特定领域中。与经典的需求工程方法不同之处在于,多视点需求工程方法将“视点”作为一类实体显式地加以考虑。强调了每个视点都对于预期系统有着独到的理解,尽管这些理解有可能是部分的,片面的和不准确的。如果能够有效的将这些来自于不同视点的需求有机的结合在一起,由此形成的对预期系统的刻画,也必然比仅从一个角度考虑问题要全面和准确得多。由此,可以产生出更加高质量的需求规约说明书—需求工程的产出物。想法虽然美好,但要解决的困难问题却很多。诸如:如何建立合理的视点模型;如何理解非形式化语言所表达的需求;如何准确地集成各方面的需求;如何准确地判断需求之间的不一致性,并提供相应的解决手段等等,都是需要解决但又难以解决的问题。开宗明义,本文希望解决的问题,都围绕着如何处理多视点需求工程中的不一致性这一主题展开。研究的重点主要包括不一致性管理过程中的三个关键步骤:重叠需求的发现;不一致性的判断和不一致性的消解。准确地说,本文关注的问题是如下四个部分:1.如何划分视点之间的关系,并建立合理的多视点模型和框架?2.如何发现哪些有可能产生不一致性的需求,也就是所谓的重叠需求?3.如何判断某一重叠需求是否是不一致的?4.一旦确认某一需求具有不一致性,又该如何解决呢?如果用更加容易理解的语言进行表述,那就是,本文希望建立这样一个处理过程:它将不同参与者对预期系统的需求作为输入,在利用本文中提出的各种方法对其进行分析后,要么可以告诉这些参与者,他们之间的需求是一致的,没有冲突的,可以有效地集成到一起,形成一个完备的对目标系统的描述;要么告诉参与者,哪些需求是存在冲突的,并为解决这些冲突提出一个可以令各方都能接受的解决方案。既然是从计算机科学的角度来考虑以上问题,本文主要还是利用形式化方法这一工具来解决这一系列相关的问题。总体说来,本文的主要贡献有如下几点:1.对现有的各种多视点分析方法进行了较为全面的总结和分析,以此为基础,讨论了各种方法的优缺点和适用范围;2.在借鉴了相关的方法,并在本实验室其他研究人员的研究成果基础上,提出了结合特征来建立基于问题域和视点代理的多视点建模框架(PDVMF),并提出使用需求团来刻画参与者的需求;3.利用PDVMF形成视点框架后,本文提出使用认知逻辑来对该框架进行解释。从而将发现参与者之间的重叠需求的工作,转换为对认知逻辑中普遍知识和公共知识的研究。由此,可以利用软件工具来帮助参与者,更快的找到存在于他们之间的重叠需求。4.对于不一致性需求的检查,本文将其划分成两类不同的情况加以分析。即同种图形符号和异种图形符号之间的不一致性判断和检测。出于现实情况的考虑,本文将研究的范围限定于UML的子集。对于前者,本文将UML的用例图转换为认知逻辑公式,并给出相关的判断公式。从而将该问题变为对认知逻辑公式的可满足性的判断。对于后者,本文详细讨论了时序图和状态图解释为行为时序逻辑(TLA)的变换规则,从而将该问题转换成模型检测问题。并通过实例来说明该检测方法的有效性。为了得到准确的转换结果,本文对相关的转换规则进行了详细地讨论。5.不一致性的消解过程,可以看成是整个不一致性管理过程中的产出阶段。本文提出将博弈论中若干概念,应用到不一致性消解的过程中。充分考虑到参与者之间交互的局部性,本文利用前面所建立的多视点框架,将不一致性消解的过程看成是各个利益相关方的静态非合作博弈过程,并用图博弈的形式来刻画这一博弈过程。从而,将消除不一致性的过程,转换为计算该图博弈上的纯Nash均衡点。通过这个方法所找到的不一致性消解方案,可以令所有参与方都感到满意。这意味着,该方案将有可能得到更好地执行。本文以在线图书馆为实例,依次对视点及多视点框架的形成、重叠需求的发现、不一致性需求的检查以及需求不一致性的消除等问题进行了展开讨论,以此展示了本文所提方法的有效性和可行性。
其他文献
目的探讨早期康复训练在下肢骨折合并糖尿病患者康复护理中的应用效果。方法抽取2016年9月-2018年6月该院60例下肢骨折合并糖尿病患者,实施随机数字表法分组,对照组实施常规流
有效课堂提问是教师在分析学生知识结构、教学目标和教学内容的基础上,通过创设问题情境,形成课堂提问,引导学生积极思考,促进学生思维能力的发展和教学目标实现的过程。有效
《人性的弱点》是美国"成人教育之父"戴尔·卡耐基的经典力作,这本书是帮助人们解决所面临的问题,例如如何在日常生活、商务活动和社会交往中与人打交道,并有效地影响、教育
一、引言苦瓜是一种富于营养的蔬菜(表1)。在营养价值方面与番茄相比,除脂肪、胡蘿卜素和磷的含量較少外,其他营养成分的含量都超过番茄,特別是維生素丙差不多为番茄含量的
目的:探讨人工假体置换术在骨肿瘤治疗中的应用。方法:2000年至2008年,我科行肿瘤性假体置换术治疗长管状骨骨肿瘤25例,现将结果报下:一般数据:全组25例,平均42岁。其中骨肉
随着信息化时代的到来,信息技术广泛运用到社会生活的各个方面。就学科教育而言,信息技术的应用可以提高学生的学习兴趣,提升教学质量。在阐述信息技术运用于学前心理学教学
盐城古代滩涂开发的历史回顾王陈盐城东濒黄海,西襟湖荡,其海岸线北起响水县灌河口,南至东台市新港,全长582公里。海陆曾几经变迁,使境域随滩涂淤长不断增大。今日沿海地区有45.7万公顷的
岩土工程师们不仅经常要评估已有桩基在侧向土体运动条件下的响应特性,如与桩基相邻的桥墩基础,打桩,基坑开挖,隧道开挖盾构推进,边坡滑移或山体坍移,都可能引起土层的侧向位
信用风险转移(Credit Risk Transfer,CRT)网络中信用风险传染已逐渐成为学术界和政策制定者关注的热点。本文基于熵空间交互理论,将CRT网络中银行和投资者之间空间距离与非线
本课题选取山西省八所高等院校(包括理工类、师范类和医学类)的本科生和硕士研究生为研究对象,在对其生殖健康知识(Knowledge)、态度(Attitude)、行为(Practice)即KAP现状调查的基础上