| 基于Z规范的统一建模语言序列图语义分析方法 |
| |
| 引用本文： | 李景峰,陈平. 基于Z规范的统一建模语言序列图语义分析方法[J]. 西安电子科技大学学报(自然科学版), 2003, 30(4): 519-525 |
| |
| 作者姓名： | 李景峰 陈平 |
| |
| 作者单位： | 西安电子科技大学软件工程研究所,西安电子科技大学软件工程研究所 陕西西安 710071,陕西西安 710071 |
| |
| 基金项目： | 国家"九五"预研资助项目(6 2 1 4),"十五"预研资助项目(41306060106,413150501) |
| |
| 摘 要： | 针对统一建模语言序列图,提出了一种利用Z语言对其进行语义分析的方法．该方法在序列图Z规范的基础上,用属性集表示对象状态,并将序列图的上下文表示为Z形式约束,通过捡查上下文约束与对象状态间的一致性对序列图进行语义分析．通过一个应用实例说明了该方法的有效性．
|
| 关 键 词： | Z规范 统一建模语言 序列图 语义分析 UML |
| 文章编号： | 1001-2400(2003)04-0519-06 |
| 修稿时间： | 2002-08-20 |
The Z specification-based method for the semantic analysis of UML sequence diagrams |
| |
| Authors. The Z specification-based method for the semantic analysis of UML sequence diagrams[J]. Journal of Xidian University, 2003, 30(4): 519-525 |
| |
| Authors: | Authors |
| |
| Abstract: | |
| |
| Keywords: | UML sequence diagram semantic analysis Z specification |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《西安电子科技大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《西安电子科技大学学报(自然科学版)》下载全文 |
