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