Compliance checking of integrated business processes

摘要

To enable compliance checking on integrated business processes we developed the NTC-ACC logical framework, for closing the gap between the norms and the concrete business processes. To reason on the active obligations and permissions, we extended the normative temporal logic (NTC), by applying the deontic operators O (obligation) and P (permission) on concepts of the ACC (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.