Multiparty contracts: Agreeing and implementing interorganizational processes

W.M.P. Aalst, van der, N. Lohmann, P. Massuthe, C. Stahl, K. Wolf

Research output: Contribution to journalArticleAcademicpeer-review

100 Citations (Scopus)

Abstract

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

Fingerprint

Dive into the research topics of 'Multiparty contracts: Agreeing and implementing interorganizational processes'. Together they form a unique fingerprint.

Cite this