基于上下文约束的UML序列图语义分析方法

• 作者: 李景峰 李琰 陈平
• 来源期刊: 系统工程与电子技术
• 学科: 工学
• 关键词: 统一建模语言 序列图 语义分析 约束
• 年，卷（期）: 2003,（2）
• 所属期刊栏目: 军用系统分析
• 页码范围: 184-187
• 页数: 4页
• 分类号: TP311.5
• 字数: 3826字
• 语种: 中文
• DOI: 10.3321/j.issn:1001-506X.2003.02.016

摘要

统一建模语言(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