基于事件序的UML序列图语义规范

• 作者: 李景峰 李琰 陈平
• 来源期刊: 长安大学学报(自然科学版)
• 学科: 工学
• 关键词: 统一建模语言 序列图 语义规范 事件序 语义分析
• 年，卷（期）: 2002,（6）
• 页码范围: 92-94
• 页数: 3页
• 分类号: TP311
• 字数: 3389字
• 语种: 中文
• DOI: 10.3321/j.issn:1671-8879.2002.06.024

摘要

UML缺乏准确的语义,难以支持对复杂系统的模型进行严格的语义分析和正确性验证.针对UML序列图,给出了形式定义、基于事件序的语义规范及其消息间关系;并定义了基本序列图,证明其具有全序的消息关系的性质,为序列图的语义分析与验证提供了基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈平	西安电子科技大学软件工程研究所	149	1211	17.0	28.0
2	李景峰	西安电子科技大学软件工程研究所	8	47	4.0	6.0
3	李琰	上海贝尔有限公司研发部	4	35	3.0	4.0