基于Petri网的MDA建模研究  

Research of MDA Model Based on Petri Net

作　　者：李知芝[1] 蒋泽军[1] 王丽芳[1] 

机构地区：[1]西北工业大学计算机学院,陕西西安710129

出　　处：《计算机测量与控制》2010年第6期1373-1375,1379,共4页Computer Measurement &Control

摘　　要：随着工作流建模在MDA研究中地位日益突显,相关领域的研究工作受到越来越多的关注;考虑到现有建模方法在描述并发、冲突以及并行等复杂模型时所表现的局限性,文中提出了基于Petri网的MDA建模方法;在具体研究过程中,首先深入讨论了基于Petri网的复杂工作流建模方法和相关定义;接着,重点介绍了分支和汇合、自由选择冲突和复合工作流的建模过程以及相应的XML描述方法;最后,以某实际工作流为分析对象,应用文中提出的方法进行MDA工作流建模和分析。As the increasing importance of the workflow model in the research of MDA, more and more researchers put attention in this field. Considering the existing models limitation in describing complicated models like synchronization, eonfliction and paralleling, this paper proposes a model method for MDA based on Petri net. In following discussion, this paper firstly presents the specific method for complicated models based on Petri net and corresponding definition, and then introduces the model process of Fork and Join, Free--Choice Conflict, mix- ture workflow and corresponding description methods based on XML. Finally, take an actual workflow as example, this paper adopts the method discussed in this paper to construct corresponding MDA workflow.

关 键 词：MDA模型 PETRI网 XML 

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