%0 Journal Article
%T UML state-chart extraction based on formal specification<br>基于形式化规格说明的UML状态图提取
%A ZENG Yi
%A ZHOU Xin
%A ZHOU Ji
%A <br>曾一
%A 周欣
%A 周吉
%J 计算机应用研究
%D 2011
%I 
%X 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.
%K formal specification
%K B method
%K UML start-chart
%K hierarchical state<br>形式化规格说明
%K B方法
%K UML状态图
%K 分层状态
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=E98E3EA7CA4F8CE6E10955E71BDE6287&yid=9377ED8094509821&vid=D3E34374A0D77D7F&iid=94C357A881DFC066&sid=1FDC6DA6F37D438C&eid=DF28BAAD0FD19027&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=13