Login New user?  
01-Applied Mathematics & Information Sciences
An International Journal
               
 
 
 
 
 
 
 
 
 
 
 

Content
 

Volumes > Volume 5 > No. 5-2S

 
   

A Framework for Criteria for the Behavioral Equivalence of Services

PP: 1S-7S
Author(s)
Li Kuang, Liang Chen,
Abstract
The behavioral analysis for Web services provides a priori detection of errors to ensure the successful interactions in services invocation and composition, and the behavioral equivalence for Web services is one of the most important issues in such analysis, which can be applied in service discovery, service substitution and service compatibility. We propose an extensible framework containing a series of criteria for the behavioral equivalence of services and explore the implications of relations among them. The proposed criteria can be adapted to different requirements in various scenarios. When one formalizes services with π-calculus, the behavioral equivalence for Web services can be analyzed automatically in a derivative way according to the proposed notions.

  Home   About us   News   Journals   Conferences Contact us Copyright naturalspublishing.com. All Rights Reserved