About cookies on this site Our websites require some cookies to function properly (required). In addition, other cookies may be used with your consent to analyze site usage, improve the user experience and for advertising. For more information, please review your options. By visiting our website, you agree to our processing of information as described in IBM’sprivacy statement. To provide a smooth navigation, your cookie preferences will be shared across the IBM web domains listed here.
Conference paper
Ψ-CAL: Foundations of a programming language for services computing
Abstract
Services Computing has turned into the mainstream programming paradigm for building enterprise systems that are distributed in nature. However, the programming power available to the developers of service oriented systems has been slow to catch up. The object abstraction continues to be the prevalent mechanism for implementing services based software systems and has several drawbacks. A key drawback is the fact that programmers are provided the business requirements in terms of services but are expected to implement them using objects, leading to an abstraction gap that the programmer is expected to fill. In this paper, we formalize the notion of services as first class entities through a typed calculus, called Ψ-CAL. Ψ-CAL models major operations for service manipulation including creation, discovery, and invocation as well as establishing relationships among services. We present the syntax and semantics of Ψ-CAL with a corresponding type system, towards building a programming language for services computing. © 2013 IEEE.