基于时序逻辑的UML2.0通信图语义研究

张姝; 戎玫; 张广泉

首页> 中文期刊> 《计算机工程与设计》 >基于时序逻辑的UML2.0通信图语义研究

基于时序逻辑的UML2.0通信图语义研究

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

UML2.0通信图可以表示对象之间的交互,很适合用于对系统的交互行为建模,但由于UML缺乏精确语义,使得难以对其所表示的系统行为进行分析和验证.XYZ/E是可执行线性时序逻辑语言,既可描述系统的静态语义和动态语义.在定K.UML2.0通信图的形式化语法的基础上,给出了通信图的XYZ/E时序逻辑语义,为进一步的系统分析和验证提供了形式化基础.

著录项

来源
《计算机工程与设计》 |2008年第21期|5601-5604|共4页
作者
张姝; 戎玫; 张广泉;
展开▼
作者单位

苏州大学计算机科学与技术学院;

江苏苏州;

215006;

云南师范大学档案馆;

云南昆明;

650092;

暨南大学深圳旅游学院;

广东深圳;

518053;

苏州大学计算机科学与技术学院;

江苏苏州;

215006;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
UML2.0; 通信图; 时序逻辑; 形式化语法; 形式化语义; XYZ/E;

相似文献

中文文献
外文文献
专利

1. 基于消息语义的UML2.0顺序图控制流分析 [J] . 王洪媛 ,王琳 ,张家晨 . 吉林大学学报（理学版） . 2007,第004期
2. UML2.0顺序图的时序描述逻辑语义 [J] . 张其文 ,童格明 ,李明 . 计算机工程 . 2011,第003期
3. UML 2.0顺序图的XYZ/E时序逻辑语义研究 [J] . 黄正宝 ,张广泉 . 计算机科学 . 2006,第008期
4. UML活动图的时序逻辑语义 [J] . 朱雪阳 ,唐稚松 . 计算机研究与发展 . 2005,第009期
5. 基于UML2.0活动图的车载设备测试用例生成方法研究 [J] . 靖焱林 ,唐涛 . 铁路计算机应用 . 2011,第008期
6. 基于UML2.0顺序图的高可信实时软件建模技术研究 [C] . 刘传会 ,陈睿璟 ,黄河赞 . 第六届民用飞机航电系统国际论坛 . 2017
7. 基于XYZ/E的UML2.0顺序图的时序逻辑语义描述研究 [A] . 朱梅霞 . 2007

基于时序逻辑的UML2.0通信图语义研究

摘要

著录项

相似文献

相关主题

期刊订阅