Current limitations

Data models in Δ:

  • Generalizations between classes are not allowed 
  • Attributes can only have one of the following types: String and Integer.
  • Association-ends can only have multiplicity 0..*
  • There must be one isUser-entity.

OCL expressions in Η:

With respect to types:

  • Only expressions of class types, Set- and Bag-types over class types, and Set- and Bag-types over String and Integer are allowed.
 
With respect to operations and iterators
  • Operations on String are not allowed, except = and <>.
  • Operations on Bag-types are not allowed, except ->asSet().
  • oclIsUndefined() and ->oclIsUndefined() are not allowed.
  • oclIsInvalid() and ->oclIsInvalid() are not allowed.
  • ocIsTypeOf() and oclIsKindOf() are not allowed.
  • oclAsType() is not allowed.
  • asSet() is not allowed.
  • ->size() is not allowed.
  • ->excludesAll() is not allowed.
  • min() and ->min() are not allowed.
  • max() and ->max() are not allowed.
  • abs() is not allowed.
  • ->sum() is not allowed.
  • ->union() is not allowed.
  • ->intersection() is not allowed.
  • ->-() is not allowed.
  • ->symmetricDifference() is not allowed.
  • ->one() is not allowed.
  • ->isUnique() is not allowed.
  • ->iterate() is not allowed.
  • ->closure() is not allowed.
  • let is not allowed.
  • if_then_else is not allowed.