Towards Deontic Knowedge-Based Tools for (Re-)Design of Inter-Organizational Procedures

Abstract

Inter-organizational procedures are put in place to ensure compliance in contractual relationships. They thus control the interests of each party over the behavior of the other parties. Historically, controls emerged from experience: when something went wrong, a control was invented to avoid the problem in the future. But this trial and error approach tends to be slow, patchwork, as well as backward-looking, with no systematic review of possible control risks. Here a more analytical approach is proposed to the identification of control requirements for inter-organizational procedures. The approach involves abstracting the process to identify its basic deontic elements. A model checking approach is then applied to identify needed controls.

Keywords: auditing, inter-organizational procedure, deontic process, international trade procedure, electronic contracting