基于Petri网的软件维护过程建模及应用分析

A Petri net-based Approach and Application Analysis to Modeling Software Maintenance Process

软件维护过程建模是实现过程改进、合理分配资源、提高维护效率的基础,它在越来越多的软件需要更新换代的今天更为重要。提出了采用形式化的建模工具Petri网来描述维护过程,从而可以利用Petri网的分析方法,如可达图,不变量对维护过程进行分析。在此基础上,关注Petri网中各变迁的触发时刻,估算维护周转时间、资源利用率等指标,从而为维护过程的优化和改进提供决策上的支持。

The modeling of software maintenance is the key to process improvement, logical distribute resource and improve efficiency. The paper describes an approach of modeling the software maintenance process using the Petri net, a classical formalism with graphical notations. Based on the models, various analytical tools （such as reach ability graph, invariant） in the Petri net can be adapted to analyze logical correctness of software maintenance process. Furthermore, by taking into account the time spent on the activities in these processes. The time of transition been fired was utilized to reflect the work situation of maintenance organization. As a result, it helps estimated maintenance turnover time and resource utilize ratio, and helps to provide information to decision-making for improving efficiency and effectiveness of software maintenance process.