基于Z规范的统一建模语言序列图语义分析方法

暂时无作者信息

Authors

摘要： 针对统一建模语言序列图，提出了一种利用Z语言对其进行语义分析的方法．该方法在序列图Z规范的基础上，用属性集表示对象状态，并将序列图的上下文表示为Z形式约束，通过检查上下文约束与对象状态间的一致性对序列图进行语义分析．通过一个应用实例说明了该方法的有效性．

关键词: 统一建模语言, 序列图, 语义分析, Z规范

Key words: keywords

中图分类号:

暂时无作者信息. 基于Z规范的统一建模语言序列图语义分析方法[J]. J4, 2003, 30(4): 519-525.

Authors. title[J]. J4, 2003, 30(4): 519-525.

[1]	蒋杰伟, 刘西洋, 刘琳, 王帅, 杨皓庆, 崔江涛. 一种眼病发展趋势的自动预测方法[J]. 西安电子科技大学学报, 2018, 45(6): 19-25.
[2]	同鸣;王硕;丁力伟;王纲 . HCRF和网络文本的精彩事件自动检测定位[J]. J4, 2015, 42(4): 81-87.
[3]	王宇英;周兴社;梁东方 . 面向信息物理融合系统的异构模型转换方法 [J]. J4, 2015, 42(2): 108-115+151.
[4]	冯月进;张凤斌. 潜在语义分析的供求信息自动匹配算法[J]. J4, 2012, 39(3): 126-130.
[5]	牛振兴;李洁;高新波. 足球视频的语义颜色提取与语义镜头分割[J]. J4, 2010, 37(4): 613-618.
[6]	王博;张建奇. 一种空时域结合滤波的运动弱小目标检测方法[J]. J4, 2010, 37(3): 524-528.
[7]	侯翠琴;焦李成;张文革. 一种压缩稀疏用户评分矩阵的协同过滤算法[J]. J4, 2009, 36(4): 614-638.
[8]	李恩科(1;2);殷世民(1);刘上乾(1);付小宁(1). 一种新的机动平台红外单站被动定位算法[J]. J4, 2006, 33(3): 408-410.
[9]	李景峰;李琰;陈平. UML序列图的Z形式规范[J]. J4, 2002, 29(6): 772-776.
[10]	暂时无作者信息. 一种新的低信噪比序列图像运动点目标检测与跟踪算法[J]. J4, 2000, 27(3): 317-322.
[11]	杨卫东;于卫;蔡希尧. 基于统一建模语言的软件体系结构描述[J]. J4, 2000, 27(1): 25-31.

赞