© University of Kent - Contact | Feedback | Legal | FOI | Cookies
A unified behavioural model and a contract language for extended enterprise
P. F. Linington, Z. Milosevic, J. Cole, S. Gibson, S. Kulkarni, and S. Neal
Data and Knowledge Engineering, 51(1):182-196, October 2004.Abstract
This paper presents a coordination model for expressing behaviour in an extended enterprise. Our model is unified because it enables the same style of expressions for describing behaviour/structure in a selfcontained enterprise and for describing cross-enterprise behaviour/structure. This model can support a broad range of modelling activities but the specific focus of this paper is on deriving the key elements of a domain language primarily targeted at expressing and monitoring behavioural conditions stated in business contracts. We also show how business contracts serve as a unifying mechanism for describing interactions in the extended enterprise.Bibtex Record
@article{1960,
author = {P. F. Linington and Z. Milosevic and J. Cole and S. Gibson and S. Kulkarni and S. Neal},
title = {A unified behavioural model and a contract language for extended enterprise },
month = {October},
year = {2004},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2004/1960},
publication_type = {article},
submission_id = {15980_1095002284},
journal = {Data and Knowledge Engineering},
volume = {51},
number = {1},
publisher = {Elsevier},
ISSN = {0169-023X},
}