Web Service Interface Extending and Description Based on π Calculus

Service interface description is one of the most important problems in services-oriented software architecture, and formal description methods are considered to be a promising approach for service interface. Presently the typical Web service description language (WSDL) only provided the syntax level information that needed by the service interaction without containing the dynamic behavioral protocol information. So it can not guarantee the correct interaction and usage of the service in the open environment. The paper first defined the signature view and the behavior view of the service then designed the modeling method that transfer the Web service behavior into π calculus process expression and at last proposed the algorithm that makes the service view transfer into π calculus process automatically. The work of the paper constructed the basis of deducing Web service composition compatibility and substitutability based on π calculus.