Showing that business processes comply with regulatory requirements is not easy. We investigate this compliance problem in the case that the requirements are expressed as a directed, acyclic graph, with high-level requirements (called control objectives) at the top and with low-level requirements (called control activities) at the bottom. These control activities are then implemented by control processes. We introduce two algorithms: the first identifies whether a given set of control activities is sufficient to satisfy the top-level control objectives; the second identifies those steps of control processes that contribute to the satisfaction of top-level control objectives. We illustrate these concepts and the algorithms by examples taken from a large healthcare provider. © 2009 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Marino, D., Massacci, F., Micheletti, A., Rassadko, N., & Neuhaus, S. (2009). Satisfaction of control objectives by control processes. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5900 LNCS, pp. 531–545). https://doi.org/10.1007/978-3-642-10383-4_39
Mendeley helps you to discover research relevant for your work.