Closed BernardoFBBraga closed 8 years ago
Bug Fixed. Available at the future release v1.1.2 Causa: Faltava incluir "String" como palavra reservada do alloy na transformação ontouml2alloy.
OK. sugestão de usar a palavra chave String do Alloy em vez de String__ : #65
Podemos só ignorar o String, já que ele é uma palavra reservada do Alloy.