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

Downloads

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


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 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

URL: http://dx.doi.org/10.1007/978-3-540-88808-6_11

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

Notes: Extended version available as Technical Report CS-TR 1115 at http://www.cs.ncl.ac.uk/publications/trs/papers/1115.pdf

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783540888079


Actions

Link to this publication


Share