OCL 2.5 RTF Avatar
  1. OMG Issue

OCL25 — How is OCL used with a UML InstanceSpecification?

  • Key: OCL25-206
  • Status: open  
  • Source: Model Driven Solutions ( Ed Willink)
  • Summary:

    A UML InstanceSpecification introduces classification within the M1 level. OCL is normally applicable to inter level typing. M0/M1 or M1/M2.

    Does anInstanceSpecification.oclIsKindOf(XXX) use a same-level or meta XXX?

    Does anInstanceSpecification.YYY use the YYY feature of the InstanceSpecification metaclass or any one of the anInstanceSpecification.classifier?

    Is a new navigation operator needed to distinguish the two cases?

  • Reported: OCL 2.4 — Sun, 14 Feb 2016 21:43 GMT
  • Updated: Thu, 18 Feb 2016 13:49 GMT