Signal Calculus Revisited

Service Oriented Computing and Global Computing are emerging paradigms for distributed computing. Many foundational models and calculi have been proposed for these paradigms. Despite their differences, these calculi essentially extend the traditional process calculi with novel abstractions tailored to handle specific issues. In this paper, we study the Signal Calculus which is a process calculus designed to describe the coordination of services based on event notification, by a comparison with Klaim which is a formalism based on tuple spaces and specifically designed to deal with issues in Global Computing. We present an encoding of the Signal Calculus in Klaim thus demonstrates their close relationship.