Toggle Main Menu Toggle Search

Open Access padlockePrints

A method for specifying contract mediated interactions

Lookup NU author(s): Dr Carlos Molina-Jimenez, Emeritus Professor Santosh Shrivastava, John Warne


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


To form and automatically manage partnerships within a virtual organisation, it is necessary to have an electronic representation of the contract governing business relationships that can be used to mediate the rights and obligations that each interacting entity promises to honour. The paper describes a general method of representing business interactions using a widely used modelling language Promela and discusses how to represent permissions, obligations, prohibitions, actors (agents), time constraints, and message type checking; that is, all the basic parameters that compose most typical business contracts. Two levels of contract representations are described: implementation neutral, and implementation specific, that is a refinement of the former to include technical details such as acknowledgements and synchronization messages that form an important part of any implementation. © 2005 IEEE.

Publication metadata

Author(s): Molina-Jimenez C, Shrivastava S, Warne J

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference

Year of Conference: 2005

Pages: 106-115

Publisher: IEEE


DOI: 10.1109/EDOC.2005.1

Library holdings: Search Newcastle University Library for this item

ISBN: 0769524419