通信软件创新设计SDL语言.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * FSM是形式化的方式 EFSM的形式化 我们使用的半形式化方式 * * * * * 迁移过程-分支 5、分支 分支操作是一个动作，通过计算条件表达式选择不同迁移过程 ① 图形语法 decision area ::= decision symbol contains question is followed by graphical decision body decision symbol ::= 迁移过程-分支 question ::= expression | informal text | any graphical decision body ::= { graphical answer part+ [graphical else part] } set graphical answer part ::= flow line symbol is associated with graphical answer is followed by transition area graphical answer ::=