带时间约束的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

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

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

期刊

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

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

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

期刊

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

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

其他学术论文