[带时间约束的交互模型分析工具的设计与实现]谭文凯

【带时间约束的交互模型分析工具的设计与实现】谭文凯.pdf论文答辨日期:2t∞/年6月6日 指导教师:都风梁(签字)带时间药束的交互模型分析工具的设计与实现 摘要 交互模型描述语言主要应用于分布式实时系统中的交互行为规范,这种规 范是基于场景的并着重于系统中通讯实体间的信息交换。交互模型描述语言大 都是基于图形的,因此能使人们对所描述系统的交互行为有一个快速直观的理 解。但是与许多其它的规范和设计过程相似,交互模型描述过程中也易于出错,所以对它们进行分析是非常重要的。本文基于自前较为流行的交互模型描述语 信一消息序列图MSC(MessageSequencesCharts)和统一建模语言UML的 顺序图(UMLSequenceDiagrams)探讨带时间约束的交互模型分析问题,引 入了一种更为一般的、表达能带时间约束的交互模型分析工具的设计与实现 Ⅲ 1.绪论问题的由来 1模型检验 1国内外研究现状 1本文的研究工作及组织 1研究目标和内容 1本文的组织.交互模型描述语言 2消息序列图MSC(MESSAGESEQUENCECHARTS)2UML顺序图(UMLSEQUENCEDIAGRAMS)交互模型的时间一致性检验基本交互模型和组合交互模型 3交互模型中的时间约束3交互模型的形式化3基本交互模型的时间一致性检验3组合交互模型的时间约束检验3.
———— 文字由OCR识别(未校验)，可能存在错字；请以原始完整版为准。