Choreography and Orchestration Conformance for System Design