Coordination as a Service: Ontological and Formal Foundation