REST API definitions for orchestrator.