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

1

作者 康辉 苑森淼 +1 位作者 浦洁 刘勇 《北京工业大学学报》 EI CAS CSCD 北大核心 2008年第11期1202-1206,共5页

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

关键词 PI演算 web服务定义语言 WEB服务 WEB服务组合 XML语言

在线阅读 下载PDF 职称材料

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

2

作者 段海新 吴建平 《计算机研究与发展》 EI CSCD 北大核心 2002年第7期786-791,共6页

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

关键词 网络安全 通用安全服务原语 安全上下文 安全联合 sdl/MSC

在线阅读 下载PDF 职称材料

IDL2WSDL编译器的设计与实现 被引量：1

3

作者 毛春丽 刘必欣 +1 位作者 周斌 贾焰 《计算机应用》 CSCD 北大核心 2004年第9期116-118,共3页

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

关键词 接口定义语言 Web服务定义语言 编译器

在线阅读 下载PDF 职称材料

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

4

作者 刘毅 薛红超 夏云霓 《计算机工程与应用》 CSCD 北大核心 2011年第11期60-66,101,共8页

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

关键词 可靠性 网络服务编排定义语言(WS-CDL) 非马尔科夫随机Petri网(NMSPN) 置信区间分析

在线阅读 下载PDF 职称材料

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

5

作者 王斌 王伟平 陈松乔 《中南工业大学学报》 CSCD 北大核心 2003年第6期666-669,共4页

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

关键词 构件服务挖掘 服务定义语言 服务操纵语言

在线阅读 下载PDF 职称材料

基于SDL协议的QoS实现方案

6

作者 周晓波 曾烈光 《光通信研究》 北大核心 2002年第3期24-28,共5页

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

关键词 sdl 协议 QOS 数据链路 多协议标签交换 服务质量

在线阅读 下载PDF 职称材料

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

7

《毛纺科技》 CAS 北大核心 2005年第12期10-10,共1页

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

关键词 as公司 恒温恒湿机 sdl ATL 销售商 全球化 CONTROL 服务网络 产品

在线阅读 下载PDF 职称材料

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

8

《针织工业》 北大核心 2005年第12期59-59,共1页

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

关键词 as公司 恒温恒湿机 sdl ATL 销售商 全球化 CONTROL 服务网络 and 产品

在线阅读 下载PDF 职称材料

使用Google XML APIs Service实现Web查询 被引量：4

9

作者 孟德欣 谢二莲 《计算机应用》 CSCD 北大核心 2004年第S1期252-253,共2页

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

关键词 XML WEB服务 简单对象访问协议 Web服务定义语言 统一描述、发现和集成

在线阅读 下载PDF 职称材料

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

10

作者 汤战勇 房鼎益 +1 位作者 陈晓江 吴晓南 《计算机应用与软件》 CSCD 北大核心 2007年第8期34-37,共4页

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

关键词 短消息服务 短消息网关 SMS中间件 sdl(服务定义语言) FSM(有穷状态自动机)

在线阅读 下载PDF 职称材料

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

11

作者 李繁 刘锋英 林才寿 《控制工程》 CSCD 北大核心 2013年第S1期54-57,共4页

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

关键词 网格计算 开放网格服务体系结构 开放网格服务基础设施 Web服务定义语言

在线阅读 下载PDF 职称材料

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

12

作者 姜华斌 毛春丽 《中南林学院学报》 CSCD 北大核心 2005年第3期30-33,共4页

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

关键词 WEB服务 接口定义语言(IDL) Web服务定义语言(Wsdl) IDL2Wsdl编译器

在线阅读 下载PDF 职称材料

CORBA与Web Services的交互方法

13

作者 刘劲武 《西安石油大学学报（自然科学版）》 CAS 2006年第4期103-105,共3页

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

关键词 CORBA WEB服务 封装 接口定义语言(IDL) Web服务定义语言(Wsdl)

在线阅读 下载PDF 职称材料