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

Requirements Traceability Evolution Processes Modeling Based on Controlled Petri Net

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

The complete system requirements are achieved by requirements traceability,and play important roles to the successful software development. The traceability link relations of requirements artifacts are analyzed. The link semantics and their denotation primitives are defined. The traceability link relations of artifacts of requirements processes activities are analyzed. The constraints,dependences,abstracts and temporal relations of artifacts are denoted with the link relations graph. Requirements change points,variants and their change factors of activities are located. The evolution control policies are established for requirements processes development activities,feed back to the corresponding activities and control evolution of activities. The controlled Petri Net is defined. Requirements traceability evolution proces-ses is formally modeled with it. Activities of requirements processes are fed back,iterated,incrementally evolved,and turned more mature-ly. As the result of these,software production quality and efficiency are improved. The stakeholders＆#39; satisfaction degree is increased.