| UM L顺序图的形式化定义与特性分析 |
| |
| 引用本文： | 李晓丽,龙翔,包晓露,李虎.UM L顺序图的形式化定义与特性分析[J].北京航空航天大学学报,2010,36(3):350-352. |
| |
| 作者姓名： | 李晓丽 龙翔 包晓露 李虎 |
| |
| 作者单位： | 北京航空航天大学,计算机学院,北京100191;北京航空航天大学,计算机学院,北京100191;北京航空航天大学,计算机学院,北京100191;北京航空航天大学,计算机学院,北京100191 |
| |
| 基金项目： | 国家自然科学基金资助项目(60703057);;国家高技术研究发展计划资助项目(2006AA01Z176) |
| |
| 摘 要： | 以统一建模语言(UML,Unified Modeling Language)规范为基础,给出UML顺序图及组合顺序图的形式化定义;并在此基础上,详细讨论了UML顺序图中对象的消息发送特性和消息接收特性,给出了发送消息集合和接收消息集合的形式化定义;同时进一步分析了对象消息发送和接收之间的一致性问题;最后,通过实例分析,对UML顺序图的特性作进一步的解释.该形式化定义与特性分析为基于UML顺序图的模型转换和模型验证提供了必要的前提条件,也为基于UML顺序图的测试用例的自动生成奠定了基础.UML顺序图的形式化描述可用于对软件结构的理解和构造可视化建模工具.
|
| 关 键 词： | 统一建模语言 顺序图 形式化 模型验证 |
| 收稿时间： | 2009-03-04 |
Formal definition and characteristic analysis of UML sequence diagram |
| |
| Li Xiaoli,Long Xiang,Bao Xiaolu,Li Hu.Formal definition and characteristic analysis of UML sequence diagram[J].Journal of Beijing University of Aeronautics and Astronautics,2010,36(3):350-352. |
| |
| Authors: | Li Xiaoli Long Xiang Bao Xiaolu Li Hu |
| |
| Institution: | School of Computer Science and Technology, Beijing University of Aeronautics and Astronautics, Beijing 100191, China |
| |
| Abstract: | |
| |
| Keywords: | UML (unified modeling language) sequence diagram formalization model validation |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《北京航空航天大学学报》浏览原始摘要信息 |
| 点击此处可从《北京航空航天大学学报》下载免费的PDF全文 |
|
