统一建模语言UML是近年来软件工程领域的重要成果之一.在UML规范中,静态语义是用OCL语言和自然语言描述的,而动态语义基本上是用自然语言来描述的,因此UML缺乏一个严格的动态语义定义.本文针对UML半形式化的特点,在采用指称语义学方法对序列图进行形式规范的基础上,采用了可扩展的标记语言XML文档格式对UML序列图进行存储,并给出了UML序列图语义处理的算法,实现了对序列图的语义分析.
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~