Compliance checking between business processes and business contracts

By Guido Governatori, Z. Milosevic, Shazia Wasim Sadiq. IEEE International Enterprise Distributed Object Computing Conference, 2006

314 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Management Information Systems

View Paper: https://www.semanticscholar.org/paper/6ef10ae8bd8aa173a08ed9a2c8f3b1e380382d24

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. Ruopeng Lu
4. Guido Governatori
5. Shazia Wasim Sadiq
6. Ahmed Awad
7. Gero Decker
8. Mathias Weske

In Management Information Systems

1. Bernd Weber
2. Manfred Reichert
3. Ruopeng Lu
4. Guido Governatori
5. Shazia Wasim Sadiq
6. Mathias Weske
7. Ahmed Awad
8. Gero Decker

Citations in the corpus

• Efficient Compliance Checking Using BPMN-Q and Temporal Logic (2008, background): “The Formal Contract Language (FCL) was introduced in [15] to formally measure the compliance between a business contract and a business process.”
• Compliance Aware Business Process Design (2007, methodology): “We establish the connection between FCL and business process model through execution sequences and the so called state of idealness [6].”
• Enabling Flexibility in Process-Aware Information Systems (2012, methodology): “For cycle-free, prespecified process models, for example, [107] and [360] provide efficient algorithms.”
• Modeling Control Objectives for Business Process Compliance (2007, background): “Initial work in this area [12] in the context of business contracts (a special case of compliance) has already provided the basic concepts leading to the adoption of formal models of normative systems as a candidate representation for control objectives.”