En el ejercicio 1, no tenes al reves los includes?Para mi seria: Context Paciente inv: self.sala.hospital.medico->includes(self.medico)y Context Paciente inv: self.sala.cama->includes(self.estaInternado.cama)
Para el ejercicio 2, yo utilice el XOR, no se si esta bienContext Conductor inv:self.select(oclIsTypeOf(PrimeraCat)).camion->size() = 1XORself.select(oclIsTypeOf(PrimeraCat)).camioneta->size() = 1XORself.select(oclIsTypeOf(PrimeraCat)).omnibus->size() = 1XORself.select(oclIsTypeOf(SegundaCat)).auto->size() = 1
Si tenés razón pero el includes recibe como parámetro un objeto así que la primer parte debería quedar así:Context Paciente inv:self.sala.hospital.medico->includesAll(self.medico)y el segundo es como decís.Saludos!
Margot, en el ejercicio 2 lo único que sacaría es la última restricción para conductores de Segunda Categoría porque está dado por la asociación, del lado de automóvil la multiplicidad es 1.
Gracias por dejar su comentario. Carpe diem!
En el ejercicio 1, no tenes al reves los includes?
ResponderEliminarPara mi seria:
Context Paciente inv:
self.sala.hospital.medico->includes(self.medico)
y
Context Paciente inv:
self.sala.cama->includes(self.estaInternado.cama)
Para el ejercicio 2, yo utilice el XOR, no se si esta bien
ResponderEliminarContext Conductor inv:
self.select(oclIsTypeOf(PrimeraCat)).camion->size() = 1
XOR
self.select(oclIsTypeOf(PrimeraCat)).camioneta->size() = 1
XOR
self.select(oclIsTypeOf(PrimeraCat)).omnibus->size() = 1
XOR
self.select(oclIsTypeOf(SegundaCat)).auto->size() = 1
Si tenés razón pero el includes recibe como parámetro un objeto así que la primer parte debería quedar así:
ResponderEliminarContext Paciente inv:
self.sala.hospital.medico->includesAll(self.medico)
y el segundo es como decís.
Saludos!
Margot, en el ejercicio 2 lo único que sacaría es la última restricción para conductores de Segunda Categoría porque está dado por la asociación, del lado de automóvil la multiplicidad es 1.
ResponderEliminar