BPMN is a notation for business process modeling. Process models can be complex, for instance, with unstructured (cyclic) topologies. BPEL, on the other hand, is the choice for web service orchestration. This paper presents an approach to systematically identifying and classifying subgraphs in a BPMN model that may be translated to BPEL code. Most of existing methods rely on exhaustive search. In contrast, we partition the BPMN model into single-entry single-exit regions which are then classified according to control flow information. This information is gathered by using a reachability analysis based on dataflow equations.
展开▼
机译：BPMN是业务流程建模的符号。流程模型可以复杂，例如，具有非结构化（循环）拓扑。另一方面，BPEL是Web Service Orchestration的选择。本文介绍了一种方法来系统地识别和分类了可以将其转换为BPEL代码的BPMN模型中的子图。现有的大多数现有方法依赖于详尽的搜索。相比之下，我们将BPMN模型分区为单条目单从区域，然后根据控制流信息对分类进行分类。通过使用基于数据流方程的可达性分析来收集此信息。
展开▼
