FUML 1.5 RTF Avatar
  1. OMG Issue

FUML15 — Remove unneeded inference rules from Base Semantics

Open Closed All
  • Key: FUML15-8
  • Legacy Issue Number: 18799
  • Status: closed  
  • Source: Anonymous
  • Summary:

    Inference rules not used, and not needed for completeness, should be removed
  • Reported: FUML 1.1 — Sun, 30 Jun 2013 04:00 GMT
  • Disposition: Closed; No Change — FUML 1.5
  • Disposition Summary:

    Close, no change

    This issue has been carried over for some time. If there was any analysis provided with the original issue indicating which inference rules in the base semantics are currently not needed, it has been lost. Such inference rules, if there are in fact any, may not strictly be needed, but having them is not harmful, especially since it is unlikely that there are many, and there have been no further issues filed relating to this.

    Therefore, it seems safe to close this issue without changing the specification.
  • Updated: Fri, 18 Sep 2020 17:03 GMT