基于受控Petri网的需求追踪演化过程建模

摘要：

需求追踪可以获得更加完备的系统需求,对软件的成功开发起到十分重要的作用。分析了需求制品间的可追踪性链接关系,定义了链接关系语义及其表示原语,对需求过程活动产生的制品进行追踪链接关系分析,用链接关系图表示制品间的约束、依赖、抽象及时序关系,找出活动中的需求变更点、变体及其变更因素,为需求过程开发活动制定相应的演化控制策略,并反馈到相应的需求活动中,控制需求过程开发活动演化。定义了受控Petri网ConPN,用ConPN对需求追踪演化过程建立形式化模型,反馈、迭代、增量演化需求过程活动,使需求过程更加成熟,同时,提高软件生产的质量和效率,增加涉众满意度。

关键词：需求追踪、链接关系、链接语义、需求过程、演化、需求活动、控制策略、受控Petri网

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

资助基金：云南省教育科学研究基金项目2012C106;云南大学教育教学改革研究重点项目2013BZ5

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

页数：共5页

页码：21-24,28