ServiceJ: Service-Oriented Programming in Java

While object-oriented programming languages such as Java and C# deliver the main mechanism for implementing enterprise systems, these languages have not kept pace with the rapidly evolving technology of Service-Oriented Computing. The main reason is their insufficient support for dealing with service volatility and service distribution. In this paper, we present ServiceJ, an extension of Java with built-in support for Service-Oriented Computing. ServiceJ bridges the gap between Service-Oriented Computing and Object-Oriented Programming Languages in two ways. First, it captures the volatile nature of services by supporting dynamic service selection and binding. Second, it adequately deals with distribution problems by offering a transparent failover mechanism that can be configured using declarative language constructs. We present a formal service language, Featherweight ServiceJ, in which the soundness of ServiceJ and its future extensions can easily be proven.nrpages: 63status: publishe