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

摘要：

针对目前需求工程阶段对软件动态演化考虑不足的现状,在分析软件动态演化面临的挑战的基础上,设计了面向动态演化的需求元模型(dynamic-evolution-oriented requirements meta-model,DERM).该元模型以特征为基本部件,按特征组合的方式建立需求模型,需求模型由行为特征和属性特征组成.行为特征被区分为计算行为特征和交互行为特征,以实现计算和交互的相对隔离；属性特征通过其作用域,指定其在行为特征模型中的作用范围,从而将行为特征模型和属性特征模型统一为需求模型.在此基础上,讨论了需求模型的参照完整性、依赖一致性和互斥一致性,并进一步把需求模型规范化为需求模型第一范式到第三范式,需求模型规范化的过程提供了一种保证需求模型一致性的方法.最后通过案例研究,表明了该方法的可行性及其对软件动态演化的有效支持.

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

所属期刊栏目：6

分类号：TP311.5(计算技术、计算机技术)

资助基金：The National Natural Science Foundation of China under Grant No.60963007;the Open Foundation of Key Laboratory in Software Engineering of Yuunan Province under Grant Nos.2010KS01,2011SE04,2011SE05;the Postgraduates Science Foundation of Yunnan University under Grant No.ynuy201131

在线出版日期：2012-07-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共20页

页码：557-576