OneSizeFitsAll - Especificação formal com OCL em formato USE