A static compliance-checking framework for business process models

By Ying Liu, Samuel Müller, Ke Xu. IBM Systems Journal, 2007

294 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Information Systems, Management Information Systems

View Paper: https://www.semanticscholar.org/paper/7cd5bb9257a74d9faf27a653f51f1c7cae639514

How researchers see this paper

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

In Artificial Intelligence

1. Manfred Reichert
2. Bernd Weber
3. Ahmed Awad
4. Gero Decker
5. Mathias Weske

In Information Systems

1. Bernd Weber
2. Manfred Reichert
3. Ahmed Awad
4. Gero Decker
5. Mathias Weske
6. Wil M.P. van der Aalst

In Management Information Systems

1. Bernd Weber
2. Manfred Reichert
3. Ahmed Awad
4. Gero Decker
5. Mathias Weske
6. Wil M.P. van der Aalst

Citations in the corpus

• Enabling Flexibility in Process-Aware Information Systems (2012, methodology): “To tackle this challenge, techniques like graph reduction and sequentialization of parallel flows as well as predicate abstraction are applied [36, 145, 189].”
• Efficient Compliance Checking Using BPMN-Q and Temporal Logic (2008, methodology): “In [18], a formal approach based on model checking was given to check for compliance of processes defined in BPEL against constraints defined in the Business Property Specification Language (BPSL) that are translated to LTL.”