基于指称语义的UML序列图的语义分析  

作　　者：刘玥波[1] 

机构地区：[1]吉林建筑工程学院城建学院计算机科学与工程系,吉林长春130111

出　　处：《赤峰学院学报（自然科学版）》2012年第23期33-35,共3页Journal of Chifeng University(Natural Science Edition)

摘　　要：统一建模语言UML是近年来软件工程领域的重要成果之一.在UML规范中,静态语义是用OCL语言和自然语言描述的,而动态语义基本上是用自然语言来描述的,因此UML缺乏一个严格的动态语义定义.本文针对UML半形式化的特点,在采用指称语义学方法对序列图进行形式规范的基础上,采用了可扩展的标记语言XML文档格式对UML序列图进行存储,并给出了UML序列图语义处理的算法,实现了对序列图的语义分析.

关 键 词：UML序列图 指称语义 语义分析 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]