All submissions of the EM system will be redirected to Online Manuscript Submission System. Authors are requested to submit articles directly to Online Manuscript Submission System of respective journal.


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

Author(s): 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.

Share this       

Table of Contents

Recommended Conferences

International Congress on Biotechnology

Tokyo, Japan

24th Global Congress on Biotechnology

Dubai, UAE
izmir escort izmir escort bursa escort antalya escort izmir escort porno porno izle türk porno eskişehir escort bartın escort burdur escort havalandırma izmir escort bursa escort porno indir izle escort izmir