When things go wrong: interrupting conversations

Authors:
Juliana Bowles;Sotiris Moschoyiannis
Affiliations:
School of Computer Science, University of St Andrews, St Andrews, UK;Department of Computing, University of Surrey, Guildford, Surrey, UK
Venue:
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Year:
2008

Citing 10
Cited 0

Sagas

SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
An introduction to database systems: vol. 1 (5th ed.)

An introduction to database systems: vol. 1 (5th ed.)
Models for concurrency

Handbook of logic in computer science (vol. 4)
Semantics of Parallelism: Non-Interleaving Representation of Behaviour

Semantics of Parallelism: Non-Interleaving Representation of Behaviour
Introduction: Service-oriented computing

Communications of the ACM - Service-oriented computing
Theoretical foundations for compensations in flow composition languages

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modelling concurrent interactions

Theoretical Computer Science - Algebraic methodology and software technology
A True-Concurrent Interpretation of Behavioural Scenarios

Electronic Notes in Theoretical Computer Science (ENTCS)
Decomposing interactions

AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
A trace semantics for long-running transactions

CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a true-concurrent approach to formalising integration of Small-to-Medium Enterprises (SMEs) with Web services. Our approach formalises common notions in service-oriented computing such as conversations (interactions between clients and web services), multi-party conversations (interactions between multiple web services) and coordination protocols, which are central in a transactional environment. In particular, we capture long-running transactions with recovery and compensation mechanisms for the underlying services in order to ensure that a transaction either commits or is successfully compensated for.