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

• 作者: 代飞 李彤 王娟 罗溦 谢仲文 钱晔
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 需求工程 软件动态演化 特征 通信进程代数 规范化
• 年，卷（期）: 2012,（6）
• 所属期刊栏目: 学术研究
• 页码范围: 557-576
• 分类号: TP311.5
• 字数: 22301字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.2012.06.008

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李彤	云南大学软件学院	151	861	14.0	22.0
3	谢仲文	云南大学软件学院	26	97	6.0	8.0
9	代飞	云南大学软件学院	26	93	6.0	8.0
13	钱晔	云南大学软件学院	5	30	2.0	5.0
17	罗溦		1	10	1.0	1.0
21	王娟		1	10	1.0	1.0