A Formal Model for Service-Oriented Interactions