多视点中不一致性的处理：一种基于认知逻辑的方法

衡量一个软件系统是否成功,一个基本的要素就是看该软件系统是否满足了用户的要求。软件系统需求工程(RE)就是一个通过标识涉众及其需求并将其文档化以便于进行分析的过程。RE是一个跨学科,以人为中心的过程。多视点需求工程是需求工程的一个分支。多视点需求工程就是希望复杂系统中的不同参与者分别从自己的角度出发对预期系统进行描述,从而形成更完备的需求规约。由于多视点方法的这种特性,导致多个涉众有可能对同一问题进行描述,从而形成重叠的需求。这些重叠的需求就是涉众之间的公共知识,对公共知识的不同解释是导致需求规约中不一致问题的根源。不一致性是多视点需求工程中一个必须解决的问题。本文提出了基于问题域的多视点需求建模框架,并利用认知逻辑对该框架进行解释和推理,希望可以用形式化的方法来发现和解决存在于不同视点间的不一致性。     

视点间的不一致性检查和视点集成

需求定义人员常从同的观察角度来定义大型软件系统的需求,从而形成多个部分需求说明（视点）。由于视点之间的相对独立性,多视点的集成是需求工程中一项重要而又困难的研究课题。使用形式化方法来描述视点需求和视点间的关系将使视点集成能自动进行。在此,使用SFSM状态转换图来描述视点需求,并将视点间的关系用谓词的形式表示在状态图中状态转换的卫士条件中,同时在此基础上提出了一种自动合成视点的方法,需求定义人员可以根据状态等价关系与合成后状态图的冲突来检查和解决两个视点之间的不一致性。通过重复视点合成和检查、处理视点间的不一致性这一过程,多个视点可以被集成为整个软件系统的需求说明,应用了一个电话系统的例子说明了此视点需求表示和视点集成方法。使用此方法,视点集成过程可以自动完成,同时还可以在一定程度上引导需求定义人员检查和解决视点间的不一致性。     

多视点间不一致性的认知推理

需求工程可以认为是一个知识表示,知识获取和知识分析的过程.多视点需求工程就是希望复杂系统中的不同参与者分别从自己的角度出发对预期系统进行描述,从而形成更完备的需求规约.由于多视点方法的这种特性,导致多个涉众有可能对同一问题进行描述,从而形成重叠的需求.这些重叠的需求就是涉众之间的公共知识,对公共知识的不同解释是导致需求规约中不一致问题的根源.本文对基于问题域的多视点需求建模框架进行基于时序认知逻辑的解释和推理,期望达到以下目的:1)使用户陈述的需求更加结构化;2)使用形式化的方法帮助涉众发现那些重叠的需求.     

基于解释结构模型的需求最高优先级设定方法

对用户需求进行排序是软件项目开发的基础。针对当前需求优先级排序方法,将用户需求放在同一层次上进行比较设定优先级,而对需求层次性和对多个需求整体赋予优先级则考虑的不多。从需求的层次性出发,用解释结构模型对需求进行分层处理;然后对顶层需求的相关需求集进行交运算,整体设定需求的最高优先级;最后给出案例分析。结果表明,该方法能够突出需求层次性,直接生成最高优先级需求集,提高需求优先级设定的效率。     

关于软件需求中的不一致性管理

复杂软件系统开发的一个关键问题是分析和处理可能存在的不一致的需求描述.这个问题解决得好坏直接影响到需求规格说明的质量,进而影响到最终软件产品的质量.在目前公认的一个不一致需求管理框架的基础上,就需求不一致性管理方面的有代表性的工作,进行了较为系统的分析,以期建立对当前需求工程中,关于不一致的需求管理方法和技术的全面认识.最后,对需求不一致性管理方面的研究进行了展望.     

基于ISM与AHP组合的需求优先级排序方法

当前需求优先级排序方法将用户需求放在同一层次上进行比较,然后设定优先级,而对需求层次性考虑不 多。对此,从需求的层次性出发,提出以解释结构模型和层次分析法相结合的需求优先级排序方法,其中用解释结构 模型对需求进行分层处理,然后对最上层的需求使用层次分析法进行需求优先级排序,最后给出案例分析。结果表 明,该方法能够提高需求优先级设定的合理性,明显降低需求的比较次数,降低因需求导致项目失败的风险。     

基于SAHP和需求模式的需求优先级排序方法

针对当前需求优先级排序方法中,将用户需求放在同一层次上进行比较,设定优先级,而对需求层次性考虑得不多。从系统的整体性和需求的层次性出发,提出以解释结构模型和层次分析法相结合的需求优先级排序方法,其中用解释结构模型对需求进行结构分析和分层处理,对最上层的需求使用层次分析法进行需求优先级排序,将该方法命名为SAHP。在案例分析中,借助需求模式,对推广后的案例进行优先级排序,来说明该方法具有很好的通用性,给出案例分析和与AHP进行了比较。结果表明性能总体上好于AHP方法,该方法能够提高需求优先级设定的合理性,降低因需求导致项目失败的风险。     

