基于Z规范的统一建模语言序列图语义分析方法

• 作者: 李景峰 陈平
• 来源期刊: 西安电子科技大学学报(自然科学版)
• 学科: 工学
• 关键词: 统一建模语言 序列图 语义分析 Z规范
• 年，卷（期）: 2003,（4）
• 页码范围: 519-524
• 页数: 6页
• 分类号: TP311
• 字数: 2311字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2400.2003.04.021

摘要

针对统一建模语言序列图,提出了一种利用Z语言对其进行语义分析的方法.该方法在序列图Z规范的基础上,用属性集表示对象状态,并将序列图的上下文表示为Z形式约束,通过检查上下文约束与对象状态间的一致性对序列图进行语义分析.通过一个应用实例说明了该方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈平	西安电子科技大学软件工程研究所	149	1211	17.0	28.0
2	李景峰	西安电子科技大学软件工程研究所	8	47	4.0	6.0