UML 2.5 FTF Avatar
  1. OMG Issue

UML25 — The resolution to issue 18415 contains invalid OCL

Open Closed All
  • Key: UML25-535
  • Legacy Issue Number: 18792
  • Status: closed  
  • Source: Model Driven Solutions ( Mr. Steve Cook)
  • Summary:

    18415 was applied in Ballot 6. The revised OCL for sources_and_targets_kind contains the expressions self.informationSource.classifier and self.informationTarget.classifier, which are not well-typed. The first subexpression gives a NamedElement which in general does not have a classifier. The correct OCL should check if it is an InstanceSpecification, cast to InstanceSpecification and then check its classifier.
  • Reported: UML 2.5b1 — Tue, 2 Jul 2013 04:00 GMT
  • Disposition: Resolved — UML 2.5
  • Disposition Summary:

    Revise the OCL and text related to sources_and_targets_kind, bearing in mind that an InstanceSpecification
    may in general have several classifiers
  • Updated: Fri, 6 Mar 2015 20:59 GMT