文件名称：论文研究-基于形式化规格说明的UML状态图提取.pdf
文件大小：385KB
文件格式：PDF
更新时间：2022-08-11 12:43:53
形式化规格说明,B方法,统一建模语言状态图,分层状态
为了辅助软件开发者理解形式化规格说明，提出一种从B方法规格说明中提取UML状态图的方法。通过分析状态信息在规格说明中的表现形式，定义一系列精确的简单状态、状态迁移、复合迁移、分层状态和状态图通信等提取规则。借助状态变量表和状态迁移表，最终实现状态元素和状态关系的提取，并以此构造完整的UML状态图。实验结果验证了方法的正确性及有效性。