UML 2.5 FTF Avatar
  1. OMG Issue

UML25 — Two anonymous invariants

Open Closed All
  • Key: UML25-289
  • Legacy Issue Number: 17861
  • Status: closed  
  • Source: Model Driven Solutions ( Dr. Edward Willink)
  • Summary:

    Two anonymous invariants violates distinguishability.
    Simpler
    inv BehaviorHasResult: behavior <> null impliesbehavior.ownedParameter->size() = 1 and behavior.ownedParameter->forAll(direction=ParameterDirectionKind::return)
  • Reported: UML 2.4.1 — Wed, 26 Sep 2012 04:00 GMT
  • Disposition: Resolved — UML 2.5
  • Disposition Summary:

    The referenced constraints are not anonymous in the current version of the specification (they are named “one_return_result_parameter”
    and “only_return_result_parameters”. These constraints could, perhaps, be combined more simply into one
    Disposition: Closed - No Change
    Report
  • Updated: Fri, 6 Mar 2015 20:59 GMT