School of Computing

Automating support for e-business contracts

Peter F. Linington

International Journal of Cooperative Information Systems, 14(2&3):182-196, September 2005.

Abstract

If e-business contracts are to be widely used, they need to be supported by the IT infrastructure of the organizations concerned. This implies that the interactions between systems in different organizations must be guided by the contract and there must be sufficiently strong checks and balances to ensure that the contract is in fact obeyed. This includes facilities for the unbiased monitoring of correct behaviour and the reporting of exceptions. One of the ways to provide this support is to generate it directly from the agreed contract. This paper considers the steps necessary to provide sufficient automation in the support and checking of e-Business contracts for them to offer efficiency gains and so to become widely used. It focuses on the role of models, taking a model-driven approach to development and discussing both the source and target models and the transformational pathways needed to support the contract-based business processes. Download publication 304 kbytes (PDF)

Bibtex Record

@article{2303,
author = {Linington, Peter F.},
title = {Automating Support for E-Business Contracts},
month = {September},
year = {2005},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2005/2303},
    publication_type = {article},
    submission_id = {26102_1133880670},
    journal = {International Journal of Cooperative Information Systems},
    volume = {14},
    number = {2&3},
    publisher = {World Scientific},
    ISSN = {0218-8430},
}

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

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

Last Updated: 21/03/2014