带时间约束的UML序列图的分析工具

• 作者: 李宣东 谭文凯 郑国梁
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 实时系统 UML 序列图 时间一致性
• 年，卷（期）: 2001,（10）
• 页码范围: 1423-1433
• 页数: 11页
• 分类号: TP
• 字数: 2769字
• 语种: 中文

摘要

统一建模语言(UML)是一种多用途的可视化建模语言,它可用于软件系统的规约、可视化的构造和建档.UML序列图描述了交互对象间的协作,如在实时和分布式系统中通讯实体间的信息交互.与其它的规约和设计过程类似,UML序列图的规约也易出错,所以对它进行分析是很有必要的.文章描述了一个对带时间约束的UML序列图进行分析的工具.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李宣东	南京大学计算机科学与技术系	72	1417	20.0	36.0
2	郑国梁	南京大学计算机科学与技术系	77	1523	21.0	37.0
3	谭文凯	南京大学计算机科学与技术系	1	12	1.0	1.0