The signal calculus: beyond message based coordination for services

Roberto Guanciale
This thesis aims at the definition of foundational techniques driving the design and implementation of a programming middleware supporting the full adoption of a MDD framework for Service Oriented Computing. Our main contribution is the definition of a compositional model for services in the spirit of choreography. Our model takes the form of two-level process calculus that lays at two different levels of abstraction. The local view of coordination is represented by the Signal Calculus,...