Subscribe Now Subscribe Today
Science Alert
Curve Top
Information Technology Journal
  Year: 2011 | Volume: 10 | Issue: 6 | Page No.: 1194-1200
DOI: 10.3923/itj.2011.1194.1200
Facebook Twitter Digg Reddit Linkedin StumbleUpon E-mail

Modeling Web Services Composition with Timed Pi Calculus

Yuanyuan Zhang, Jun Liu, Qiong Tang and Yan Wu

The Web service technology is the de facto standard to expose the functions of business applications for implementing the integration of existing e-business and improving business processes. We need to study the problem of modeling, testing and verifying the behaviors of Web services, especially in services composition. This study focuses on the issue of behavioral modeling in a service composition. It adopts the timed PI calculus to model service behaviors and interactions in a formal way. To handle the structural composition, we improve the syntax and semantic of timed PI Calculus. Based on the evolution of the timed PI calculus process, we can compose services on the fly and ensure the correctness of services composition. Our case study shows that the proposed approach has a good scalability and efficacy for service composition. In conclusion, our approach is an improvement method to modeling Web service composition.
PDF Fulltext XML References Citation Report Citation
  •    Formal Verification for CCML Based Web Service Composition
  •    The Use of Web Services Technology in the Design of Complex Software Interfaces: An Educational Perspective
How to cite this article:

Yuanyuan Zhang, Jun Liu, Qiong Tang and Yan Wu, 2011. Modeling Web Services Composition with Timed Pi Calculus. Information Technology Journal, 10: 1194-1200.

DOI: 10.3923/itj.2011.1194.1200






Curve Bottom