© University of Kent - Contact | Feedback | Legal | FOI | Cookies
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.Abstract
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
@inproceedings{1636, 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 = {http://www.cs.kent.ac.uk/pubs/2003/1636}, 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}, }