面向软件动态演化的需求建模及其模型规范化  

An Approach to Modeling and Normalizing Dynamic-Evolution-Oriented Software Requirements

作　　者：谢仲文[1,2] 李彤[1,2] 代飞[1,2] 钱晔[1,2] 罗溦[2,3] 王娟[2,3] 

机构地区：[1]云南大学软件学院,昆明650091 [2]云南省软件工程重点实验室,昆明650091 [3]云南大学信息学院,昆明650091

出　　处：《计算机科学与探索》2012年第6期557-576,共20页Journal of Frontiers of Computer Science and Technology

基　　金：国家自然科学基金No.60963007;云南省软件工程重点实验室开放基金Nos.2010KS01;2011SE04;2011SE05;云南大学研究生科研课题资助项目No.ynuy201131~~

摘　　要：针对目前需求工程阶段对软件动态演化考虑不足的现状,在分析软件动态演化面临的挑战的基础上,设计了面向动态演化的需求元模型(dynamic-evolution-orientedrequi rements meta-model,DERM)。该元模型以特征为基本部件,按特征组合的方式建立需求模型,需求模型由行为特征和属性特征组成。行为特征被区分为计算行为特征和交互行为特征,以实现计算和交互的相对隔离;属性特征通过其作用域,指定其在行为特征模型中的作用范围,从而将行为特征模型和属性特征模型统一为需求模型。在此基础上,讨论了需求模型的参照完整性、依赖一致性和互斥一致性,并进一步把需求模型规范化为需求模型第一范式到第三范式,需求模型规范化的过程提供了一种保证需求模型一致性的方法。最后通过案例研究,表明了该方法的可行性及其对软件动态演化的有效支持。Facing the current situation of less consideration of dynamic evolution in requirements engineering, this paper proposes a dynamic-evolution-oriented requirements meta-model （DERM） based on the analysis of the chal- lenges around software dynamic evolution. This meta-model selects features as basic components, and offers an approach to modeling software requirements based on the combination of features. Requirements model is com- posed of behavior feature and property feature. Furthermore, behavior feature is divided into calculation behavior feature and interaction behavior feature to isolate interaction fxom calculation. Through mapping the scope of property feature model to the range of behavior feature model, behavior feature model and property feature model are inte- grated as the ultimate requirements model. The paper discusses referential integrity, dependency consistency and mutex consistency of requirements models, and normalizes requirements models as 1RNF （first requirements-model normal form）, 2RNF and 3RNF. The process of transforming requirements models from 1RNF to 3RNF is also a method of ensuring consistency of requirements models. Finally, one case shows that the proposed method is feasi- ble, and can effectively support software dynamic evolution.

关 键 词：需求工程 软件动态演化 特征 通信进程代数 规范化 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]