Normalmente, el comportamiento especificado es independiente de cómo se va a implementar.