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

来源 :软件学报 | 被引量 : 0次 | 上传用户：jeff1986928

【摘要】

：

统一建模语言(UML)是一种多用途的可视化建模语言,它可用于软件系统的规约、可视化的构造和建档.UML序列图描述了交互对象间的协作,如在实时和分布式系统中通讯实体间的信息

【作者】

：

谭文凯李宣东郑国梁

【机构】

：

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

【出处】

：

软件学报

【发表日期】

：

2001年10期

【关键词】

：

可视化建模语言时间约束 UML 序列图 realtime systems UML (unified modeling language) sequence

【基金项目】

：

国家自然科学基金，国家高技术研究发展计划(863计划)

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

湖南工艺美术学院学生作品选登

期刊

浅谈企业的危机管理与社会责任

2008年以来，由于受全球金融危机的影响，国内外企业无不高度重视这场关乎企业生死存亡的危机……在此紧要关头，作为企业管理者又该采取哪些措施来应对这场危机以拯救企业于水火呢

期刊

危机危机管理社会责任

一种基于目标的过程实例演化方法

过程具有长生命周期、分布式结构、异构等特性.为适应不可预料的环境变化,过程还需要不断地演化.提出一种过程实例的演化方法以控制对过程实例的改变.它可以检查并保证演化前

期刊

目标过程实例演化方法过程模型Buch自动机软件process instance process model evolution goal-bas

基于批量订购存储模型的航材储备

为了保证航空兵作战和训练任务的完成，在经费一定的情况下，如何进行合理的航材储备，即如何确定合理的订货点和订货数量是问题的关键。基于批量订购存储模型在一定条件下可以解决

期刊

批量订购存储模型航材储备Lot sizing orderStorge modelAviation equipment reservation

天津市明年将在滨海新区建设职业教育新园区

天津市教委透露，为加快天津市作为国家职业教育改革试验区的建设步伐，推进滨海新区技能型紧缺人才培养，天津市明年将在滨海新区建设职业教育新园区。一期工程占地40万平方米。将

期刊

职业教育改革滨海新区新区建设天津市中职院校人才培养一期工程

基于“任务驱动”的《服装结构设计》课程项目教学实践

摘要：职业院校服装专业的具体实践说明，基于“任务驱动”教学模式的项目教学法是职业教育专业课程行之有效的教学方法，　　关键词：建构主义；任务驱动：项目教学　　　　为了提高职业教育的教学质量与办学效率，培养高质量的职教人才，我国的职业院校都在积极探索课程改革的突破口，对教学模式的研究以及学科课程的项目化已经成为职业院校课程改革的主要方向。依托服装专业的三大专业课程——《服装成衣设计》、《服装结构设计》

期刊

建构主义任务驱动项目教学

π—演算互模拟判定算法的优化和实现

π-演算采用互模拟作为进程等价的准则.对有限状态的π-演算进程互模拟等价是可判定的，由此提出了互模拟检测算法的一种优化技术.该技术基于只将输入名字实例化为在以后的等名

期刊

进程代数Π-演算互模拟验证算法计算机AlgebraAlgorithmsBenchmarkingCalculationsOptimization

基于混合自动机的Post—WIMP界面的建模

Post-WIMP界面作为继当前的主流界面范式——WIMP界面后的下一代界面范式,它和WIMP界面有着很大的不同,通过使用虚拟现实、语音交互、手势交互等技术,它能够提供更加自然高效

期刊

人机交互Post-WIMP界面混合自动机自动机理论Interfaces (computer)Virtual reality

网格模型化简综述

网格模型的化简对于其存储、传输、处理以及实时绘制有着重要的意义。对国内外在这一领域的工作成果进行了较为系统的介绍，并对各方面典型算法的优缺点进行了分析，最后对这一技

期刊

网格模型化多分辨率模型层次细节模型图像质量计算机图形学mesh simplification multi-resolution model lev

皮角癌累及骨骼1例

患者，男，47岁，左前臂角状突起伴溃烂7年，肿胀疼痛伴功能障碍6年，发病初期于左前臂尺侧长出锥形角状物，长3.0cm，基底部直径约0.8cm，色暗红，蛇皮状外观，其顶部呈菜花状破溃。经自行切除后

期刊

皮角癌骨骼实验室检查红细胞白细胞

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

与本文相关的学术论文