期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

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

下载PDF
导出
摘要 统一建模语言UML是近年来软件工程领域的重要成果之一.在UML规范中,静态语义是用OCL语言和自然语言描述的,而动态语义基本上是用自然语言来描述的,因此UML缺乏一个严格的动态语义定义.本文针对UML半形式化的特点,在采用指称语义学方法对序列图进行形式规范的基础上,采用了可扩展的标记语言XML文档格式对UML序列图进行存储,并给出了UML序列图语义处理的算法,实现了对序列图的语义分析.
作者 刘玥波
机构地区 吉林建筑工程学院城建学院计算机科学与工程系
出处 《赤峰学院学报（自然科学版）》 2012年第23期33-35,共3页 Journal of Chifeng University(Natural Science Edition)
关键词 UML序列图 指称语义 语义分析
分类号 TP311 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献4

  • 1Object Management Group (OMG). OMGUnified Modeling Language. Specification —ver-sion 1.4,Sept. 2001. Available at http://www.omg.org/uml. 被引量：1
  • 2刘玥波.基于指称语义的UML序列图的形式化分析[J].吉林建筑工程学院学报,2011,28(2):87-89. 被引量：2
  • 3Scott w. Ambler The Object Primer The Ap-plication Developer’s Guide to Object Orien-tation and the UML (Second Edition).北京:机械工业出版社,2003 : 202-223. 被引量：1
  • 4冀振燕编著..UML系统分析设计与应用案例[M].北京:人民邮电出版社,2003:320.

二级参考文献4

  • 1Object Management Group (OMG). OMG Unified Modeling Language. Speification - version 1.4, Sept,2001. Availabie at http ://www. omg. org/uml. 被引量：1
  • 2Bruel J H,France R B. Transforming UML Models to Formal Specifications [A]. Proc. of OOPSLA 98[ C]. Vancouver,Springer - Verlag, 1998:22 - 26. 被引量：1
  • 3Breu R,Hinkel U. Towards a Formalization of the Unified Modeling Language[ A]. Aksit M,Matsuoka S,Proc of ECOOP 97 ,LNCS 1241 [ C].Berlin: Springer - Verlag, 1997. 被引量：1
  • 4釜成植.程序理论和技术[M].长春:吉林大学出版社,1997:129-139. 被引量：1

共引文献1

赤峰学院学报（自然科学版）
2012年 第23期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部