Design-time Compliance Verification
by
Oktay Türetken
—
last modified
Apr 26, 2012 11:36
Definitions
Term: term |
Domain: Cross-cutting issues | ||||
---|---|---|---|---|---|
Engineering and Design (KM-ED) |
Adaptation and Monitoring (KM-AM) |
Quality Definition, Negotiation and
Assurance (KM-QA) |
Generic (domain independent) |
||
D o m a i n : L a y e r s |
Business Process Management (KM-BPM) |
Verifying statically business
process specifications against control
rules that can be checked during the design phase of the business process life cycle. This
typically involves using model checking techniques and formal control
rules [Turetken et.al., 2012]. Design-time compliance verification is a preventive key
to ensuring that processes progressing to execution are
compliant-by-design [Turetken et.al., 2011]. In design-time compliance verification, a process model is considered as compliant with the set of relevant compliance requirements if it allows only for the execution of process instances not violating these constraints [Thoa et al., 2008]. |
|||
Service Composition and
Coordination (KM-SC) |
|||||
Service Infrastructure (KM-SI) |
|||||
Generic (domain independent) |
Competencies
- Tilburg: Business Process Compliance Management; Oktay Turetken, Amal Elgammal, Mike Papazoglou, Willem-Jan van den Heuvel
References
- [Turetken et.al., 2011] Turetken, O., Elgammal, A., van den Heuvel, W-J., Papazoglou, M. (2011). Enforcing Compliance on Business Processes through the use of Patterns, European Conference on Information Systems (ECIS 2011)
- [Turetken et.al., 2012] Turetken, O., Elgammal, A., van den Heuvel, W-J., Papazoglou, M. (2012). Capturing Compliance Requirements: A Pattern-Based Approach, IEEE Software, May/June 2012
- [Thao et al., 2008] Thao, L., Goser, K., Rinderle-Ma, S., Dadam, P.: Compliance of Semantic Constraints- A Requirements Analysis for Process Management Systems. 1st International Workshop on Governance, Risk and Compliance - Applications in Information Systems (GRCIS'08), pp. 41-45, France (2008)