基于Petri网软件过程执行机制的研究

Research of Software Process Enactment Mechanism Based on Petri Net

在软件过程执行机制中,两种传统的过程执行机制——前摄式和反映式存在模型复杂性和执行灵活性之间的矛盾。分层机制可以缓解这种矛盾,但又缺乏严密的形式化定义。采用基于Petri网的软件过程执行机制的建模和分析方法,给出了准确的形式化定义,很好地描述了软件过程执行机制中的同步、并发和异步等特点,解决了早期"前摄式"机制的过程支持缺陷,降低了反映式机制建模的复杂性。

There are two kinds of traditional process enactment mechanisms, name active. There exists contradiction between model complexity and enactment flexib y the proactive and relity. Although layered mechanism model may alleviate this contradiction, it lacks of strict formalized definition. The authors take advantage of modeling and analytical method of software process enactment mechanism based on Petri nets. It presents accurate formalized definition, describes properly synchronous, concurrent, asynchronous characteristics and etc, solves the drawback of process support which adopted early ＂proactive mechanism＂, and decreases the complexity of ＂reactive＂ process modeling.