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

被引：2

作者：

李景峰

李琰

陈平

机构：

[1] 西安电子科技大学软件工程研究所

[2] 上海贝尔有限公司研发部

来源：

关键词：

统一建模语言; 序列图; 语义规范; 事件序; 语义分析;

D O I：

10.19721/j.cnki.1671-8879.2002.06.024

中图分类号：

TP312 [程序语言、算法语言];

学科分类号：

摘要：

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

引用

页码：92 / 94

页数：3