Reasoning About a Service-oriented Programming Paradigm

Claudio Guidi
Fabrizio Montesi

This paper is about a new way for programming distributed applications: the service-oriented one. It is a concept paper based upon our experience in developing a theory and a language for programming services. Both the theoretical formalization and the language interpreter showed us the evidence that a new programming paradigm exists. In this paper we illustrate the basic features it is characterized by.

In Maurice ter Beek: Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing (YR-SOC 2009), Pisa, Italy, 17-19th June 2009, Electronic Proceedings in Theoretical Computer Science 2, pp. 67–81.
Published: 26th June 2009.

ArXived at: bibtex PDF

Comments and questions to:
For website issues: