A Rule-Based Notation to Specify Executable Electronic Contracts

Authors:
Massimo Strano;Carlos Molina-Jimenez;Santosh Shrivastava
Affiliations:
Newcastle University, UK;Newcastle University, UK;Newcastle University, UK
Venue:
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
Year:
2008

Citing 2
Cited 1

A Method for Specifying Contract Mediated Interactions

EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
Implementing Business Conversations with Consistency Guarantees Using Message-Oriented Middleware

EDOC '07 Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference

Normative monitoring: semantics and implementation

COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a notation to specify executable electronic contracts to monitor compliance and/or enforcement of business-to-business interactions. A notable feature is that the notation takes into account the distributed nature of the underlying computations by paying due attention to timing and message validity constraints as well as the impact of exceptions/failures encountered during business interactions.