UML state-chart extraction based on formal specification
基于形式化规格说明的UML状态图提取

To assist software developers understand formal specification, this paper proposed a method of UML state-chart extraction based on B method specifications. By analyzing the representation of state information in specifications, a serious of extraction rules were defined, including simple state, state transition, compound transition, hierarchical state, state-chart communication and so on. With the help of state variable table and state transition table, state elements and state relations were extracted. Complete UML state-chart was built. The correctness and effectiveness of this method was proved by an experiment.