基于Pi演算的Web服务建模与WSDL转换

为顺利地执行Web复合服务,实现服务的自动组合,对基于Pi演算的Web服务组合模型与WSDL语言程序段转换的正确性进行了论证,运用进程代数对Web服务及其组合进行建模,提出并建立了PICM2WSDL模型,通过形式化的方法验证,基于Pi演算的Web服务建模经过PIC2WSDL模型转换可自动生成正确的.wsdl文件。

SDL/MSC描述的通用安全服务原语

基于各种安全协议 (如 IPSec,TL SP等 )和安全系统 (如 Kerberos,SESAME等 )的分析 ,提出了通用安全服务原语 (GSSP)的概念 ,面向不同协议层次的调用者 ,GSSP屏蔽了底层安全机制的实现细节 .定义了 GSSP相关概念和一个最小服务原语集合 ,包括安全上下文管理、安全联合管理、报文封装原语 .用形式描述语言 SDL/ MSC描述了通用安全服务参考模型 .最后用 SDL 描述了一个基于 X.5 0

IDL2WSDL编译器的设计与实现

为实现新的、增值的服务将现存的中间件技术如CORBA与新兴的Web服务结合起来是非常必要的。其中一个急待解决的关键技术就是如何自动高效地将CORBA对象的IDL描述转换为Web服务的WSDL描述。针对IDL语言到WSDL语言映射的实现问题 ,提出了一个IDL2WSDL编译器的设计方案 ,并在自主研制的Web服务运行环境中实现了该编译器。

一种模型驱动的WS-CDL服务组合可靠性预测方法

WS-CDL是一种主流的Web服务组合标准,描述了基于编排机制的端对端服务组件的组合方式。对基于WS-CDL的服务组合进行可靠性预测,能帮助Web服务的使用和管理者定量考察服务的可信性,并帮助他们从功能相同的服务组件中择优选取以优化整体服务流程的可靠性。然而,学术界对WS-CDL可靠性研究非常匮乏。提出了一种模型驱动的方法来预测基于WS-CDL的组合服务的可靠性。该方法首先引入一系列的转换规则,将WS-CDL中的各种活动和结构转换为等效的NMSPN网描述。在生成的NMSPN网基础上,引入了一个预测算法以分析组合服务的"流程正常结束概率"。为了对理论模型和结果进行检验,还通过WS-CDL+执行引擎对服务组合的实例进行执行并获得了流程正常结束率的实验数据。比较发现,由实验数据导出的95%置信区间完好地覆盖了理论分析结果,表明了该方法的正确性和精确性。

面向服务的构件软件框架及构件服务挖掘

对现有构件软件框架及构件挖掘技术进行了分析,将构件挖掘和服务挖掘统一为构件服务挖掘;为适应构件服务挖掘的需要,基于HTTP协议和XML语言提出了面向服务的构件软件框架及相关的构件服务定义和操纵语言;针对该软件框架,提出了一个通用的构件服务挖掘过程模型.该过程模型与未来对构件服务挖掘的需求相适应,为方便获取各种构件服务,以及为软件重用研究提供了新方法.

基于SDL协议的QoS实现方案

简单数据链路协议 ( SDL)作为一种新型的 IP over Fiber技术 ,其简单性和低开销更能适应高速传输链路的要求 ,并提供下一代光分组交换网所需要的操作维护管理功能 ;如何提供服务质量保证 ( Qo S)是 IP传输中的核心技术之一 .文章介绍了 IETF提出的两种实现Qo S的业务模型 :集成业务模型和差分业务模型 ,以及 SDL;提出了一种基于 SDL链路协议上的 Diffserv over MPLS的 Qo

SDL Atlas公司成为快速恒温恒湿机的指定全球销售商

日前，坐落于美国北卡罗来纳州布拉克山地区的Parameter Generationand Control公司总裁Clay Hile先生宣布SDL Atlas公司将负责在全球各地销售及推广该公司生产的快速恒温恒湿机。Hile先后介绍说，“我们制造的杰出产品逐渐引起大众的兴趣。SDL Atlas公司因其全球化的销售及服务网络而闻名于世，我们希望借助SDL Atlas公司进一步推广我们的产品，这一销售协议无论是对于我们，还是对于SDL Atlas公司都旱有利的。”

SDL Atlas公司成为央速恒温恒湿机的指定全球销售商

日前，坐落于关国北卡罗来纳州的布拉克山地区Parameter Generation and Control公司总裁Clay Hile先生宣布SDL Atlas公司将负责在全球各地销售及推广该公司生产的快速恒温恒湿机。Hile先生介绍说，“我们制造的杰出产品逐渐引起大众的兴趣．SDL Atlas公司因其全球化的销售及服务网络而闻名于世，我们希望借助SDL Atlas公司进一步推广我们的产品．这一销售协议无论是对于我们，还是对于SDL Atlas公司都是有利的”。

