Considere o diagrama de classes UML e as restrições OCL numeradas como I, II e III:
As restrições I, II e III não podem ser aplicadas simultaneamente no modelo.
Segundo a restrição (II), todos os objetos de Funcionário de uma Empresa devem possuir o mesmo sexo.
Segundo a restrição (III), dado um par de objetos de Pessoa relacionados mutuamente pela associação cônjuge, o valor para o atributo nome deve ser distinto para cada um.
Aplicando-se simultaneamente as restrições I e III o conjunto de Funcionário de uma Empresa será vazio.
Segundo a restrição (I), não é permitido que um Funcionário chefie seu cônjuge.
Navegue em mais questões
{TITLE}
{CONTENT}
