Legality rule L2 of section 12 contains the sentence, "If the component classifier extends another component classifier, the initial mode must have been declared in one of the ancestor component classifier."
This should instead read, "If the component classifier extends another component classifier with modes, the initial mode must have been declared in one of the ancestor component classifiers."
According to the current reading, the following model is invalid because there is an initial mode in a classifier that extends another classifier:
system a
end a;
system b extends a
modes
m1: initial mode;
m2: mode;
end b;
Legality rule L2 of section 12 contains the sentence, "If the component classifier extends another component classifier, the initial mode must have been declared in one of the ancestor component classifier."
This should instead read, "If the component classifier extends another component classifier with modes, the initial mode must have been declared in one of the ancestor component classifiers."
According to the current reading, the following model is invalid because there is an initial mode in a classifier that extends another classifier: