UML 2.2 RTF Avatar
  1. OMG Issue

UML22 — AddVariableValueAction - OCL in constraint [1] not correct

  • Key: UML22-1271
  • Legacy Issue Number: 7191
  • Status: closed  
  • Source: PostFinance ( Karl Guggisberg)
  • Summary:

    Here's an annotated copy of constraint [1]:

    let insertAtPins : Collection = self.insertAt in – NOTE: Variable does not have an attibute ordering if self.variable.ordering = #unordered – NOTE: currently, it is "then insertAtPins->size() = 0", but this – is not compatible with the return type. Now, an – empty set is returned instead. then {} else let insertAtPin : InputPin = insertAt->asSequence()>first() in insertAtPins>size() = 1 and insertAtPin.type = UnlimitedNatural – NOTE: an InputPin is not a multiplicity element and insertAtPin.multiplicity.is(1,1)) endif

  • Reported: UML 2.0 — Sun, 21 Mar 2004 05:00 GMT
  • Disposition: Resolved — UML 2.1
  • Disposition Summary:

    Variables have ordering and multiplicity due to resolution of 6090.

  • Updated: Fri, 6 Mar 2015 22:54 GMT