KerML 1.0b3 FTF Avatar
  1. OMG Issue

KERML_ — TransferBefore is unsatisfiable

Open Closed All
  • Key: KERML_-96
  • 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: Thu, 25 Jul 2024 23:46 GMT