University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Long-running transactions: Semantics, schemas, implementation

Moschoyiannis, S, Razavi, AR, Zheng, Y and Krause, P (2008) Long-running transactions: Semantics, schemas, implementation 2008 2nd IEEE International Conference on Digital Ecosystems and Technologies, IEEE-DEST 2008 . 20 - 27.

[img]
Preview
PDF - Published Version
1649Kb

Official URL: http://ieeexplore.ieee.org/search/srchabstract.jsp...

Abstract

In this paper we describe a formal model for the distributed coordination of long-running transactions in a Digital Ecosystem for business, involving Small and Medium Enterprises (SMEs). The proposed non-interleaving model of interaction-based service composition allows for communication between internal activities of transactions. The formal semantics of the various modes of service composition are represented by standard xml schemas. The current implementation framework uses suitable asynchronous message passing techniques and reflects the design decisions of the proposed model for distributed transactions in digital ecosystems.

Item Type:Article
Divisions:Faculty of Engineering and Physical Sciences > Electronic Engineering > Centre for Communication Systems Research
ID Code:2416
Deposited By:Melanie Hughes
Deposited On:06 Oct 2010 15:07
Last Modified:16 Feb 2013 16:52

Document Downloads

Repository Staff Only: item control page


Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800