Efficient Compliance Checking Using BPMN-Q and Temporal Logic

By Ahmed Awad, Gero Decker, Mathias Weske. International Conference on Business Process Management, 2008

314 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Information Systems, Management Information Systems

View Paper: https://www.semanticscholar.org/paper/5c4d8329c8723d3705b89a68ccc31facbf4864bb

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computational Theory and Mathematics

1. Marlon Dumas
2. Boudewijn van Dongen
3. Manfred Reichert
4. Bernd Weber

In Information Systems

1. Bernd Weber
2. Manfred Reichert
3. Marlon Dumas
4. Jan Mendling
5. Remco M. Dijkman
6. Boudewijn van Dongen
7. Wil M.P. van der Aalst
8. Maja Pesic

In Management Information Systems

1. Bernd Weber
2. Wil M.P. van der Aalst
3. Manfred Reichert
4. Marlon Dumas
5. Jan Mendling
6. Remco M. Dijkman
7. Boudewijn van Dongen
8. Maja Pesic

Citations in the corpus

• Enabling Flexibility in Process-Aware Information Systems (2012, methodology): “At the modeling phase, a priori compliance checking verifies whether or not prespecified process models obey compliance rules [36, 145].”
• Similarity of business process models: Metrics and evaluation (2011, background): “The same holds for other query approaches such as business process query language (BPQL) by [19] or BPMN-Q by [20].”