UML活动图的形式语义及分析

• 作者: 刘云飞 梁义芝 王延章 缪旭东
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: UML活动图 形式语义 系统分析
• 年，卷（期）: 2003,（18）
• 所属期刊栏目: 博士论坛
• 页码范围: 28-30,44
• 页数: 4页
• 分类号: TP311
• 字数: 4271字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2003.18.009

摘要

UML活动图缺乏精确的动态语义,不利于对其所描述的系统进行形式化的分析、验证和确认.为此,论文结合Petri网给出了包含对象流状态描述的UML活动图的形式语义,并据此对UML活动图的典型流程和其所描述的动态系统的正确性进行了分析.该形式语义覆盖了UML活动图的绝大部分特征,为精确描述工作流程并对其进行分析奠定了基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王延章	大连理工大学信息与决策技术研究所	162	2341	24.0	41.0
2	梁义芝	大连理工大学信息与决策技术研究所	5	76	4.0	5.0
6	缪旭东	大连舰艇学院作战软件研究中心	3	45	2.0	3.0
7	刘云飞	大连舰艇学院教育技术中心	1	41	1.0	1.0