使用Google XML APIs Service实现Web查询

利用XMLWebService可以构建更好的、更强大的应用程序 ,为应用程序的集成提供基本构造块。本文通过使用GoogleWebAPIsService实现Web查询 ,并且可以分页浏览查询结果 ,进而说明了使用XMLWebService的一般步骤。

一种可扩展的SMS中间件系统设计

针对传统的短消息服务SMS(Short Message Service)中间件难以适应多种应用的问题,提出了一种基于多标准分类MCV(Multiple Criteria-Value)的业务模型,通过数据掩码图,利用该业务模型能够有效实现对具体业务的抽象描述,从而形成统一、灵活的多业务应用函数接口。通过对传统的基于单一行业应用的单状态机模型的研究和改进,提出了一种多状态机模型,以此构成SMS中间件框架,成功设计和实现了一个通用、灵活的SMS中间件系统。理论分析和实际测试结果表明,利用MCV业务模型可以方便、正确地获取应用层多种业务,提高SMS中间件的灵活性,并保证SMS中间件的实时和高效,所实现的SMS中间件系统能够满足实用要求。

搜索引擎Web API框架设计研究

传统的基于网页方式的搜索引擎服务不能很好地满足用户个性化的需求,搜索引擎Web API概念的提出较好的解决了这一问题.本文提出了一种基于SOAP和WSDL标准的搜索引擎Web API的构架模型.该构架模型的接口由五大部分组成,内容涵盖了用户自定义搜索条件的各项参数以及返回结果剥离所需的各项参数.采用SOAP和WSDL标准保证了该接口跨语言、跨平台特性.文章系统地介绍了框架的构造、功能,并对接口方法以及参数定义进行了详细的说明.

基于Web Services Binding和Java Component的SCA规范构建SOA

如何充分利用原有系统的资源,建立开放灵活、低代价的系统已成为信息化建设的关键。面向服务的体系结构(SOA)为解决分布式环境中软件重用、扩展和提高软件开发效率提供了解决方案。W eb Serv ices是构建SOA的核心技术,服务是SOA的基本单元;采用基于W eb serv ice B ind ing与Java Com ponent的SCA规范构建SOA,能自然有效地实现服务间的松散耦合。结合电信项目开发探讨了SOA的有关概念与技术,并给出了在国产L inux环境下基于W eb serv ice B ind ing和Java Com ponent的SCA规范构建SOA的部分实现。

网格计算及其在大型数值计算中的应用

针对在没有超级计算机的情况下,通过共享网络将不同地点的大量计算机互联,将各处计算机的多余处理器能力合在一起,形成巨大的处理能力,从而形成虚拟的超级计算机,使得"虚拟化的"、无缝的资源共享成为可能,从而支持不同组织和部门之间的协作,解决大型数值计算的问题。并以网格计算工具包Globus Toolkit为基础,在网格基本原理的指导下,运行了一个具体的网格应用实例,求解了"素性判定"、"高精度运算"等问题,验证了该方法的正确性。

CORBA对象的Web发布技术的实现

跨组织边界应用集成的商业需求迫切地需要将现存的CORBA对象发布为Web服务.其中亟待解决的关键技术之一是:如何自动、高效地将CORBA对象的IDL描述映射为Web服务的WSDL描述.详细论述了实现该映射的IDL2WSDL编译器的关键技术,并通过测试验证了该编译器的有效性.

DATADRIL计算机系统的使用与维护

DATADRIL计算机系统是SDL9000型录井系统的重要组成部分,该系统工作状态好坏直接影响数据的处理与解释。文章介绍了在现场录井工作中DATADRIL计算机系统的使用与维护经验,包括网络服务器损坏时用工作站改为服务器的方法;服务器上录井状态指示窗消失和报警图标丢失的处理方法;实时打印过程中打印机脱机及打印机乱打字符的解决方法。

CORBA与Web Services的交互方法

企业信息化建设过程中构建了大量的CORBA应用.目前的B2B服务集成是在Internet上平台独立、松散耦合的集成.CORBA的特性决定了它不能满足这种需求,而Web Services基于一系列标准开放的技术规范和协议可以满足B2B集成的需求.但基于IIOP的通信却比依赖SOAP的通信有效得多.提出了一种CORBA应用与Web Services交互的方法以便高效实施B2B集成,这样既保护企业原来的投资又保证B2B集成新系统高效运行.

基于Web的工作流管理系统的设计与实现

Internet/Intranet应用的普及和Web技术的发展，为Web工作流管理系统的实现提供了一个理想的平台，而基于Web的工作流管理服务为异地办公及跨企业的合作提供了良好的基础，采用Web技术已成为新一代工作流管理系统的主要特征。本文研究开发的工作流管理系统原型将Web技术与XML相结合，给出了基于XML的过程定义语言与工作流执行机的设计与实现方法。