KerML 1.1b1 RTF Avatar
  1. OMG Issue

KERML11 — TransferBefore is unsatisfiable

Open Closed All
  • Key: KERML11-48
  • Status: open  
  • 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
  • Updated: Fri, 20 Jun 2025 22:13 GMT
  • Attachments: