UML 2.4 RTF Avatar
  1. OMG Issue

UML24 — Constraint [1] for WriteStructuralFeatureAction is incorrect

Open Closed All
  • Key: UML24-3
  • Legacy Issue Number: 14569
  • Status: closed  
  • Source: Model Driven Solutions ( Mr. Ed Seidewitz)
  • Summary:

    Specification: UML Superstructure (formal/09-02-02)

    Subclause: 11.3.55

    The OCL for constraint [1] of WriteStructuralFeatureAction incorrectly constraints the type of the value pin of the action to be the featuring classifier of the structural feature being written to. The type of the value should actually be the same as the type of the structural feature. It is the object pin which should be constrained to have a featuring classifier as its type – but this constraint is own the parent StructuralFeatureAction class, not on WriteStructuralFeatureAction itself. The correct OCL is:

    self.value->notEmpty() implies self.value.type = self.structuralFeature.type

    (The possibility of self.value being empty is due to the resolution of Issue 9870 in UML 2.3.)
  • Reported: UML 2.3 — Fri, 16 Oct 2009 04:00 GMT
  • Disposition: Resolved — UML 2.4
  • Disposition Summary:

    agreed
  • Updated: Fri, 6 Mar 2015 20:58 GMT