Hola, tengo una duda que no sé muy bien resolver.
Pongamos de ejemplo (ilustrativo):
https://dl.dropboxusercontent.com/u/3065296/UMLAbs.PNG
Las clases Java Coche y Conductor son abstractas. y la relación tiene navegabilidad hacia Conductor, es decir, Coche tendrá un atributo de tipo Conductor con la información de este.
Por lo que la clase CocheAutomatico tendrá un Conductor.
¿Cómo puedo modelar que un CocheAutomatico solo puede tener ConductorAutomatico? Quiero mantener la abstración para que el modelo sea más flexible y minimice el cambio en un futuro, además que el modelo es más limpio, pero faltaría indicar ese matiz.
¿Cuál sería la mejor opción? ¿OCL?
Muchas gracias.
Un saludo