La operación del sistema SeleccionarOpcTalleres ( ) no tiene precondiciones. 

Las precondiciones de la operación del sistema IntroducirReparaciónCoche (wMatrículaC, wNumRep, wPeriodoRep) son las siguientes:

• Existe un objeto Coche C con C.MatrículaC = wMatrículaC.
• No existe un objeto Reparación R con R.NumRep = wNumRep.

"El periodo de tiempo que el coche está en el taller seleccionado (wPeriodoTallerRep) está incluído en R.PeriodoRep" es una precondición de la operación IntroducirTallerPeriodo (wCifT, wPeriodoTallerRep).

Las precondiciones de la operación del sistema SeleccionarOpcFinTalleres ( ) son las siguientes:

• Seleccionar la opción "Fin Talleres".
• Existe un objeto Reparación R en curso.