Toggle Main Menu Toggle Search

Open Access padlockePrints

A Rule-Based Notation to Specify Executable Electronic Contracts

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


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


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 and failures encountered during business interactions.

Publication metadata

Author(s): Strano M, Molina-Jimenez C, Shrivastava S

Editor(s): Bassiliades, N., Governatori, G, Pashke, A.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Rule Representation, Interchange and Reasoning on the Web: International Symposium (RuleML)

Year of Conference: 2008

Pages: 81-88

ISSN: 0302-9743 (Print) 1611-3349 (Online)

Publisher: Springer-Verlag


DOI: 10.1007/978-3-540-88808-6_11

Notes: Extended version available as Technical Report CS-TR 1115 at

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783540888079