Algebraic approach to linking the semantics of web services


Web services have become more and more important in these years, and BPEL4WS (BPEL) is a de facto standard for the web service composition and orchestration. It contains several distinct features, including the scope-based compensation and fault handling mechanism. We have considered the operational semantics and denotational semantics for BPEL, where a set… (More)
DOI: 10.1007/s11334-011-0172-1