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

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