Reasoning About a Service-Oriented Programming Paradigm

Download Now Free registration required

Executive Summary

This paper is about a new way for programming distributed applications: The service-oriented one. It is a concept paper based upon the experience in developing a theory and a language for programming services. The work started some years ago when the authors began to formalize the basic mechanisms of the Web Services technology in a process calculus. They chose such an approach because process calculi were naturally born for describing concurrent processes, as Web Services are. The need to address Web Services with a formal approach was motivated by the high level of complexity they are characterized by: They wanted a simple and precise means for catching their essentials and, at the same time, strong foundations for developing concrete tools for designing and implementing service systems.

  • Format: PDF
  • Size: 144.91 KB