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

The Denotational Semantics-based the Formal Analysis of UML Sequence Diagrams

作　　者：刘玥波[1] 

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

出　　处：《吉林建筑工程学院学报》2011年第2期87-89,共3页Journal of Jilin Architectural and Civil Engineering

基　　金：吉林建筑工程学院城建学院科学技术研究项目(2009第112号)

摘　　要：统一建模语言UML是当前软件工程领域的研究热点,提供了多种图元从不同角度和应用层次刻画系统的特性以及复杂的运行环境,其中包括大量具有模糊、稀疏语义的标准元素.本文针对UML半形式化的特点主要研究如何采用指称语义学方法对UML序列图进行形式化描述,以提高UML序列图语义的准确性.本文采用指称语义学方法定义了UML序列图的语法域和抽象语法,为进一步定义UML序列图的语义域及语义函数奠定了基础.Unified modeling language（UML） is a hotspot of researches in software engineering.It provides various diagrams to depict system characteristics and complex environment from different viewpoints and different application layers.It also contains a lot of standard elements with vague and sparse semantics.Whereas the half formal characteristic of UML,This paper mainly researches how to combine UML with formal method in order to improve UML semantic accuracy.This paper defines syntax domains,abstract syntax of UML sequence diagram using denotational semantics and provides the foundation for defining semantic domains,semantic functions of UML sequence diagram.

关 键 词：形式化 UML序列图 指称语义 

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