Abstract:
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.
摘要： 为了支持软件并行工程中的过程建模,以Petri网为基础,提出了一种过程建模的形式化方法 ——X-Petri网。同时给出了X-Petri网的详细定义及模型映射规则。最后通过一个软件并行工程中的过程实例来说明如何建立相应的X-Petri网模型。
关键词:
软件并行工程,
过程建模,
Petri网
CLC Number:
ZHAO Yang, LI Tong, LIU Qing. A Formal Method for Software Concurrent Engineering Process Modeling[J]. , 2004, 30(18): 77-78.
赵杨,李彤,柳青. 支持软件并行工程过程建模的一种形式化方法[J]. , 2004, 30(18): 77-78.