顺序图的形式化方法描述

• 作者: LI Wang-long 张海鸥 郑山红
• 来源期刊: 航空计算技术
• 关键词: 形式化方法 B方法 统一建模语言 顺序图
• 年，卷（期）: 2008,（4）
• 所属期刊栏目: 计算机应用
• 页码范围: 87-89
• 页数: 3页
• 分类号: TP311.5
• 语种: 中文
• DOI: 10.3969/j.issn.1671-654X.2008.04.023

摘要

UML是一种可视化的图形语言,已成为面向对象方法中事实上的工业标准,得到了广泛应用.但是UML缺乏精确的语义描述,不便于使用工具对其进行分析和验证.形式化B方法基于严格的数学理论,按照抽象机的方式理解系统.为了使UML表达的语义更加明确,同时发挥形式化方法的优势,采用B方法对UML中的顺序图进行描述.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郑山红	长春工业大学计算机科学与工程学院	60	249	8.0	12.0
2	张海鸥	长春工业大学计算机科学与工程学院	3	15	2.0	3.0
3	LI Wang-long	长春工业大学计算机科学与工程学院	1	1	1.0	1.0