【摘 要】
：
该文针对WSS的可靠性问题,从软件体系结构的角度,在两个方面进行研究探讨:基于体系结构的设计和基于体系结构的可靠性评估.前者主要讨论体系结构的描述和分析、WSS体系结构的
论文部分内容阅读
该文针对WSS的可靠性问题,从软件体系结构的角度,在两个方面进行研究探讨:基于体系结构的设计和基于体系结构的可靠性评估.前者主要讨论体系结构的描述和分析、WSS体系结构的自动生成、体系结构设计与源代码的联系等问题.其研究目的是探讨在软件开发过程中如何有效地应用形式化方法,主要思想是用形式化方法改善目标系统在体系结构意义上的正确性与合理性,而在低层实现上允许传统方法的自由使用.后者用分析和模拟两种方法研究WSS的可靠性模型,探讨如何有效地评估多用户服务系统的可靠性.文章首先回顾了相关领域的当前研究状况,指出存在的问题.接着在第二章讨论了体系结构环境BlueStar在设计体系结构方面的主要功能和方法.第三章提出一个从WSDL规格中生成WSS体系结构描述的翻译器.第四章讨论从源代码中提取体系结构的解决方案.然后在第五章提供两种解决WSS可靠性评估问题的方法.最后在第六章提出一个时控自动机的抽象算法,这是将BlueStar行为理论模型从Buechi自动机延伸到时控自动机的可能性探讨中的一项工作.
其他文献
随着互联网和移动通信技术的发展，移动应用业务将逐步从以语音为主转换到以数据业务为主，越来越多的人们对信息的获取提出更高的要求，即实现随时随地访问Internet并且从Internet
在这篇文章中我们对任播服务研究的现状进行了较深入的分析与研究,并提出了一种网络层的任播服务构架和相应的路由协议HHA.在这个构架中我们主要采用了四种方法用以解决任播
作为一种有效的网络安全技术，防火墙通常被设置在Internet和内部网络之间，依据预先设定的安全策略，对进出内部网络的数据包实施合法性过滤和检查，从而实现对内部网络的保护。
该文首先介绍了解两种相关的绘制方法——基于图像的绘制(IBR)和体绘制(Volume Rendering),以及基于点的绘制与他们的关系.进而分析了当前基于点的绘制的几种主流技术以及基
web信息提取是当前比较活跃的一个研究课题，但web数据的大量性，异构性和动态性，是web信息提取的一个桎梏。对于结构化的Web数据，已经有较为成熟的解决方法；而对于非结构化的Web数
嵌入式Internet网关为远程用户对设备的远程访问提供中间接口,它的关键技术是为传统的嵌入式设备提供Internet访问能力并为管理这些设备提供广泛的应用支持.考虑到代码的可重
目前，我国银行普遍应用电子计算机处理储蓄业务，大量的票据靠手工输入，速度慢，录入人员数量大，劳动强度大。银行票据自动识别系统能够对票据中的数据信息进行识别，由手工录入转化为
在中文处理中,例如句法分析、语句理解、自动文摘、自动分类和机器翻译等,首先会遇到一个非常棘手但又不可避免的问题,那就是汉语分词问题,此问题的重要性是不言而喻的,它是