This paper provides a mechanism to check whether business processes are compliant with business rules regulating them. The key point is that compliance is a relationship between two sets of specifications: the specifications for executing a business process and the specifications regulating it. We outline a logic-based formalism for describing both the semantics of normative specifications and the semantics of compliance checking procedures.
G. Governatori, A. Rotolo (2008). An Algorithm for Business Process Compliance. AMSTERDAM : IOS Press.
An Algorithm for Business Process Compliance
GOVERNATORI, GUIDO;ROTOLO, ANTONINO
2008
Abstract
This paper provides a mechanism to check whether business processes are compliant with business rules regulating them. The key point is that compliance is a relationship between two sets of specifications: the specifications for executing a business process and the specifications regulating it. We outline a logic-based formalism for describing both the semantics of normative specifications and the semantics of compliance checking procedures.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
