Abstract

In the modern business world, business coordinations are becoming complex and global. Contractual relations are required to explicitly define the collaboration between parties, certainly in scenarios with more than two parties. Therefore, execution of multi-party contracts has to be considered a vital point for successful business coordinations. However, there is little known about how to formally model a multi-party contract. The need for a multi-party contract model is thus becoming evident. In this paper, we investigate how to model a contract involving multilateral relations such that finding the responsible parties for given contract violations is facilitated. We provide algorithms for detecting violations and identifying the violator.