Multiparty Contracts

摘要: To implement an interorganizational process between different enterprizes, one needs to agree on the ‘rules of engagement’. These can be specified in terms a contract that describes overall intended and duties all parties involved. We propose use such process-oriented which seen as composition public views participating parties. Based this contract, each party may locally its part implementation (the private view) agrees contract. In paper, we formal notion for contracts give criterion accordance view view. The substituted by if only accords with Using accordance, implemented is guaranteed deadlock-free it always possible terminate properly. addition, present technique automatically checking our criterion. A case study illustrates how proposed approach used practice.