KerML 1.0b4 FTF Avatar
  1. OMG Issue

KERML_ — Succession end multiplicity defaults not documented

Open Closed All
  • Key: KERML_-15
  • Status: closed  
  • Source: NIST ( Mr. Conrad Bock)
  • Summary:

    Clause 8.4.4.6.2 (Binding Connectors) says

    binding f1 = f2;

    is equivalent to

    connector subsets Links::selfLinks {
  end feature thisThing redefines Links::SelfLink::thisThing references f1;
  end feature thatThing redefines Links::SelfLink::thatThing references f2;

    while the next clause, 8.4.4.6.3 (Successions) says

    succession first f1 then f2;

    is equivalent to 

    connector subsets Occurrences::happensBeforeLinks {
  end feature earlierOccurrence references f1
    redefines Occurrences::HappensBefore::earlierOccurrence;
  end feature laterOccurrence references f2
    redefines Occurrences::HappensBefore::laterOccurrence; }

    The similarity between the clauses implies the first/then notation is short for successions with multiplicity 1..1 on both ends, but the text does not say it, if that's the intention, and should be clarified in any case.
  • Reported: KerML 1.0a1 — Mon, 24 Apr 2023 15:07 GMT
  • Disposition: Deferred — KerML 1.0b4
  • Disposition Summary:

    Defer to RTF

    The FTF considers this issue to have merit, but, due to lack of time, is deferring it to a future RTF.
  • Updated: Sat, 19 Jul 2025 18:58 GMT