论文部分内容阅读
接口自动机是一个用来描述软构件接口的时态行为的形式模型，传统的简单组合精化检验规则由于没有考虑到环境时子任务的影响而使其实际应用受到较大限制。本文提出了一种对该规则的改进方法，以弥补上述缺陷。
一种接口自动机的组合精化检验方法
【摘 要】
：
接口自动机是一个用来描述软构件接口的时态行为的形式模型，传统的简单组合精化检验规则由于没有考虑到环境时子任务的影响而使其实际应用受到较大限制。本文提出了一种对该规
【机 构】
：
国防科技大学计算机学院
【出 处】
：
计算机工程与科学
【发表日期】
：
2006年4期
【基金项目】
：
国家自然科学基金资助项目（69233020,90104007）,国家863计划资助项目（201AA113202,2001AA113190）
其他文献
本文针对时序数据提出了一种基于小波的异常探测算法.首先应用小波变换将时域空间的时序数据分解成不同的频率成份,通过低频信号的特性缩短待处理的数据处理.对于变换后的数
随着网络技术和软件规模的发展,软件分布式开发的需求越来越迫切.SDCEE是一个软件分布式协同开发环境,它使用户可通过浏览器参与项目全过程的开发.本文论述了该系统的体系结
四川省林丰园林建设工程有限公司是从事林业机械、护林防火机械、畜牧机械、农业机械、园林养护机械、绿化植物、草坪草种、畜牧网国拦生产、制造及铸售于—体的专业化实体公
传统的并行编译器在处理非可规约循环时一般使用结点分割法,但由此带来的代码复制是不可避免的。本文使用投机的方法来挖掘非可规约循环的并行性,该方法在编译时查找程序中的
本文根据智能卡应用的现状和发展趋势，分析目前解决方法存在的问题，提出了一种新的智能卡模型-UCard。通过分析其核心的地址映射问题，给出了基于块选以及基于可编程逻辑器件的两
随着CORBA应用领域的扩展,许多应用需要CORBA提供异步机制,而传统的CORBA不提供异步方法激活机制.本文介绍了一种基于对象传值模式的异步模型--Polling模型,该模型可以在应用
"创新"是人们经常挂在嘴边的一个词.无论是政府,也无论是企业,创新已经成为进步的象征.正如一些高层人士所言,21世纪是科学技术主导的世纪,世界各主要国家都把支持科技创新作
在移动环境下,客户缓存为提高客户-服务器数据库系统的整体性能提供了有效途径.缓存与服务方数据的同步策略是缓存研究的重要内容.移动环境下,考虑到网络的带宽、开销和可靠
基于长沙市住宿业数据和空间分析方法,对其住宿业空间结构时空演化特征及其影响因素进行研究,以期能推动长沙市住宿业健康持续发展。结果表明:长沙市住宿业时空演化特征与城
基于构件的软件开发方法是当前人们正在积极研究的一种新的软件开发方法.本文描述了作者实现的分布式构件系统中构件间信息交互平台的总线模型.