![Motivation: Graph- or Block-structured Modeling? ? ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]](https://image.slidesharecdn.com/bpm2010-100929093748-phpapp02/85/structuring-acyclic-process-models-2-320.jpg?cb=1285757649)
![Research Problem: Structuring Process Models ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]](https://image.slidesharecdn.com/bpm2010-100929093748-phpapp02/85/structuring-acyclic-process-models-3-320.jpg?cb=1285757649)
![Behavioral Equivalence: Bisimulation ,[object Object],≈ ≈ ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],≈ ,[object Object]](https://image.slidesharecdn.com/bpm2010-100929093748-phpapp02/85/structuring-acyclic-process-models-4-320.jpg?cb=1285757649)
![The Refined Process Structure Tree (RPST) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]](https://image.slidesharecdn.com/bpm2010-100929093748-phpapp02/85/structuring-acyclic-process-models-5-320.jpg?cb=1285757649)
![Taxonomy of Process Fragments ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]](https://image.slidesharecdn.com/bpm2010-100929093748-phpapp02/85/structuring-acyclic-process-models-6-320.jpg?cb=1285757649)
![State of the Art: Structuring Process Models Techniques for structuring flowcharts ( homogeneous XOR rigids ) date back to the late ‘70s [Oulsnam 1982] There exist arbitrary process models that do not have (FCB-) equivalent process models [Kiepuszewski et al. 2000] Overlapping structures (a special type of acyclic heterogeneous rigids ) have an (FCB-) equivalent process models [Liu and Kumar 2005] ,[object Object],[object Object]](https://image.slidesharecdn.com/bpm2010-100929093748-phpapp02/85/structuring-acyclic-process-models-7-320.jpg?cb=1285757649)
![Semantics ,[object Object],[object Object],[object Object],[object Object],[object Object]](https://image.slidesharecdn.com/bpm2010-100929093748-phpapp02/85/structuring-acyclic-process-models-8-320.jpg?cb=1285757649)
![Complete Prefix Unfolding ,[object Object],[object Object],[object Object]](https://image.slidesharecdn.com/bpm2010-100929093748-phpapp02/85/structuring-acyclic-process-models-9-320.jpg?cb=1285757649)
![Ordering Relations ,[object Object],[object Object],[object Object],[object Object],[object Object],A>C1 B>D2 B#A A#D2 C2||D2 D2||C2](https://image.slidesharecdn.com/bpm2010-100929093748-phpapp02/85/structuring-acyclic-process-models-10-320.jpg?cb=1285757649)
![Behavioral Equivalence: Fully Concurrent Bisimulation ,[object Object],[object Object],[object Object],= ~ ~ ~](https://image.slidesharecdn.com/bpm2010-100929093748-phpapp02/85/structuring-acyclic-process-models-11-320.jpg?cb=1285757649)
![Structuring Process Models: Core Idea ,[object Object],[object Object]](https://image.slidesharecdn.com/bpm2010-100929093748-phpapp02/85/structuring-acyclic-process-models-12-320.jpg?cb=1285757649)
![Structuring Process Models: Ordering Relations Graph ,[object Object],[object Object],[object Object],[object Object]](https://image.slidesharecdn.com/bpm2010-100929093748-phpapp02/85/structuring-acyclic-process-models-13-320.jpg?cb=1285757649)
![Structuring Process Models: The Modular Decomposition Tree (MDT) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]](https://image.slidesharecdn.com/bpm2010-100929093748-phpapp02/85/structuring-acyclic-process-models-14-320.jpg?cb=1285757649)
![Structuring Process Models ,[object Object],[object Object]](https://image.slidesharecdn.com/bpm2010-100929093748-phpapp02/85/structuring-acyclic-process-models-15-320.jpg?cb=1285757649)
![Conclusion ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]](https://image.slidesharecdn.com/bpm2010-100929093748-phpapp02/85/structuring-acyclic-process-models-16-320.jpg?cb=1285757649)
Structuring Acyclic Process Models
•1 like•738 views
Report
Share
This paper addresses the problem of transforming a process model with an arbitrary topology into an equivalent well-structured process model. While this problem has received significant attention, there is still no full characterization of the class of unstructured process models that can be transformed into well-structured ones, nor an automated method to structure any process model that belongs to this class. This paper fills this gap in the context of acyclic process models. The paper defines a necessary and sufficient condition for an unstructured process model to have an equivalent structured model under fully concurrent bisimulation, as well as a complete structuring method.
Recommended
More Related Content
Recently uploaded
Recently uploaded(20)
Featured
Featured(20)
Structuring Acyclic Process Models
- 1. Structuring Acyclic Process Models Business Process Management September 2010, Hoboken, NJ Artem Polyvyanyy Luciano García-Bañuelos Marlon Dumas