Usar as palavras reservadas Int e String na simulação OntoUML2Alloy

[BernardoFBBraga]

Atualmente, tendo datatypes Int e String no modelo, o OntoUML2Alloy os transforma para Int__ e String__

Poderíamos transformá-los para as palavras chave reservadas, melhorando a performance.

Para isso, é preciso cuidar do escopo de String, que deve ser especificado exatamente e deve-se suprimir os seguintes constraints da transformaçao:

fact dataTypeCompleteness {
DataType = Int_+String_
}

fact topLevelDataTypesDisjointnes {
disj[Int_,String_]
disj[String_,Int_]
}

[tgoprince]

@BernardoFBBraga , o que acha da gente pode colocar no dialogo da transformação para alloy uma tab com opções para transformação de datatypes, tipo nós fizemos para OWL?

O cara escolhe se transforma Int, String e Bol para os primitivos de alloy ou não.

Caso escolha usar String primitiva, a gente coloca uma caixa de dialogo para ele preencher com possíveis valores e usamos isso na transformação.

Se escolher usar o Int primitivo, ele escolhe o tamanho máximo de int que quer. Claro que respeitando os limites de Alloy.

Inclusive, Float, Decimal e similares também poderiam ser opcionalmente mapeados para o Int nativo.

[BernardoFBBraga]

@tgoprince acho boa idéia!