Core Calculi for Service-Oriented Computing

Core calculi have been adopted in the Sensoria project with three main aims. First of all, they have been used to clarify and formally define the basic concepts that characterize the Sensoria approach to the modeling of ser- vice oriented applications. In second place, they are formal models on which the Sensoria analysis techniques have been developed. Finally, they have been used to drive the implementation of the prototypes of the Sensoria languages for pro- gramming actual service-based systems. This chapter reports about the Sensoria core calculi presenting their syntax, their intuitive semantics and the description of their main features by considering a common running example taken from the Sensoria scenarios: the financial case-study.