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

• 作者: 周吉 周欣 曾一
• 来源期刊: 计算机应用研究
• 关键词: 形式化规格说明 B方法 统一建模语言状态图 分层状态
• 年，卷（期）: 2011,（5）
• 所属期刊栏目: 软件技术研究
• 页码范围: 1767-1769
• 分类号: TP311.5
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2011.05.049

摘要

为了辅助软件开发者理解形式化规格说明,提出一种从B方法规格说明中提取UML状态图的方法.通过分析状态信息在规格说明中的表现形式,定义一系列精确的简单状态、状态迁移、复合迁移、分层状态和状态图通信等提取规则.借助状态变量表和状态迁移表,最终实现状态元素和状态关系的提取,并以此构造完整的UML状态图.实验结果验证了方法的正确性及有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾一	重庆大学计算机学院	76	855	14.0	25.0
2	周欣	重庆大学计算机学院	24	636	15.0	24.0
3	周吉	重庆大学计算机学院	9	42	3.0	6.0