Design and validation of computer protocols
Design and validation of computer protocols
Towards Formal Modeling of e-Contracts
EDOC '01 Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing
Distributed Object Middleware to Support Dependable Information Sharing between Organisations
DSN '02 Proceedings of the 2002 International Conference on Dependable Systems and Networks
On the Monitoring of Contractual Service Level Agreements
WEC '04 Proceedings of the First IEEE International Workshop on Electronic Contracting
An Approach to Implement Contracts as Trusted Intermediaries
WEC '04 Proceedings of the First IEEE International Workshop on Electronic Contracting
A unified behavioural model and a contract language for extended enterprise
Data & Knowledge Engineering - Special issue: Contract-driven coordination and collaboration in the internet context
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
A Rule-Based Notation to Specify Executable Electronic Contracts
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
The Reference Model of Open Distributed Processing: Foundations, experience and applications
Computer Standards & Interfaces
Hi-index | 0.00 |
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.