© University of Kent - Contact | Feedback | Legal | FOI | Cookies
On design and implementation of a contract monitoring facility
Z. Milosevic, S. Gibson, P. F. Linington, J. Cole, and S. Kulkarni
In Boualem Benatallah, Claude Godart, and Ming-Chien Shan, editors, Proceedings of WEC, First IEEE International Workshop on Electronic, pages 182-196. IEEE Computer Society, July 2004.Abstract
In this paper we present several solutions to the problem of designing and implementing a contract monitoring facility as part of a larger cross-organisational contract management architecture. We first identify key technical requirements for such a facility and then present our contract language and architecture that address key aspects of the requirements. The language is based on a precise model for the expression of behaviour and policies in the extended enterprise and it can be used to build models for a particular enterprise contract environment. These models can be executed by a contract engine that is part of an overall contract architecture that supports the contract management life cycle at both the contract establishment and contract execution phases. Our solution makes extensive use of the existing open standards.Bibtex Record
@inproceedings{1941,
author = {Z. Milosevic and S. Gibson and P. F. Linington and J. Cole and S. Kulkarni},
title = {On design and implementation of a contract monitoring facility},
month = {July},
year = {2004},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2004/1941},
publication_type = {inproceedings},
submission_id = {17826_1090513591},
ISBN = {ISBN 0-7695-2184-3},
booktitle = {Proceedings of WEC, First IEEE International Workshop on Electronic},
editor = {Boualem Benatallah and Claude Godart and Ming-Chien Shan},
organization = {IEEE Computer Society},
refereed = {yes},
}