OCL 2.5 RTF Avatar
  1. OMG Issue

OCL25 — OCL 2.2 Unlimited and Infinity

  • Key: OCL25-27
  • Legacy Issue Number: 15780
  • Status: open  
  • Source: Model Driven Solutions ( Ed Willink)
  • Summary:

    OCL supports a '*' value for UnlimitedNatural in order to accommodate the
    full range of UML multiplicities.

    UnlimitedNatural conforms to Integer and Real, so that any UnlimitedNatural
    conversion must perform a run-time check in order to convert '*' to invalid.
    This conversion cannot be replicated in the reverse direction.

    Suggest that '*' be aligned with the conventional IEEE math notion of
    infinity, so that

    • and -* are valid values for Integer and Real. UnlimitedNatural is then a
      simple restriction of Integer which is a simple restriction of Real.
  • Reported: OCL 2.1 — Mon, 25 Oct 2010 04:00 GMT
  • Updated: Thu, 7 Dec 2017 10:44 GMT