带时间约束的UML序列图的分析工具

谭文凯; 李宣东; 郑国梁

首页> 中文期刊> 《软件学报》 >带时间约束的UML序列图的分析工具

带时间约束的UML序列图的分析工具

开具论文收录证明 >>

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

文献代查 >>

团队文献服务 >>

页面导航

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

摘要

统一建模语言(UML)是一种多用途的可视化建模语言,它可用于软件系统的规约、可视化的构造和建档.UML序列图描述了交互对象间的协作,如在实时和分布式系统中通讯实体间的信息交互.与其它的规约和设计过程类似,UML序列图的规约也易出错,所以对它进行分析是很有必要的.文章描述了一个对带时间约束的UML序列图进行分析的工具.

著录项

来源
《软件学报》 |2001年第10期|1423-1433|共11页
作者
谭文凯; 李宣东; 郑国梁;
展开▼
作者单位

南京大学计算机科学与技术系;

南京大学计算机科学与技术系;

南京大学计算机科学与技术系;

展开▼
原文格式 PDF
正文语种 chi
中图分类自动化技术、计算机技术 ;
关键词
实时系统 ; UML ; 序列图 ; 时间一致性 ;

相似文献

中文文献
外文文献
专利

1. 基于UML2.0序列图的Web服务运行时验证方法 [J] . 张亚红 ,张琳琳 ,赵楷 . 计算机科学 . 2013 ,第007期
2. 基于指称语义的UML序列图的语义分析 [J] . 刘玥波 . 赤峰学院学报（自然科学版） . 2012 ,第023期
3. 基于指称语义的UML序列图的形式化分析 [J] . 刘玥波 . 吉林建筑工程学院学报 . 2011 ,第002期
4. 选择序列图创建UML动态模型 [J] . 范晓平 ,王修智 . 电脑编程技巧与维护 . 2011 ,第005期
5. 基于事件确定有限自动机的UML2.0序列图描述与验证 [J] . 张琛 ,段振华 ,田聪 . 软件学报 . 2011 ,第011期
6. 带时间约束的UML活动图模型的分析 [C] . 崔萌 ,袁海 ,李宣东 . 2002全国软件与应用学术会议(NASAC) . 2002
7. 基于UML的实时系统建模及顺序图时间约束研究 [A] . 杨林 . 2007

带时间约束的UML序列图的分析工具

摘要

著录项

相似文献

相关主题

期刊订阅