Is
there a better way to indicate that an operation of a base class is overidable
other than putting that tidbit of info into the semantics section of the
Operation Specification? Thanks
Rich
Title: AW: (ROSE) state Chart , many action per event
