共查询到20条相似文献,搜索用时 15 毫秒
1.
2.
3.
4.
《电脑编程技巧与维护》2001,(3):41-41
近期,国内最大的网站服务提供商中国万网在成功采用即NETSCAPE提出的安全数据传输议——SSL(Secure Socket Layer)协议的同时,又斥巨资引进了专用的SSL加速设备——Intel网擎电子商务加速器,既保证了Internet数据传输的安全,又切实为人们访问其服务的网站实现了“提速”。 Internet是世界上最庞大的计算机网络,并且每天仍在飞速的增长。网络拉近了人们的距离,改变了人们的生活,给人类带来了又一次的飞跃。然而人们在享受网络带来的便利的同时,也同样面临网络带来的威胁,特别是由于电子商务的 相似文献
5.
7.
8.
基于面向对象Petri网的Web服务合成 总被引:5,自引:0,他引:5
主要讨论了基于面向对象Petri网的Web服务合成技术。利用此技术,不仅可以精确描述Web服务与合成运算的形式化语义,还可以建立合成Web服务的控制流模型。研究了Web服务组件与OOPN(面向对象Petri网)元素之间的映射关系,讨论了基于OOPN的Web服务合成的各种运算,并给出了建模步骤。最后结合应用实例进一步验证了本文的工作。 相似文献
9.
语义网服务中的本体综述 总被引:4,自引:2,他引:2
作为实现下一代Web的集成方案,语义网服务将语义Web技术和Web服务技术相结合,以支持Web服务的自动发现、选择、合成和执行.本体是语义网服务的理论基础.介绍了Web资源描述本体OWL和Web服务描述本体的概况,并对3种主流的Web服务语义描述框架进行对比分析,为语义网服务中本体的创建提供基础知识.研究了语义网服务中存在的各层次的本体异构问题,明确了语义网服务中本体集成的主要研究方向. 相似文献
10.
为了确保组合Web服务执行的可靠性,提出了基于Reference nets的Web服务组合方法。精确描述了Web服务的形式化语义,使用该方法对组合Web服务控制流的八种基本结构建立模型,并给出了建模步骤。结合应用实例使用Renew2.0.1建立组合服务模型并进行仿真,进一步验证了该方法的有效性。 相似文献
11.
基于Petri网的Web服务组合建模 总被引:1,自引:1,他引:1
针对Web服务组合流程进行建模,可以实现可靠的服务组合。文中首先提出了一种基于Petri网理论的Web服务组合建模方法,对服务组合进行形式化建模,然后通过分析Web服务网的可迭性和活性对Web服务组合进行验证,最后举例说明此方法的应用。 相似文献
12.
通过Web服务构建复杂应用存在的问题是:Web服务是无状态操作,所以只能提供相对较小的原子应用。但Web服务是可以集成的,这是它的一个重要特征。因此,可以通过原有web服务的组合构成新的更复杂、功能更强大的Web服务。Peri网理论作为组合Web服务的一个主要机制,可以用来快速创建功能更强大的Web服务。该文围绕Petri网理论在web服务组合中的应用,研究如何基于Petri内构建web服务动态组合的模型,从而实现web服务的集成。 相似文献
13.
大家在上网时如果看到一些精彩的网址,一般都想转发给他人分享。可是,如果网址过长,转发起来时就非常不便。为此,网上开始出现了一种缩短网址的服务。顾名思义,网址缩短服务是指把过于长的超链接地址进行缩短,让用户不必牢记太长的网址。 相似文献
14.
针对现有的组件服务发现方法存在自动识别率和重复使用率低下的问题,文中首先利用Petri网理论设计了一种自动组件服务发现框架,用于支持组件服务的发现及复用;在此基础上提出了时序Petri网服务模型(TPNSM);通过借鉴Petri网中关联矩阵的概念,将组件服务间的邻接关系映射为矩阵,通过邻接关联矩阵给出相似度计算方法;最后,提出了基于Petri网的组件服务发现方法。通过将文中方法与现有服务发现方法进行仿真对比实验,结果表明该方法能根据用户需求快速响应,在组件服务发现方面具有更好的查全率与查准率。 相似文献
15.
中小企业互联网服务市场经过2002年的平稳发展,2003年初以四大门户为首的各大服务商已开始新的备战计划,产品战、价格战、促销战、渠道争夺战将在今年轰轰烈烈的上演,而中小企业用户将成为最大的受益者。 相似文献
16.
语义网服务中的本体集成框架 总被引:1,自引:0,他引:1
分析语义网服务中存在的各种本体异构,明确语义网服务中本体集成的主要研究方向.在此基础上,提出一个语义网服务模型下的本体集成框架,讨论其中数据层中介器和Web服务中介器的结构并阐明其工作机制,为全面解决语义网服务环境下的本体集成问题提供了一种新的思路. 相似文献
17.
CORBA为构建大规模分布式应用程序提供了一套公共对象服务规范.本文利用Petri网模型可表现系统分布、并发、异步等特性来描述CORBA事件服务,不仅能反映CORBA事件服务的静态行为,也反映其动态行为,为CORBA事件服务建立了形式化的模型. 相似文献
18.
19.
服务网格中的事务服务及基于Petri网的正确性分析 总被引:5,自引:2,他引:5
面向服务的架构(SOA)推动着网格技术从科学计算走向商业领域,大部分商业应用需要事务的支持.该文提出了服务网格环境下用于事务管理的网格事务服务,它能够动态地发现执行子事务的网格服务;根据事务类型调用原子事务或聚合事务协调算法以保证这些服务在行动上实现期望的一致性.通过Petri网分析技术,将两种协调算法模型化为Petri网并验证了它们的正确性.网格事务服务可以提供较强的事务管理能力并将复杂的处理过程对用户透明,为网格技术的商业化提供了有效的支持. 相似文献