基于形式化规格说明的UML状态图提取  

UML state-chart extraction based on formal specification

作　　者：曾一[1] 周欣[1] 周吉[1] 

机构地区：[1]重庆大学计算机学院,重庆400030

出　　处：《计算机应用研究》2011年第5期1767-1769,共3页Application Research of Computers

摘　　要：为了辅助软件开发者理解形式化规格说明,提出一种从B方法规格说明中提取UML状态图的方法。通过分析状态信息在规格说明中的表现形式,定义一系列精确的简单状态、状态迁移、复合迁移、分层状态和状态图通信等提取规则。借助状态变量表和状态迁移表,最终实现状态元素和状态关系的提取,并以此构造完整的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,defined a se rious of extraction rules,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,extracted state elements and state relations,and built complete UML state-chart.The experiment proves the correctness and effectiveness of this method.

关 键 词：形式化规格说明 B方法 统一建模语言状态图 分层状态 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]