Diagrama de secuencia del sistema y contratos