Abstract

In the business world, business coordinations are becoming global, execution of multi-party contracts has to be considered a vital point for successful business coordinations. The need for a new multi-party contract model is thus becoming evident. However, there is little known on how to formally model a multi-party contract. In this paper, we investigate how a contract involving multilateral parties can be modeled more easily for finding the contract responsible for given contract violations.