Abstrakt

The formalization description and validation studies about semantic web services based on pi calculus combination

Qinglin Xu

In today’s well-developed information society, internet has become a necessity in our daily life. But many people may not know the wisdom and secret behind the internet. In order to further understand the internet, this thesis will first introduces the nature of the Web services as well as the practical application value, and talks about the relatively insufficient problem of the dynamic system in Web service composition causes by some standardized defects. To improve the description and validation problem above, this thesis studies the concept of Web service definition, syntax, rules and operational semantics, and compared it with Pi, finds out the corresponding relation of elements between them. Then, modeling the BPEL4WS service combination through Pi calculus system and test it through examples.