High-level Coordination Specification