Web service composition compatibility checking based on behavior description

The paper first defined the signature view and the behavior view of the service,then designed the modeling method that transferred the Web service behavior into π calculus process expression and proposed the algorithm that made the service view transfer into π calculus process automatically. At last,with the help of operational and transitional semantics and formal deduction,checked whether two services were behavior compatible when Web services were compositing.