id: 05252961
dt: a
an: 05252961
au: Zhu, Huibiao; Pu, Geguang; He, Jifeng
ti: A denotational approach to scope-based compensable flow language for web
    service.
so: Okada, Mitsu (ed.) et al., Advances in computer science ‒ ASIAN 2006.
    Secure software and related issues. 11th Asian computing science
    conference, Tokyo, Japan, December 6‒8, 2006. Revised selected
    papers. Berlin: Springer (ISBN 978-3-540-77504-1/pbk). Lecture Notes in
    Computer Science 4435, 28-36 (2008).
py: 2008
pu: Berlin: Springer
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-540-77505-8_3
ab: Summary: Web Services have become more and more important in these years,
    and BPEL4WS is a de facto standard for the web service composition and
    orchestration. We have proposed a language BPEL0 to capture the
    important features of BPEL4WS, with the scope-based compensation and
    fault handling mechanism. In this paper we formalize the denotational
    semantics for BPEL0, which can support the refinement calculus and the
    verification of program equivalence. A set of algebraic laws is
    investigated within the denotational framework. The distinct features
    of BPEL0 make the investigation of the denotational semantics and
    algebraic laws more challenging.
rv: