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

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 notion, it will be proved that the algorithm can maintain the concurrency levels between the models before and after transformation, when equivalent separable forms exist. This project will theoretically support the smooth transition of business process models from design to implementation stage.

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

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