Establecen qué debe hacer el sistema, pero no cómo hacerlo.