School of Computing

Identifying requirements for business contract language: A monitoring perspective

S. Neal, J. Cole, P.F. Linington, Z. Milosevic, S. Gibson, and S. Kulkarni

In M.Steen and B.R.Bryant, editors, Proceedings of the seventh International Enterprise Distributed Object Computng Conference, pages 182-196, Brisbane, Australia, September 2003. IEEE Computer Society.


This paper compares two separately developed systems for monitoring activities related to business contracts, describes how we integrated them and exploits the lessons learned from this process to identify a core set of requirements for a Business Contract Language (BCL). Concepts in BCL needed for contract monitoring include: the expression of coordinated concurrent actions; obliged, permitted and prohibited actions; rich timeliness expressions such as sliding windows; delegations; policy violations; contract termination/renewal conditions and reference to external data/events such as change in interest rates. The aim of BCL is to provide sufficient expressive power to describe contracts, including conditions which specify real-time processing, yet be simple enough to retain a human-oriented style for expressing contracts. Download publication 263 kbytes (PDF)

Bibtex Record

author = {S. Neal and J. Cole and P.F. Linington and Z. Milosevic and S. Gibson and S. Kulkarni},
title = {Identifying requirements for Business Contract language: A monitoring perspective},
month = {September},
year = {2003},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    publication_type = {inproceedings},
    submission_id = {7992_1077183220},
    ISBN = {0-7695-1994-6},
    booktitle = {Proceedings of the seventh International Enterprise Distributed Object Computng Conference},
    editor = {M.Steen and B.R.Bryant},
    address = {Brisbane, Australia},
    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