UML 2.5 FTF Avatar
  1. OMG Issue

UML25 — InformationFlow::sources_and_target_kind

Open Closed All
  • Key: UML25-487
  • Legacy Issue Number: 18415
  • Status: closed  
  • Source: Oracle ( Dave Hawkins)
  • Summary:

    The OCL doesn't match the description - no check is made of the
    InstanceSpecification classifier. (This constraint could probably
    be split in two and the type test separated as an operation.)
  • Reported: UML 2.5b1 — Tue, 5 Feb 2013 05:00 GMT
  • Disposition: Resolved — UML 2.5
  • Disposition Summary:

    Note this change resolves both issues 18415 (which corrects the OCL) and 18690 (which adds Behaviors to
    the list of allowed types). The latter is merged with 18415 since both affect the same text allowing for a less
    confusing statement of their combined resolutions.
    In contrast to the 18415 issue summary, the OCL does check for InstanceSpecification, but it doesn’t not
    do so completely. The check that a source or target that is an InstanceSpecification is not a link is missing.
    These checks are added in the update OCL below.
  • Updated: Fri, 6 Mar 2015 20:59 GMT