Contratos entre controlador e processador