计算机应用研究2011，Vol.28Issue(5)：1767-1769,3.DOI:10.3969/j.issn.1001-3695.2011.05.049
基于形式化规格说明的UML状态图提取
UML state-chart extraction based on formal specification
曾一 1周欣 1周吉1
作者信息
- 1. 重庆大学,计算机学院,重庆,400030
- 折叠
摘要
Abstract
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方法/统一建模语言状态图/分层状态Key words
formal specification/ B method/ UML start-chart/ hierarchical state分类
信息技术与安全科学引用本文复制引用
曾一,周欣,周吉..基于形式化规格说明的UML状态图提取[J].计算机应用研究,2011,28(5):1767-1769,3.
