Skip to main content
Kent Academic Repository

Xi-Calculus: A Calculus for Service Interactions

Rajani, Vineet, Kumar, Arun, Janakiram, Dharanipragada (2010) Xi-Calculus: A Calculus for Service Interactions. In: 2010 IEEE International Conference on Services Computing. 2010 IEEE International Conference on Services Computing. . pp. 105-113. IEEE Computer Society ISBN 978-1-4244-8147-7. (doi:10.1109/SCC.2010.49) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:90522)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided.
Official URL:
https://doi.org/10.1109/SCC.2010.49

Abstract

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.

Item Type: Conference or workshop item (Paper)
DOI/Identification number: 10.1109/SCC.2010.49
Uncontrolled keywords: Semantics; Syntactics; Service oriented architecture; Equations; Grammar; Algebra; Calculus; Service Interactions; SOA
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Amy Boaler
Date Deposited: 01 Oct 2021 14:21 UTC
Last Modified: 16 Nov 2021 10:27 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/90522 (The current URI for this page, for reference purposes)

University of Kent Author Information

Rajani, Vineet.

Creator's ORCID:
CReDIT Contributor Roles:
  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.