支持软件并行工程过程建模的一种形式化方法

A Formal Method for Software Concurrent Engineering Process Modeling

为了支持软件并行工程中的过程建模,以Petri网为基础,提出了一种过程建模的形式化方法 ——X-Petri网。同时给出了X-Petri网的详细定义及模型映射规则。最后通过一个软件并行工程中的过程实例来说明如何建立相应的X-Petri网模型。

For the purpose of supporting the process modeling in software concurrent engineering(SCE), a formal method based on the Petri net is proposed in this paper. The detailed definition of the X-Petri net and the model-mapping rules are given . In the end, a simple example is given to explain how to model the process in SCE based on the X-Petri net.