Formal description and verification of π-calculus based BPEL service composition
Xia Hong · Microcomputer & its Applications · 2010
BPEL is an important technology to achieve SOA service composition and service orchestration.This paper mainly discussed the syntax definition of π-calculus and the algorithm using π-calculus to model web service,then took a typical bank loan service system for example,used π-calculus for formal description and verification.