UML序列图的Z形式规范

• 作者: 李景峰 李琰 陈平
• 来源期刊: 西安电子科技大学学报(自然科学版)
• 学科: 工学
• 关键词: 统一建模语言 序列图 形式化 Z语言
• 年，卷（期）: 2002,（6）
• 页码范围: 772-775,795
• 页数: 5页
• 分类号: TP311
• 字数: 2316字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2400.2002.06.017

摘要

用形式化语言Z定义了统一建模语言序列图的严格语义,给出了抽象句法、合式规则及应满足的一致性约束,并通过一个应用实例说明了该形式规范为序列图的语义分析与正确性验证提供了支持.

作者信息

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