UML状态图形式化方法的分析与比较

• 作者: 于晓玲 杨海波
• 来源期刊: 计算机与数字工程
• 学科: 工学
• 关键词: UML状态图 形式化 Petri网 XYZ/E 动态描述逻辑
• 年，卷（期）: 2014,（8）
• 所属期刊栏目: 图像处理
• 页码范围: 1488-1492
• 页数: 5页
• 分类号: TP391
• 字数: 4073字
• 语种: 中文
• DOI: 10.3969/j.issn1672-9722.2014.08.043

摘要

UML缺乏精确的语义,难以对其所表示的系统进行形式化分析和一致性检验.为了使UML能够更精确地对系统模型进行描述,学者们提出了一些形式化的方法.论文对比分析了用Petri网、时序逻辑XYE/E和动态描述逻辑形式化UML状态图的方法,指出了它们各自的优缺点以及应用领域.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	于晓玲		3	10	2.0	3.0
2	杨海波		4	3	1.0	1.0