基于Web Services的模型库系统设计方案

在对Web services技术进行简单总结的基础上，给出了基于Web services的可重用模型库体系结构的设计方案，以AHP模型为例，分析了模型的Web services表示、模型服务发布、发现、调用以及模型服务查询等问题。给出了一个应用实例，利用Web services技术建立了一个共享的模型库系统。     

QoS驱动的Web services动态计价机制研究

结合Web services的服务质量(QoS)因素和用户经验,对Web services的计价机制进行研究,提出一种QoS驱动的Web services动态计价模型,描述其计价过程,并给出相应的实现算法。通过对模型的简单实现,经测试这一计价模型在准确性和合理性上具有一定优势。     

基于PKI／PMI的Web服务安全框架

Web services的安全性是影响其能否被广泛应用的关键因素之一.目前,Web services的安全性研究主要集中在对XML的扩充和制定Web services安全规范方面,但是这些规范仅描述了安全模型的框架,实用性较差.本文利用PKI/PMI技术,在不需要改变现有Web services协议的基础上,提出了一个基于PKI/PMI的Web服务安全框架,并给出了服务授权和访问控制的算法.     

Web services合成关键技术分析

Web services合成作为一项新技术得到了工业界和学术界的广泛关注．在介绍Web services合成背景、基本概念的基础上，分析了Web services合成的关键技术并指出QoS、容错及事务等传统问题在Web services合成中所面临的新的挑战．     

Web services实现技术研究

Web services是网格服务的基础,可以使用Web scrvices来解决异构的分布式计算问题。文章分析了Web services实现的基本技术．对Web service的两种主要实现平台进行了比较,提出了Web services实现需解决的深层次问题及其技术细节。     

阻力缘于陌生——影响Web services推广使用的因素及对策研究

Web services推广的阻力更多的来自于消费者一方,主要是消费者对这种产品的陌生和不理解。随着Web services在Web应用开发和集成领域成为一个重要的技术趋势,企业对于Web services的前景都非常看好,但对于其发展现状以及普及进度,即推广使用问题,仍然存在一些分歧。IDC在2002年的美国Web ser-vices市场分析报告中预测,到2007年,Web services需求将增长到210亿美元,同时累计花费在Web services项目上的费用将高达1840亿美元。     

基于．NET平台下web services技术的数据整合和共享应用研究

通过web services获得所需要的信息已不在受时间和空间限制，该文介绍个Web services的体系结构，．NET平台下开发Webservices的一般模型．并以此模型完成了一个应用系统的设计。     

基于Web Services的CELTS学习者模型

通过分析现有网络教学管理模式在多个异构平台间数据共享方面的不足,基于CELTS规范提出了一个学习者模型,并讨论了在该模型支持下学习者行为数据如何通过Web services技术在异构子系统之间实现交互与集成。最后以一个学习行为评估子系统为例,使用SOAP和XML技术给出了该模型在Web services平台下的一种实现。     

基于贪心算法的Web Services查询优化方案

提出一种贪心算法,以最佳方式把查询中所有Web services调用排列到一管线化执行方案中,使所有Web services以最佳并列方式工作,减少整个查询过程的总运行时间,解决以选择-投影-连接方式查询多个Web services的查询优化问题。该优化方案适用于在Web services之间存在任意优先约束的情况。     

Web服务提供方安全模型的设计、建模与分析

随着Web服务应用的迅速发展,Web服务提供方的安全问题已成为制约其实际应用的主要障碍之一。文中着重讨论了Web服务提供方面临的安全问题,引入了一种基于安全策略与实现分离的信息安全解决模型,并根据Web服务的实际情况进行了改进,方便了Web服务提供方动态地制定安全策略、灵活地实现策略指导下的各种安全措施。最后,采用投影时序逻辑(PTL,Projection Temporal Logic)形式化描述了该模型中资源访问决策部分的规范说明。     

Modeling and verification of Web services composition based on model transformation

