By Topic

Reasoning on Formalizing WS-CDL Mobility Using Process Algebra

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

5 Author(s)
Nduwimfura, P. ; High Performance Comput. Center, Shanghai Univ., Shanghai, China ; Dong Xu ; Huaikou Miao ; Zhou Lei
more authors

With a good understanding of mobility mechanisms of WS-CDL, we can easily design applications that acquire, during the execution, all the information they need to invoke services. One of the means to ensure good interoperability between Web services is to formalize their mobility characteristics. Process algebras, such as π-calculus can be used to formalize Web Services characteristics and ensure that they satisfy some conditions required in SOA. The notion of mobility in process calculi refers to the fact that a process is able to exchange names as values. The core of π-calculus is based on interaction, using channel names as data, and the ability to generate fresh and unique names. This paper provides the basis for reasoning on formalizing mobility characteristics of Web services choreography using the process algebra π-calculus which is, according to Robin Milner, a model of concurrent computation based on the notion of naming. Formalizing mobility helps us to understand the nature of mobility, to reason about the behavior of mobile systems, and to develop model checking tools that are used to verify system correctness.

Published in:

Services Computing Conference (APSCC), 2010 IEEE Asia-Pacific

Date of Conference:

6-10 Dec. 2010