Open klausschuch opened 1 week ago
Pierre: I would not require to have exactly one clock. We could need other clocks in the future. We should not require to name it "clock". Could we use variableKind? We could give it a special variableKind? Klaus: currently it is variableKind="signal", this is perhaps not good. Pierre: We could give it a specific variableKind
The specification for the high cut currently says (4.4.2. Frame Terminal):
Do we really need to have to require a specific memberName ("Clock") or wouldn't just the requirement that there has to be exactly one clock in this terminal be enough? As far as I see this is the only fixed memberName that we require right now.