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.

Abstract

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       
Awards Nomination

Table of Contents

Google Scholar citation report
Citations : 875

BioTechnology: An Indian Journal received 875 citations as per Google Scholar report

Indexed In

  • CASS
  • Google Scholar
  • Open J Gate
  • China National Knowledge Infrastructure (CNKI)
  • CiteFactor
  • Cosmos IF
  • Directory of Research Journal Indexing (DRJI)
  • Secret Search Engine Labs
  • Euro Pub
  • ICMJE

View More

Flyer