School of Computing

Using policies in the checking of business to business contracts

P.F. Linington and S. Neal

In H.Lutfiyya, J.Moffat, and F.Garcia, editors, Fourth IEEE International Workshop on Policies for Distributed Systems and Networks, pages 182-196, Lake Como, Italy, June 2003. IEEE Computer Society.


The mechanization of business-to-business contract enforcement requires a clear architecture and a clear and unambiguous underpinning model of the way permissions and obligations are managed within organizations. Policies will need to be expressed in terms of the basic model, and the expressive power available will depend, in part, on the ability to compose sets of policies derived from different sources. The models used must reflect the structure of the organizations concerned and how the behaviour of organizations is constrained by broader shared rules. This paper considers a contract monitoring system intended to provide automated checking of business to business contracts, sets out a suitable model and explains how it can be used to guide the representation and control of contracts in a prototype monitoring system. Download publication 251 kbytes (PDF)

Bibtex Record

author = {P.F. Linington and S. Neal},
title = {Using Policies in the Checking of Business to Business Contracts},
month = {June},
year = {2003},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    publication_type = {inproceedings},
    submission_id = {29539_1056554057},
    ISBN = {0 7695 1933 4},
    booktitle = {Fourth IEEE International Workshop on Policies for Distributed Systems and Networks},
    editor = {H.Lutfiyya and J.Moffat and F.Garcia},
    address = {Lake Como, Italy},
    publisher = {IEEE Computer Society},
    refereed = {yes},

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014