We develop a new methodology for service oriented computing based on an event-based coordination
model. The proposed framework goes all the way from a foundational process calculus, the Signal Calculus, and its choreography model, Network Coordination Policy, over a Java middleware, Event-based Service Coordination, to its application for SENSORIA case studies.

 

The usefulness of the proposed approach has been illustrated by tackling the problem of designing and implementing long running transactions. Furthermore, a set of refactoring rules have been developed for refining the implementation during the deployment phase.