Compliance checking of integrated business processes

To enable compliance checking on integrated business processes we developed the NTL–ALCNTL–ALC logical framework, for closing the gap between the abstract norms and the concrete business processes. To reason on the active obligations and permissions, we extended the normative temporal logic (NTL)NTL, by applying the deontic operators O (obligation) and P   (permission) on concepts of the ALCALC (Attribute Language with Complements) description logic. As proof of concept of our results we have used the Hazard Analysis at Critical Control Points (HACCP) standard, aiming to prevent the occurrence of significant hazards in the food industry.