|
|||||
|
|
| 基于指称语义的UML序列图的语义分析 | |
| 引用本文： | 刘玥波.基于指称语义的UML序列图的语义分析[J].赤峰学院学报(自然科学版),2012(23):33-35. |
| 作者姓名： | 刘玥波 |
| 作者单位： | 吉林建筑工程学院城建学院计算机科学与工程系 |
| 摘 要： | 统一建模语言UML是近年来软件工程领域的重要成果之一.在UML规范中,静态语义是用OCL语言和自然语言描述的,而动态语义基本上是用自然语言来描述的,因此UML缺乏一个严格的动态语义定义.本文针对UML半形式化的特点,在采用指称语义学方法对序列图进行形式规范的基础上,采用了可扩展的标记语言XML文档格式对UML序列图进行存储,并给出了UML序列图语义处理的算法,实现了对序列图的语义分析. |
| 关 键 词： | UML序列图 指称语义 语义分析 |
| 本文献已被 CNKI 等数据库收录！ | |