共查询到19条相似文献,搜索用时 93 毫秒
1.
2.
3.
通过web services获得所需要的信息已不在受时间和空间限制,该文介绍个Web services的体系结构,.NET平台下开发Web services的一般模型,并以此模型完成了一个应用系统的设计。 相似文献
4.
结合Web services的服务质量(QoS)因素和用户经验,对Web services的计价机制进行研究,提出一种QoS驱动的Web services动态计价模型,描述其计价过程,并给出相应的实现算法。通过对模型的简单实现,经测试这一计价模型在准确性和合理性上具有一定优势。 相似文献
5.
Web services实现技术研究 总被引:5,自引:0,他引:5
Web services是网格服务的基础,可以使用Web scrvices来解决异构的分布式计算问题。文章分析了Web services实现的基本技术.对Web service的两种主要实现平台进行了比较,提出了Web services实现需解决的深层次问题及其技术细节。 相似文献
6.
7.
本文通过说明XML Web services的身份验证策路。着重论述了如何利用修改配置文件(web.config)达到使用windows身份验证保证XML Web services的安全。和调用需要身份验证的XML Web service的客户端程序的具体实现方法。 相似文献
8.
9.
随着IP数据网络在规模和复杂性方面的持续增长,现行网络管理技术面临挑战。本文首先介绍了现行网络管理标准的局限及其发展现状。分析了Web services体系结构和协议栈。提出了将Web services引入网络管理的三种实现模式度其应用前景.并讨论了在实现中涉度到的一些技术问题和相应的解决方案。 相似文献
10.
11.
12.
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. 相似文献
13.
基于JXTA和OWL-S上的Web Services发现的研究 总被引:1,自引:2,他引:1
本文提出基于JXTA协议上的Web服务的新计算模型,利用OWL-S对Web服务功能和特性进行描述,在P2P网络中的Web服务发现时,通过服务功能描述寻找服务,根据服务功能匹配而寻找定位最佳服务。 相似文献
14.
基于三层组织模型的一种Web服务组合策略 总被引:1,自引:1,他引:0
在研究Web服务三层组织模型和有限状态自动机的基础上,提出了一种新的Web服务组合策略,给出了一个服务的可组合性定理,并证明了定理的正确性。该策略以Web服务三层组织模型为基础,简化了BPEL中基于有限状态自动机的Web服务自动组合,精简了服务组合流程。最后对这种新的组合策略的优缺点作了分析。 相似文献
15.
16.
提出了一种用于Web服务的访问控制模型,这种模型和Web服务相结合,能够实现Web服务下安全访问控制权限的动态改变,改善目前静态访问控制问题。新的模型提供的视图策略语言VPL用于描述Web服务的访问控制策略。给出了新的安全模型和Web服务集成的结构,用于执行Web服务访问控制策略。 相似文献
17.
随着已有Web服务数量的不断增加,如何利用这些现有的Web服务创建新的更复杂的Web服务成为一项新的研究课题。特别地,利用MDA进行Web服务合成已经成为研究的热点。提出了一种基于模型驱动架构的Web服务组合方法,将模型驱动软件开发方法学应用到Web服务组合中。针对WSDL语言给出了一个UML Profile for WSDL来建立与WSDL平台相关的静态结构模型,并给出了与WSDL平台相关的静态结构模型和WSDL语言之间的模型转化规则。并通过一个旅行代理服务的实例说明了方法的应用情况,验证了方法的可行性。 相似文献
18.
确定OWL-S过程模型描述Web服务之间交互协议的能力和缺陷,为组合Web服务执行提供有效支持。将组合web服务视为基于Web服务的工作流,利用OWL-S过程模型的控制结构给出工作流模式的实现方案,分析出OWL-S描述web服务之间交互协议的能力及缺陷;在此基础上,设计并实现基于OWL-S的组合web服务执行工具,通过验证Web服务调用的有效性及Web服务之间交互协议的有效性,提高组合Web服务执行的健壮性。 相似文献
19.
形式化的分析有助于Web服务的合成.已有的合成分析方法,验证的重点是Web服务合成时形成的全局交互流程是否与预先定义的模型相匹配,忽略了合成时各个Web服务之间的行为是否相容.通过自动机对基于WSCI规范描述的Web服务进行形式化描述.在此基础上,提出了一个Client/Server模型,定义了Web服务合成的相容性概念,并提供相应的算法进行验证,保证了Web服务合成的正确性.在相容性分析的基础上,考虑到Web服务动态性的特点,定义了Web服务的替换性概念,并给出了保证替换服务正确性的定理. 相似文献