Rami-Habib Eid-Sabbagh is a researcher and PhD candidate at the Hasso Plattner Institute (University of Potsdam). His research in the Business Process Management domain focuses on business process architectures, analysis of large process model collections, and BPM in eGovernment. He obtained his BSc from Hasso Plattner Institute and his MSc from the University of Manchester. His research results have been published in scientific conference and workshop proceedings
In recent years, Business Process Management has gained maturity in private and public organizations. Organization own large process collections.
Organizing, analyzing, and managing them becomes more complex. In the course of this development, research on Business Process Architectures has gotten more attention over the last decade. A Business Process Architecture describes the relationships between business processes within a process collections as well as the guidelines to organize them. However, formalization and verification techniques are still missing in this context.
To overcome this gap we propose a novel Petri net based Business Process Architecture formalization. Based on this, we can resort to known Petri net
verification techniques for the analysis of Business Process Architectures patterns and anti-patterns in regard to their structural and behavioral
properties. Our methodology is evaluated on a real use case from the public administration.