Reasoning About a Service-oriented Programming Paradigm

TL;DR

This paper introduces a new service-oriented programming paradigm for distributed applications, supported by a formal theory and language interpreter, demonstrating its fundamental features and potential as a distinct approach.

Contribution

It presents the first formalization and language design for a service-oriented programming paradigm, establishing its theoretical foundation and illustrating its core features.

Findings

Evidence of a new programming paradigm from formalization and language implementation

Identification of basic features characterizing the service-oriented paradigm

Demonstration of the paradigm's viability through theoretical and practical tools

Abstract

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.