| 基于指称语义的UML序列图的形式化分析 |
| |
| 引用本文： | 刘玥波.基于指称语义的UML序列图的形式化分析[J].吉林建筑工程学院学报,2011,28(2):87-89. |
| |
| 作者姓名： | 刘玥波 |
| |
| 作者单位： | 吉林建筑工程学院城建学院计算机科学与工程系,长春,130111 |
| |
| 基金项目： | 吉林建筑工程学院城建学院科学技术研究项目 |
| |
| 摘 要： | 统一建模语言UML是当前软件工程领域的研究热点,提供了多种图元从不同角度和应用层次刻画系统的特性以及复杂的运行环境,其中包括大量具有模糊、稀疏语义的标准元素.本文针对UML半形式化的特点主要研究如何采用指称语义学方法对UML序列图进行形式化描述,以提高UML序列图语义的准确性.本文采用指称语义学方法定义了UML序列图的...
|
| 关 键 词： | 形式化 UML序列图 指称语义 |
The Denotational Semantics-based the Formal Analysis of UML Sequence Diagrams |
| |
| LIU Yue-bo.The Denotational Semantics-based the Formal Analysis of UML Sequence Diagrams[J].Journal of Jilin Architectural and Civil Engineering,2011,28(2):87-89. |
| |
| Authors: | LIU Yue-bo |
| |
| Affiliation: | LIU Yue-bo(Department of Computer Science and Engineering,The City College of Institute Jilin of Architecture and Civil Engineering,Changchun,China 130111) |
| |
| Abstract: | 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. |
| |
| Keywords: | formalization UML sequence diagram denotational semantics |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
