A Language for Reliable Service Composition

Authors:
Qingjun Xiao;Ruonan Rao;Jinyuan You
Affiliations:
Distributed Computing Center of Shanghai JiaoTong University, 200240,;Distributed Computing Center of Shanghai JiaoTong University, 200240,;Distributed Computing Center of Shanghai JiaoTong University, 200240,
Venue:
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Year:
2007

Citing 4
Cited 0

The next step in Web services

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
Comparing two approaches to compensable flow composition

CONCUR 2005 - Concurrency Theory
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

Service Composition is one of the pillars under Service Oriented Architecture. BPEL becomes the de-facto standard within this area. A key aspect when aggregating business processes using BPEL is to realize a compensation-based reliable service composition, often referred to as BPEL LRT(Long Running Transaction). But there lacks precise modeling on how to combine BPEL control flow with long running transactions. The paper presents a formal language named BPTX, which is a simplified version of BPEL at syntactic level and offers effective directions to underlying transaction coordinator as semantics. The paper also proposes an optimization not contained in traditional transaction processing: detect the failure destiny of a branch and react to it as early as possible.