Web service composition compatibility checking based on behavior description
Chi Zhang · Jisuanji yingyong yanjiu · 2009
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.