【摘 要】
：
交互模型描述语言主要应用于分布式实进系统中的交互行为规范,这种规范是基于场景的并着重于系统中通讯实体间的信息交换.交互模型描述语言大都是基于图形的,因此能使人们对
论文部分内容阅读
交互模型描述语言主要应用于分布式实进系统中的交互行为规范,这种规范是基于场景的并着重于系统中通讯实体间的信息交换.交互模型描述语言大都是基于图形的,因此能使人们对所描述系统的交互行为有一个快速直观的理解.但是与许多其它的规范和设计过程相似,交互模型描述过程中也易出错,所以对它们进行分析是非常重要的.该文基于目前较为流行的交互模型描述语言——消息序列图MSC(Message Sequences Charts)和统一建模语言UML的顺序图(UML Sequence diagrams)探讨带时间约束的交互模型分析问题,引入了一种更为一般的、表达能力更强的时间约束表示机制,设计了时间一致性检验算法,并依托Rational Rose实现了一个UML顺序图的时间一致性检验工具.
其他文献
随着计算机网络,特别是因特网的迅速发展和广泛应用,网络安全问题随之出现,并成为当前研究的热点.WEB欺骗攻击是一种关于数据传输的新攻击,主要用于非法窃取用户的银行帐号、
该文以城市环境地理信息系统GISENV为背景,对地理信息系统在城市环境保护中的应用进行了深入的研究,取得了如下的成果:1、实现了以环境数学模型为基础,对复杂的数据进行分析
该文应用90年代兴起的数据仓库技术作为决策支持系统中数据管理的解决方案,并对决策支持系统与数据仓库技术有效的结合方面进行了深入的研究.并在此基础上,以法院案件管理为
该文设计并实现了一个基于Web网关技术的Internet网络设备管理系统NetAdmin,该系统运行于客户/服务器模式下,将设备管理与Web技术紧密结合,用VisualC++,JavaScript及HTML等实
截面轮廓特征约束重建是实现自由曲面重建的关键，同时对重建曲面边界的确定也起着重要的作用。自由曲面重建的方法是利用截面轮廓以及方向矢量作为参数，通过拉伸、旋转、放样、
入侵检测技术作为数据加密、防火墙等安全手段后的新一代安全保障技术,能够对网络安全进行主动的监控,极大地增强了网络的安全性.传统的入侵检测系统(IDS)需要把所有的目标机
该文来自塔里木油田指挥中心实验检测中心管理信息系统,讨论了Web数据库系统计算模式的理论和概念,以及构建系统的方案和技术,部总结了企业级Web应用系统的一般方法.最后根据
该文共分五章,第一章为绪论,简单介绍图像编码的一般方法及当前图像编码方法的发展方向和研究热点,同时介绍了评价图像编码性能的几个常见指标.第二章:讨论了小波变换的基本
高性能的微处理器和高速计算机网络的出现，使得把由大量CPU组成的计算系统通过高速网络连接在一起不仅成为可能，而且变得十分容易。网络作业管理系统就是一种建立于操作系统之
数据流分析是一种非常重要的静态程序分析技术,而指针的使用使倒数的流分析变得更加复杂和困难.该文定义了一个Pascal语言的子语言S-pascal,并以该语言为对象,着重研究了在指