Navigation

• Education
  • International programmes
  • Faculties
  • ECTS
  • Vision and policy
• Research
  • Research at KU Leuven
  • Support and funding
  • Industry and Society
  • Phd
  • Postdoc researcher
  • Output and impact
  • Networking
  • Vision and policy
• Admissions
  • How to apply
  • Scholarships
  • Degree seeking students
  • Non-degree seeking students
  • Doctoral students
  • Reseachers
  • Short term study visits
  • Prepare your stay
• Living in Leuven
  • Welcome activities
  • News and agenda
  • Student Services
  • Housing
  • Insurance
  • Sports and culture
  • Student organisations
• About KU Leuven
  • Mission statement
  • Facts and figures
  • International networks
  • Development Cooperation
  • Academic Calendar
  • Alumni
  • Fundraising
  • Services and support
  • Boards and councils
  • News and press
  • Jobs

CW 451

Sven De Labey, Marko van Dooren, Eric Steegmans
ServiceJ: Service oriented programming in Java

Abstract

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.