Finally, an example is given to show modeling process and formal description based on extended RSL.

• 最后给出了一个实例说明 OOFSM的建模过程 ,并用扩充的 RSL进行了形式化描述