基于改进AHP模型的COTS需求优先级的合成

需求开发的质量对软件有着直接的影响,而需求优先级的设定又是需求开发的一个重要环节.由于商业成品软件(COTS)的自身特点,使得其难以直接复用其他软件产品领域需求开发的方法和过程.层次分析法(AHP)对于复杂问题的决策非常有效,但是独立的AHP模型很难全面反映问题的本质,对此文中提出了一个改进的AHP方法,将其运用于COTS产品需求优先级的确定中,最后通过实例阐明了该方法在COTS产品需求优先级合成过程中的作用.     

基于改进AHP模型的COTS需求优先级的合成

需求开发的质量对软件有着直接的影响,而需求优先级的设定又是需求开发的一个重要环节。由于商业成品软件(COTS)的自身特点,使得其难以直接复用其他软件产品领域需求开发的方法和过程。层次分析法(AHP)对于复杂问题的决策非常有效,但是独立的AHP模型很难全面反映问题的本质,对此文中提出了一个改进的AHP方法,将其运用于COTS产品需求优先级的确定中,最后通过实例阐明了该方法在COTS产品需求优先级合成过程中的作用。     

分布式多视点软件开发环境中的不一致性检测与管理

针对基于分布式多视点环境的软件开发中存在的不一致性问题,提出了一个不一致性管理模型ＩＭＭ,建立了水平不一致性和垂直不一致性的新概念。讨论了不一致性的检测方法和处理策略。     

基于Viewpoint Agent的新型需求描述模型

需求工程是整个软件工程的关键部分，为了能清晰地得到软件规约，提出了一种新型的需求工程方法——基于多视点的需求代理模型。这个模型结合了多视点方法对分布式环境下的需求描述的能力和Agent的自治能力，从而能在分布式的开发环境下自动地得到软件规约。通过一个实例展示了Viewpoint Agent对基于多视点的需求描述自动进行规约的过程。     

一种基于PREView方法的方面需求识别扩展

面向视点(Viewpoint-Oriented)的方法能够根据系统参与者的不同视点完整地描述系统的需求。但是传统的面向视点的方法在需求分析的过程中没有考虑到视点和关注以及关注之间横切关系的作用,从而导致系统难以雏护和演化。本文提出一种基于PREView方法的方面需求识别扩展,在保持原有方法优点的同时,增加了原方法对于方面需求的支持,使得在需求分析阶段就开始消除横切的影响。     

面向软件行为和多视点的需求建模方法

提出一种面向软件行为和多视点的需求建模方法,包括建模步骤和建模语言.其中目标系统根据问题域以及视点源被划分成视点.视点在需求模型中以实体的方式存在,每个视点通过从需求规格说明中提取的场景来描述,作为需求模型基本组成单位的场景模型则通过基本的行为复合而成.分析了基于行为和多视点的需求建模过程,讨论了需求建模语言:行为描述语言的语法和语义,并给出相关实例分析以及所实现的建模工具简介.     

Understanding requirement prioritization artifacts: a systematic mapping study

The importance of prioritizing requirements stems from the fact that not all requirements can usually be met with available time and resource constraints. Efficient and trustworthy methods for prioritizing requirements are therefore in high demand. In this article, we present results of a systematic mapping study in order to appreciate the different considerations that have influenced prioritization of software requirements, identify the various types of artifacts proposed toward prioritizing software requirements, and examine certain characterizations of these artifacts. The results emphasize the heightened attention the domain of requirement prioritization has received in recent years. On the basis of this study, we are able to provide the following inferences regarding possible future research trajectories in software requirement prioritization artifacts: (1) focus on frameworks and tools; (2) emphasis on specialization; and (3) proposition of theory-based artifacts. Additional research possibilities are also pointed out at the end and are expected to stimulate further research on the topic.     

多视点元模型间需求追踪性方法

以全面而统筹的眼光解决问题,则必须从局部分析不同的侧面,面向多视点的需求工程即为该理论的一个应用.多视点需求工程越来越受到重视,但是各视点间却缺少统一,这不仅不利于获取完整的系统需求,还导致需求变更困难等问题.为了解决以上问题,首先提出一个新的多视点建模过程框架,合理的建模框架有利于获取完整的系统需求.其次在多视点建模过程框架下建立追踪元模型,阐明系统需求在多视点元模型间的平稳过渡.最后结合需求追踪矩阵方法在追踪元模型间建立起追踪关系,进而通过计算变化追踪矩阵在需求变更时可以追踪到相关元素并进行更改,解决需求变更困难的问题.