By Topic

A process algebra for environment-based specification of web services

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
$33 $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

3 Author(s)
Lixing Li ; Academy of Mathematics and System Science, Chinese Academy of Sciences, Beijing 100190, China ; Zhi Jin ; Ge Li

It is now well-accepted that formal methods are helpful for many problems raised in Web Service area. In this paper, we propose a new process algebra to formalize the environment-based specification of Web Services. From our point of view, the capability of a Web Service is considered in terms of the effects it imposes on the environment during its execution. The environment is composed of numbers of environment entities. For each entity, we first use the algebraic specification language CASL to describe its data(static) aspect, and then use our new process algebra to formally specify its dynamic behavior aspect. Based on that, a Web Service is specified as a process, and we can easily characterize its interaction with the environment. Furthermore, a behavior equivalence between two web services is established by using the notion of strong bisimulation in the new process algebra, some important properties of this relation are proved as well.

Published in:

Service Oriented System Engineering (SOSE), 2011 IEEE 6th International Symposium on

Date of Conference:

12-14 Dec. 2011