面向图形流程模型的结构化转换方法研究

项目名称： 面向图形流程模型的结构化转换方法研究

项目编号： No.61303031

项目类型： 青年科学基金项目

立项/批准年度： 2014

项目学科： 自动化技术、计算机技术

项目作者： 张曼

作者单位： 西安电子科技大学

项目金额： 23万元

中文摘要： 针对业务流程建模中，由业务专家设计的面向图形流程模型与IT技术人员实现的面向块状模型间存在根本性拓扑结构差异的问题，本项目将开展由面向图形到面向块状流程模型的转换方法研究。主要研究内容分为以下三个方面：(1)针对严格结构化这种传统的面向块状特征表达能力有限的问题，拟定义一种放宽严格结构化限制的新面向块状特征，称为可分离性，并以可分离性作为转换的目标模型应满足的面向块状特征；(2)对于可能具有任意拓扑结构的面向图形的源模型，拟总结其存在等价可分离形式的充要条件。在此基础上，构建面向图形的流程模型是否存在等价可分离形式的判定算法。若答案为是，则能够由判定算法直接得到目标模型；答案为否，则证明不存在这样的形式。(3)拟采用真并发等价性的概念，证明等价可分离形式存在时，转换算法能够保持转换前后流程模型的并发层次。项目的研究将为业务流程模型由设计到实现层的平滑过渡提供理论基础。

中文关键词： 面向图形的流程模型；模型转换；工作流网；可分离性；真并发等价

英文摘要： In view of the foundational topological differences between the graph-oriented process models designed by business experts and the block-oriented models implemented by IT technicians in the business process modeling, this project will develop the research on the transformation of graph-oriented into block-oriented process models. The main content includes the following three aspects: (1) In the light of the fact that the strict structuredness as the traditional block-oriented character has limited expression ability, the so-called separability will be defined as a new kind of block-oriented character, which releases the expression limitation of the strict structuredness. And the target models of transformation will be demanded to satisfy separability as the new block-oriented character. (2) For graph-oriented source models possible with arbitrary topological structures, the necessary and sufficient condition of them having equivalent separable forms will be summarized. Based on this, a determinate algorithm will be established to judge whether an equivalent separable form exists for a graph-oriented process model. If the answer is yes, the target model can be directly derived from the determinate algorithm. If no, it is proved that such a separable form does not exist. (3) Under the true concurrent equivalent no

英文关键词： graph-oriented process model；model transformation；workflow net；separability；true concurrent equivalency