PETRI网在软件过程建模及过程实施中的应用  

Petri-Net Based Software Process Modeling and Implementation

作　　者：潘秋菱[1] 刘宗田[2] 张立群 刘海杜 

机构地区：[1]合肥工业大学微机所,安徽合肥230009 [2]上海大学计算机学院,上海200072 [3]深圳水务局,广东深圳518000 [4]上海亚太公司,上海200021

出　　处：《小型微型计算机系统》2002年第5期569-573,共5页Journal of Chinese Computer Systems

基　　金：安徽省自然科学基金资助 (项目编号 :0 10 42 2 0 7)

摘　　要：软件过程技术 ,作为一种保证软件开发质量和效率的方法 ,在许多软件企业引起了重视和应用 .本文从条件 /事件网出发 ,应用标记 PETRI网 ,并针对其在软件过程中的特点 ,给出了软件过程和软件过程网合理性的定义 ,根据工作流领域的结论 ,可以应用经典 PETRI网的工具验证其合理性 .在此理论基础上 ,提出了传统的软件过程结构表示成软件过程网的规则 .并研究其在实践中的应用 。Software development processes, as a means to ensure software quality and productivity, have been widely accepted within the software development community. This paper extends the C/E net(Condition/Event net), gives the definition of software process net and it's soundness property. Accordiro to the result of workflow area, The soundness can be verified by the traditional petri net tools. Based on this theory, this paper introduces the ruler to transfer the common software process structure to software process net and investigates its implementation in practice. In the end, an example of a real software development organization is explained in detail.

关 键 词：PETRI网 软件过程建模 过程实施 软件开发 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]