Using Pi-Calculus to Model Web Service Interaction

Download Now
Provided by: Binary Information Press
Topic: Software
Format: PDF
Service-oriented computing has become a new computing paradigm and how to describe and model the service interaction and collaboration is a new research issue. Service interaction includes the interaction between user and service, service and service. It is needed to consider the above two aspects when realize modeling service interaction and collaboration. In the view of pi-calculus has a good description of system interaction behavior, maintaining a certain level of abstraction and facilitating system formalization and modeling, this paper uses it to describe and model service interaction and collaboration.
Download Now

Find By Topic