The program structure tree: computing control regions in linear time
PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Efficient program analysis using dependence flow graphs
Efficient program analysis using dependence flow graphs
Analyzing process models using graph reduction techniques
Information Systems - The 11th international conference on advanced information systems engineering (CAiSE*
Prime subprogram parsing of a program
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Parsing flowcharts and series-parallel graphs.
Parsing flowcharts and series-parallel graphs.
From BPMN Process Models to BPEL Web Services
ICWS '06 Proceedings of the IEEE International Conference on Web Services
WorkflowNet2BPEL4WS: a tool for translating unstructured workflow processes to readable BPEL
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Seven process modeling guidelines (7PMG)
Information and Software Technology
An integer programming based approach for verification and diagnosis of workflows
Data & Knowledge Engineering
Service Oriented Computing and Applications
Translating shared state based ebXML BPSS models to WS-BPEL
International Journal of Business Intelligence and Data Mining
Symbolic execution of acyclic workflow graphs
BPM'10 Proceedings of the 8th international conference on Business process management
Structuring acyclic process models
BPM'10 Proceedings of the 8th international conference on Business process management
Survey paper: Refactoring large process model repositories
Computers in Industry
Editorial: Mining business process variants: Challenges, scenarios, algorithms
Data & Knowledge Engineering
Syntax highlighting in business process models
Decision Support Systems
Process restructuring in the presence of message-dependent variables
ICSOC'10 Proceedings of the 2010 international conference on Service-oriented computing
Simplified computation and generalization of the refined process structure tree
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Identifying refactoring opportunities in process model repositories
Information and Software Technology
Adaptable Decentralized Service Oriented Architecture
Journal of Systems and Software
Cognitive complexity in business process modeling
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Clone detection in repositories of business process models
BPM'11 Proceedings of the 9th international conference on Business process management
Simplifying mined process models: an approach based on unfoldings
BPM'11 Proceedings of the 9th international conference on Business process management
The NestFlow interpretation of workflow control-flow patterns
ADBIS'11 Proceedings of the 15th international conference on Advances in databases and information systems
Numbering action vertices in workflow graphs
International Journal of Applied Mathematics and Computer Science
Fragment-based version management for repositories of business process models
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part I
Structuring acyclic process models
Information Systems
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Optimization of complex qos-aware service compositions
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Generalized aggregate Quality of Service computation for composite services
Journal of Systems and Software
A process distance metric based on alignment of process structure trees
APWeb'12 Proceedings of the 14th international conference on Web Technologies and Applications
Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Understanding business process models: the costs and benefits of structuredness
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Generating natural language texts from business process models
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Inferring the semantic properties of sentences by mining syntactic parse trees
Data & Knowledge Engineering
Approximate clone detection in repositories of business process models
BPM'12 Proceedings of the 10th international conference on Business Process Management
Data support in process model abstraction
ER'12 Proceedings of the 31st international conference on Conceptual Modeling
Simplifying discovered process models in a controlled manner
Information Systems
Fast detection of exact clones in business process model repositories
Information Systems
Slice, mine and dice: complexity-aware automated discovery of business process models
BPM'13 Proceedings of the 11th international conference on Business Process Management
Conformance checking in the large: partitioning and topology
BPM'13 Proceedings of the 11th international conference on Business Process Management
Predicting the quality of process model matching
BPM'13 Proceedings of the 11th international conference on Business Process Management
Version management for business process schema evolution
Information Systems
Decomposing Petri nets for process mining: A generic approach
Distributed and Parallel Databases
A linear time layout algorithm for business process models
Journal of Visual Languages and Computing
Process Discovery and Conformance Checking Using Passages
Fundamenta Informaticae - Application and Theory of Petri Nets and Concurrency, 2012
Hi-index | 0.00 |
We consider a workflow graph as a model for the control flow of a business process and study the problem of workflow graph parsing, i.e., finding the structure of a workflow graph. More precisely, we want to find a decomposition of a workflow graph into a hierarchy of sub-workflows that are subgraphs with a single entry and a single exit of control. Such a decomposition is the crucial step, for example, to translate a process modeled in a graph-based language such as BPMN into a process modeled in a block-based language such as BPEL. For this and other applications, it is desirable that the decomposition be unique, modular and as fine as possible, where modular means that a local change of the workflow graph can only cause a local change of the decomposition. In this paper, we provide a decomposition that is unique, modular and finer than in previous work. We call it the refined process structure tree. It is based on and extends similar work for sequential programs by Tarjan and Valdes [ACM POPL '80, 1980, pp. 95-105]. We give two independent characterizations of the refined process structure tree which we prove to be equivalent: (1) a simple descriptive characterization that justifies our particular choice of the decomposition and (2) a constructive characterization that allows us to compute the decomposition in linear time. The latter is based on the tree of triconnected components (elsewhere also known as the SPQR tree) of a biconnected graph.