KerML 1.0b4 FTF Avatar
  1. OMG Issue

KERML_ — TransferBefore is unsatisfiable

Open Closed All
  • Key: KERML_-96
  • Status: closed  
  • Source: Model Driven Solutions ( Mr. Ed Seidewitz)
  • Summary:

    [From Steve Jenkins and Mr. Hans Peter de Koning] Transfers.kerml says

    interaction TransferBefore specializes Transfer, HappensBefore
                           intersects Transfer, HappensBefore { ...

    where Transfers are Occurrences and HappensBefores are HappensLinks, if you chase up the taxonomy, but Occurrences.kerml says

    assoc HappensLink specializes BinaryLink disjoint from Occurrence { ...

    so TransferBefore is only interpretable as an empty set (ie, it's not "instantiable", unsatisfiable).
  • Reported: KerML 1.0b2 — Thu, 25 Jul 2024 20:18 GMT
  • Disposition: Deferred — KerML 1.0b4
  • Disposition Summary:

    Defer to RTF

    This issue was submitted after the end of the comment period, and the FTF has decided to defer its consideration to a future RTF.
  • Updated: Sat, 19 Jul 2025 18:58 GMT
  • Attachments: