共查询到20条相似文献,搜索用时 93 毫秒
1.
2.
3.
4.
针对语义组合Web服务的验证问题,研究了模型验证相关技术、统一模型语言(UML),提出了基于模型驱动架构(MDA)的组合方法.该方法使用UML类图和用例图对OWL-S进行静态组合建模,使用活动图对OWL-S进行动态组合建模,实现了语义组合Web服务的UML描述,然后将该描述转换为Promela语言代码,在Promela代码之后增加LTL的声明,使用SPIN工具进行正确性、安全性和活性验证.该模型保证了组合过程的正确性. 相似文献
5.
基于结构匹配的Web服务发现方法常常由于XML Schema定义的灵活性,使得一些本来语义相近的Web服务由于描述结构的不同而匹配失败,且计算开销较高。为此提出了一种基于细粒度数据语义的SAWSDL服务匹配方法和一个数据语义分解转换算法。将每一个消息级参数转换为多个细粒度的数据参数,使得基于消息级的SAWSDL服务匹配转化为更细粒度的数据语义匹配。实验结果表明该方法能够提高Web服务的效果,且计算开销较低。 相似文献
6.
Web服务组合是当前Web服务领域的一个研究热点,目前已有一些相关的描述与验证方法,本文从软件体系结构角度研究Web服务组合描述与验证方法.基于软件体系结构描述语言XYZ/ADL和精化检验/模型检测方法,提出了一种Web服务组合的描述与验证方法.XYZ/ADL是时序逻辑语言XYZ/E的扩展,考虑到多数Web服务具有实时特征,采用XYZ/E的实时扩展语言XYZ/RE表示系统应满足的时间约束.针对Web服务组合系统,根据XYZ/RE到时间自动机的映射规则将系统描述转换为对应的时间自动机,分别采用精化检验和模型检测两种技术验证Web服务组合的正确性;最后通过两个实例分析分别阐述了上述方法的可行性和有效性. 相似文献
7.
8.
基于Web服务的生物信息服务平台设计与实现 总被引:1,自引:0,他引:1
在各种生物信息学计算软件层出不穷的情况下,如何向生物科研人员提供方便实用的计算服务显得日益重要.本文以生物信息学计算为应用背景,提出了一种"Portal层-应用服务层-核心服务层-资源层"的四层体系结构,以Eclipse为主要开发工具,设计了一个基于Web服务的生物信息服务平台,并具体介绍了相应的实现机制. 相似文献
9.
讨论了Web服务提供方的安全问题,通过对Web服务调用方式的分析,为Web服务的提供方设计了安全模型.所设计的模型不依赖于服务提供方选用的安全策略,方便策略的更改和安全检查机制的更新.该模型同样适用于Web服务的需求方. 相似文献
10.
将MAS和Web技术应用于专家系统开发中,设计了基于Web服务的MAS专家系统的结构模型。提出用基于本体的描述逻辑来描述Agent服务,并设计与之相适应的Agent服务匹配算法。在多Agent协商中提出了一种冲突消解策略。 相似文献
11.
12.
语用Web服务在将来的网络服务管理研究中成为趋势.文中提出将语用Web服务作为网络服务的管理对象,研究语用Web服务管理与网络管理的融合等关键技术问题,开发出下一代互联网面向语用Web服务的网络管理系统. 相似文献
14.
为了提高以Web服务为基础的电子商务的安全性,提出了分布式信任和声誉模型.实施此模型只需对普通Web服务体系结构做功能扩充.通过改进信任和声誉初值的方法,使好的新注册Web服务获得机会.根据Web服务的服务情况,在不同阶段信任和声誉取值来源重点各不相同.在其他用户推荐时,考虑交易金额和时间因素,可以有效地抵御共谋团体的欺诈行为.仿真测试表明提出的信任和声誉模型能达到设计目的. 相似文献
15.
KIM Hyoungdo 《中国电子科技》2004,2(3)
While XML web services become recognized as a solution to business-to-business transactions, there are many problems that should be solved. For example, it is not easy to manipulate business documents of existing standards such as RosettaNet and UN/EDIFACT EDI, traditionally regarded as an important resource for managing B2B relationships. As a starting point for the complete implementation of B2B web services, this paper deals with how to support B2B business documents in XML web services. In the first phase, basic requirements for driving XML web services by business documents are introduced. As a solution, this paper presents how to express B2B business documents in WSDL, a core standard for XML web services. This kind of approach facilitates the reuse of existing business documents and enhances interoperability between implemented web services. Furthermore, it suggests how to link with other conceptual modeling frameworks such as ebXML/UMM, built on a rich heritage of electronic business experience. 相似文献
16.
随着网络上越来越多种类各异的Web服务,如何对其进行有效发现是实现动态Web服务组合的关键.本文研究了异构环境下服务发现语义信息的匹配问题,利用领域本体解决了异构数据的综合利用与共享,并通过实验表明了本文提出方法的有效性. 相似文献
17.
18.
Web应用能否成功,一定程度取决于其性能。如何改善网页性能已成为业内共同研究方向。针对影响Web系统前端性能的因素,从HTTP请求优化,网页元素优化两个方面,在不改变后台数据结构及网页本身的情况下,探索各因素的可优化性,从而提高Web系统性能。 相似文献
19.
针对运用单目标优化算法求解基于 QoS 的 Web 服务选择问题的不足,设计了一种新的 QoS 全局最优Web 服务选择算法.该算法同时优化组合服务的多维 QoS 属性的多个目标函数,并产生 QoS 全局最优的 Pareto 最优解集.首先建立服务选择问题的多目标优化数学模型,然后采用归档式多目标模拟退火设计该算法以优选 Web服务.实验结果表明了该算法是可行的,实现了全局 QoS 最优化的组合服务. 相似文献
20.
提供了一种基于无线网络性能数据的用户业务分类方法,同时提供完备的感知分析技术.通过研究各类应用的具体资源占用特征,研究人员设计出有效的业务类型区分方法;同时考察不同应用对各种KPI的敏感程度以制订准确的感知评估规则.经过大量测试验证,该方法具有分类评估准确,效率高,处理开销小等优点. 相似文献