| 基于形式化规格说明的UML状态图提取 |
| |
| 引用本文： | 曾一,周欣,周吉. 基于形式化规格说明的UML状态图提取[J]. 计算机应用研究, 2011, 28(5): 1767-1769. DOI: 10.3969/j.issn.1001-3695.2011.05.049 |
| |
| 作者姓名： | 曾一 周欣 周吉 |
| |
| 作者单位： | 重庆大学,计算机学院,重庆,400030 |
| |
| 摘 要： | 为了辅助软件开发者理解形式化规格说明，提出一种从B方法规格说明中提取UML状态图的方法。通过分析状态信息在规格说明中的表现形式，定义一系列精确的简单状态、状态迁移、复合迁移、分层状态和状态图通信等提取规则。借助状态变量表和状态迁移表，最终实现状态元素和状态关系的提取，并以此构造完整的UML状态图。实验结果验证了方法的正确性及有效性。
|
| 关 键 词： | 形式化规格说明；B方法；UML状态图；分层状态 |
| 收稿时间： | 2010-10-10 |
| 修稿时间： | 2011-04-13 |
UML state-chart extraction based on formal specification |
| |
| ZENG Yi,ZHOU Xin,ZHOU Ji. UML state-chart extraction based on formal specification[J]. Application Research of Computers, 2011, 28(5): 1767-1769. DOI: 10.3969/j.issn.1001-3695.2011.05.049 |
| |
| Authors: | ZENG Yi ZHOU Xin ZHOU Ji |
| |
| Affiliation: | (College of Computer Science, Chongqing University, Chongqing 400030, China) |
| |
| 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, 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. |
| |
| Keywords: | formal specification B method UML start-chart hierarchical state |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
|
