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