UML 2.2 RTF Avatar
  1. OMG Issue

UML22 — Constraints of ConnectionPointReference - OCL not correct

Open Closed All
  • Key: UML22-1217
  • Legacy Issue Number: 7042
  • Status: closed  
  • Source: PostFinance ( Karl Guggisberg)
  • Summary:

    "[1] The entry Pseudostates must be Pseudostates with kind entryPoint. entry->notEmpty() implies entry.kind = #entryPoint"

    should be

    "[1] The entry Pseudostates must be Pseudostates with kind entryPoint. entry->notEmpty() implies entry->forAll(e | e.kind = #entryPoint)"

    "[2] The exit Pseudostates must be Pseudostates with kind exitPoint exit->notEmpty() implies exit.kind = #exitPoint"

    should be

    "[2] The exit Pseudostates must be Pseudostates with kind exitPoint exit->notEmpty() implies exit->forAll(e | e.kind = #exitPoint)"

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

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