A Typed Formal Model for Web Services Composition
Gu Xi · 2008
The correctness of Web service composition includes dynamic behavior compatibility and data type consistency.This paper defines an extended type system based on Pi-calculus,and presents a typed formal model of BPEL4WS specification on the basis of extended type system.This typed formal model can be utilized to verify the correctness of Web service composition.At the end of this paper,the verification method of dynamic behavior compatibility and data type consistency of Web service composition are introduced through a case study.