By Topic

Xi-Calculus: A Calculus for Service Interactions

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

3 Author(s)
Rajani, V. ; Dept. of Comput. Sci. & Eng., Indian Inst. of Technol. Madras, Chennai, India ; Kumar, A. ; Janakiram, D.

The paper proposes ξ-calculus, a formalism for describing interactions in Service Oriented Architectures. The calculus treats interactions between services as a core concept to capture important architectural characteristics of the system. The focus of ξ-calculus is on the higher level abstraction rather than on the lower level details like parameter passing, use of stacks, closures etc. And hence it can be used to specify, study, and compare different service oriented systems from an architectural point of view. The paper also introduces a notion of interaction types suitable for the level of abstraction under consideration. These types are used to describe the type system of the calculus. The paper introduces a notion of design time non-functional capabilities and also present the application of the calculus in a real business scenario.

Published in:

Services Computing (SCC), 2010 IEEE International Conference on

Date of Conference:

5-10 July 2010