Service interface: a new abstraction for implementing and composing protocols