资源描述：
《多视点需求工程中视点一致性定义的研究new》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、第23卷第4期深圳大学学报理工版Vol123No142006年10月JOURNALOFSHENZHENUNIVERSITYSCIENCEANDENGINEERINGOct12006文章编号:100022618(2006)0420332205多视点需求工程中视点一致性定义的研究梁正平,纪震,王志强(深圳大学信息工程学院,深圳518060)摘要:视点一致性是多视点需求工程中的核心,如何合理有效地定义视点的一致性,直接影响到视点一致性的检查和不一致的管理.介绍视点一致性定义的相关研究,从形式上将视点一致性的定义分为3种类型.基于问题框架的方法标识和
2、表示视点的方式,可导致视点不一致的相关因素进行了分析,且从内容和形式两方面讨论视点一致性的定义,及其相关性质.关键词:需求工程;视点;问题域;问题框架;一致性定义中图分类号:TP31115;TP31111文献标识码:A大型、复杂软件系统的开发,往往涉及众多的致.宏观上,视点间的不一致可分为静态约束与动项目相关人员,因其各自背景、知识和职责等的不态交互两大类型,其中静态约束又可分为结构上的同,他们对开发软件系统有各自的看法和要求.为约束和行为上的约束两类.视点间可能存在的不一在系统开发的早期全面获取不同项目相关人员的各致类型与视点间关系的类型及
3、其性质密切相关.形[3]种需求信息,防止重要需求信息的遗漏,降低需求式上,视点间的关系可分为如下类型:获取和分析的难度,确保最终需求规格说明书的完①完全重叠.两个视点所包含的内容完全相整性和一致性,学术界提出了面向多视点的需求工同,或一个视点所包含的内容是另一个视点所包含程方法,采用视点形式获取和组织不同用户需内容的子集;[122]求.虽然采用视点的形式有利于分散、独立且②部分重叠.两个视点内容上存在公共的部全面地获取各方面的需求信息,但也因此在多视点分但不完全重叠;需求工程中造成了一个无法回避且重要的问题,即③邻近相关.两个视点内容上不存在
4、重叠的如何检查并确保不同视点相互一致,且全局一致.部分,但相互之间具有一定的关联关系;视点一致性的检查和不一致性的管理,包括一④无关.两个视点内容上不存在重叠的部分,致性的定义、检查方式、检查过程和不一致性的管相互之间也不存在任何关联.理方式、管理过程等.其中,视点一致性的定义是显然,当两个视点在形式上相互无关时,自然所有其他工作展开的前提和基础.具体如何定义视不存在产生不一致的前提条件,故它们是相互一致点的一致性与视点间可能存在的不一致的来源及其的;而当两个视点之间的关系在形式上属于前3种类型密切相关.基于从问题框架的方法来标识和表时,则存
5、在产生不一致的可能性.若两个视点存在示视点的方式,本文对可能导致视点不一致的相关重叠或静态的关联关系,两者相互依赖或相互约因素及其类型进行了深入分析,从内容和形式两个束,则说明它们之间存在某些结构或行为方面的约方面讨论了视点一致性的定义及其相关性质.束,当这些约束不成立时,就出现了不一致问题;若两个视点存在动态的关联关系,使两者之间存在1视点一致性定义概述动态的交互,则两者在交互上必须保持某种协调,否则也会出现不一致问题.对一个实际的多视点需求工程方法而言,如何视点间关系的类型及其性质与视点的标识方式定义视点的一致性取决于视点间可能存在的不一
6、及视点的表示方式密切相关.不同的多视点需求工收稿日期:2006209204基金项目:国家自然科学基金资助项目(60572100,60673122)作者简介:梁正平(19792),男(汉族),湖南省涟源市人,深圳大学讲师、博士.E2mail:lzp@szu1edu1cn第4期梁正平,等:多视点需求工程中视点一致性定义的研究333程方法由于采用的视点标识与表示方式不同,导致视点间可能存在的关系类型也不同,对视点一致性[4]的定义各不相同.如VOSD方法通过实例化预定图1问题框架的组成元素及其关系义的视点模板集来生成具体的视点,其中视点模板Fig1
7、1Composedelementsanditsrelation集基于某一特定的需求工程方法,是对该需求工程ofproblemframe方法中的需求描述方式和开发过程及其各类约束的建模,故VOSD中将视点的一致性定义为满足视点问题框架方法主要包括如下思想:①软件需的模板集中所要求的各类约束,包括描述语言、开求的本质在于从待求解问题的角度,考虑待开发软发过程等方面的约束.而在ZaveP所采用的方法件系统将在与待求解问题相关的域内产生的效果.中,假设各个视点的内容可用经典逻辑的形式表②与软件需求相关的描述从内容及性质上,设K示,故她对视点一致性的定
8、义是各视点在内容上不为问题所处问题域知识的描述;R为用户期望在问[5]存在逻辑意义上的矛盾.题域中产生的效果,又称用户需求;为实现期望效对于视点一致性定义的具体形式