With the rapid development of Cloud computing, social computing, and Web of Things, an increasing number of requirements of complexity and reliability for modeling Web services composition have emerged too. As more reliable methods are needed to model and verify current complex Web services composition, this paper proposes a method to model and verify Web services composition based on model transformation. First, a modeling and verifying framework based on model transformation is established. Then, Communicating Sequential Process (CSP) is defined according to the features of Web services composition and the corresponding model checking tool Failure Divergence Refinement (FDR) is introduced. The transformation approaches between Business Process Execution Language (BPEL) and CSP are later defined in detail. Lastly, the effect of this method is evaluated by modeling and verifying the Web services composition of a Online Shopping System. The results of the experiments show that this method can greatly increase the reliability of Web services composition. Copyright © 2016 John Wiley & Sons, Ltd.     

基于JXTA和OWL-S上的Web Services发现的研究

本文提出基于JXTA协议上的Web服务的新计算模型,利用OWL-S对Web服务功能和特性进行描述,在P2P网络中的Web服务发现时,通过服务功能描述寻找服务,根据服务功能匹配而寻找定位最佳服务。     

基于三层组织模型的一种Web服务组合策略

在研究Web服务三层组织模型和有限状态自动机的基础上,提出了一种新的Web服务组合策略,给出了一个服务的可组合性定理,并证明了定理的正确性。该策略以Web服务三层组织模型为基础,简化了BPEL中基于有限状态自动机的Web服务自动组合,精简了服务组合流程。最后对这种新的组合策略的优缺点作了分析。     

基于本体的Web服务发现模型研究

针对传统的Web服务发现机制查准率低的缺点,结合本体技术与OWL-S语义描述语言设计一个Web服务发现模型。该模型主要包括查询处理器、领域本体库和发现引擎三个模块,通过在领域内共同的语义理解基础上抽取服务查询信息中所需的功能信息以及对服务广告信息的语义描述,实现针对服务功能信息的语义匹配,从而提高服务的查准率。     

Web服务访问控制规范及其实现

提出了一种用于Web服务的访问控制模型,这种模型和Web服务相结合,能够实现Web服务下安全访问控制权限的动态改变,改善目前静态访问控制问题。新的模型提供的视图策略语言VPL用于描述Web服务的访问控制策略。给出了新的安全模型和Web服务集成的结构,用于执行Web服务访问控制策略。     

基于MDA的Web服务组合的研究及应用

随着已有Web服务数量的不断增加,如何利用这些现有的Web服务创建新的更复杂的Web服务成为一项新的研究课题。特别地,利用MDA进行Web服务合成已经成为研究的热点。提出了一种基于模型驱动架构的Web服务组合方法,将模型驱动软件开发方法学应用到Web服务组合中。针对WSDL语言给出了一个UML Profile for WSDL来建立与WSDL平台相关的静态结构模型,并给出了与WSDL平台相关的静态结构模型和WSDL语言之间的模型转化规则。并通过一个旅行代理服务的实例说明了方法的应用情况,验证了方法的可行性。     

基于工作流模式的OWL-S过程模型分析及其应用

确定OWL-S过程模型描述Web服务之间交互协议的能力和缺陷,为组合Web服务执行提供有效支持。将组合web服务视为基于Web服务的工作流,利用OWL-S过程模型的控制结构给出工作流模式的实现方案,分析出OWL-S描述web服务之间交互协议的能力及缺陷;在此基础上,设计并实现基于OWL-S的组合web服务执行工具,通过验证Web服务调用的有效性及Web服务之间交互协议的有效性,提高组合Web服务执行的健壮性。     

Web服务合成的相容性与替换性分析

形式化的分析有助于Web服务的合成.已有的合成分析方法,验证的重点是Web服务合成时形成的全局交互流程是否与预先定义的模型相匹配,忽略了合成时各个Web服务之间的行为是否相容.通过自动机对基于WSCI规范描述的Web服务进行形式化描述.在此基础上,提出了一个Client/Server模型,定义了Web服务合成的相容性概念,并提供相应的算法进行验证,保证了Web服务合成的正确性.在相容性分析的基础上,考虑到Web服务动态性的特点,定义了Web服务的替换性概念,并给出了保证替换服务正确性的定理.