作者: Luciano García-Bañuelos
DOI: 10.1007/978-3-540-88871-0_30
关键词:
摘要: BPMN is a notation for business process modeling. Process models can be complex, instance, with unstructured (cyclic) topologies. BPEL, on the other hand, choice web service orchestration. This paper presents an approach to systematically identifying and classifying subgraphs in model that may translated BPEL code. Most of existing methods rely exhaustive search. In contrast, we partition into single-entry single-exit regions which are then classified according control flow information. information gathered by using reachability analysis based dataflow equations.