FUML 1.3 RTF Avatar
  1. OMG Issue

FUML13 — Remove unneeded inference rules from Base Semantics

Open Closed All
  • Key: FUML13-11
  • 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: Deferred — FUML 1.3
  • Disposition Summary:

    Defer

    The RTF agrees this issue needs resolution but, due to lack of time, is deferring its resolution to the next RTF.
  • Updated: Thu, 22 Jun 2017 16:38 GMT