<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "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 service-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 programming actual service-based systems. This chapter reports about the Sensoria core calculi presenting their syntax and intuitive semantics, and describing their main features by means of a common running example, namely a Credit Request scenario taken from the Sensoria Finance case study. "^^ . "2011" . . "6582" . . "Springer-Verlag"^^ . . "Springer-Verlag"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . "Martin"^^ . "Wirsing"^^ . "Martin Wirsing"^^ . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . "Luis"^^ . "Caires"^^ . "Luis Caires"^^ . . "Gianluigi"^^ . "Zavattaro"^^ . "Gianluigi Zavattaro"^^ . . "Vasco Thudichum"^^ . "Vasconcelos"^^ . "Vasco Thudichum Vasconcelos"^^ . . "Matthias M."^^ . "Hölzl"^^ . "Matthias M. Hölzl"^^ . . "Rosario"^^ . "Pugliese"^^ . "Rosario Pugliese"^^ . . . . . "HTML Summary of #909 \n\nCore calculi for service-oriented computing\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .