首页 | 官方网站   微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 68 毫秒
1.
为使得组织之间的服务编排建立在严格的形式化基础之上,基于并发事物逻辑建立了服务编排的模型,给出了从服务编排描述语言WS-CDL到并发事物逻辑的转换规则.服务编排的并发事务逻辑模型建立在严格的形式化基础上,便于进行服务编排相关性质的验证.最后通过一个实际的服务编排在并发事务逻辑中建模的例子,说明了模型建立的可行性.  相似文献   

2.
测试集自动生成方法的研究是协议一致性测试领域中比较活跃的一个分支,提出了一种基于EBE模型,集成数据流和控制流测试的新的协议测试自动生成方法并给出了其实现TUGEN。EBE模型中对协议的外部行为进行描述,强调变迁之间的数据依赖性。在TUGEN中,我们引入控制流测试中的UIO序列算法和描述协议不确定性的AIO树的概念,运用协议约束集来灵活地控制自动生成过程中的协议空间搜索的复杂性,并采用测试集的验证  相似文献   

3.
一种面向终端用户的Web服务测试方法   总被引:1,自引:0,他引:1  
面向终端用户的Web服务(Web Service)测试,是保证Web服务软件系统质量的重要技术手段。文章提出了一种Web服务应用环境下的测试模型和测试覆盖指标,旨在针对Web服务与应用环境进行交互的方式,测试Web服务的操作调用序列,为终端用户提供一种高效验证Web服务行为的方法,以提高基于Web服务软件系统的可靠性;并给出了测试覆盖分析支持工具WSCoverageAnalyzer的设计结构;最后基于一个Web服务Seller的应用案例,说明了所提出的方法。  相似文献   

4.
为了解决BPEL语言对横切关注点建模的缺乏和动态演化方面的不足,提出一种基于策略方法实现Web服务事务管理机制的设计方案,把协调策略附加到BPEL伙伴链接和作用域上,在部署时对参与业务过程事务的伙伴服务支持的协调类型进行验证,保证业务过程需要的协调类型被参与者支持.同时,引入了面向方面编程(Aspect Oriented Programming,AOP)的思想,分离事务需求横切关注点,通过利用现有的支持动态织入的BPEL引擎等相关技术,使得事务管理需求能够在运行时动态地织入,并且能够在伙伴服务或者是业务过程改变时实现动态的修改.  相似文献   

5.
代码多样化消除规则的研究   总被引:3,自引:0,他引:3  
程序目标实现形式的多样化给代码的理解工作带来了许多困难,针对这种情况,提出了一系列代码多样化实现形式消除的规则.在系统依赖图(SDG)的基础上,应用这些规则实现了代码多样化的消除处理,并将这些规则应用到程序设计语言编程题自动评分系统中.  相似文献   

6.
CORBA中对象事务服务研究与实现   总被引:4,自引:2,他引:2  
介绍了事务概念及其原子性、一致性、隔离性、持久性,阐述了保证事务ACID属性的两阶段提交算法;对CORBA中对象事务服务框架进行了研究,通过对规范中各个对象及其接口的分析,论述了OTS面向对象的分布式事务处理机制;最后给出了服务中事务工厂、控制器、协调者、资源等对象基于可移植对象适配器的实现。  相似文献   

7.
语义Web服务发现研究与实现   总被引:1,自引:0,他引:1  
语义Web服务是在Web服务中加入语义元素,利用语义相关的技术给Web服务指定一个语义.语义Web服务可以实现Web服务的自动发现、执行和组合.阐述了语义Web服务和语义Web服务发现以及相关的技术,提出了一种语义Web服务发现框架,并利用标签语言描述本体和Web服务,设计了语义匹配算法,并在应用中实现了这种语义Web服务发现框架.  相似文献   

8.
为保证Web系统在需求范围内能正常运行,必须对Web系统进行负载测试.文中首先提出了一个负载测试的一般过程,然后采用了LoadRurmer测试工具对一Web系统进行测试,并对其测试结果进行了分析.  相似文献   

9.
网络改变了人们的生活方式,也成为了企业的第二营销战场。企业在享受便捷的网络办公效率的同时,也开始日益关注Web服务器的安全性。如何使企业Web服务器免受网络安全攻击的威胁成为近几年企业努力探索解决的重点研究课题。本文系统探讨了网络安全技术、Web服务安全目标、Web服务的各种攻击手段,并以实际配置某物流公司的Web服务器为例讨论Web服务的安全性。  相似文献   

10.
Web的个性化服务   总被引:2,自引:0,他引:2  
介绍了Web个性化服务的体系结构,包括用户信息收集模块、用户建模模块、个性化服务模块和用户等4个方面,探讨了建立个性化服务的关键技术,从个性化推荐、个性化信息检索、个性化网站3个方面研究了Web个性化服务的主要应用形式.  相似文献   

11.
基于Web服务的模型库系统的研究与实现   总被引:7,自引:0,他引:7  
分析了一种新的软件技术——Web服务,并将它应用于模型库系统的设计。提出了基于Web服务的模型表示方法,给出了基于UDDI的模型库管理系统的设计方法。最后将这个设计方法应用于实际,开发了企业综合模型库系统。  相似文献   

12.
web应用系统的使用与日俱增,web技术层出不穷,但是web应用系统的测试却是一个难点。提出一种基于控制流的测试方法,对web应用系统建立控制流模型,并给出形式化的定义,采用模型进行测试用例的产生,为了使测试自动化,并阐述脚本技术和测试执行器的设计。  相似文献   

13.
基于Web服务的WebGIS技术研究   总被引:4,自引:0,他引:4  
WebGIS是当前GIS应用领域的一个研究热点,WebGIS解决了传统桌面GIS应用的局限性,使GIS应用实现了真正的信息共享。其巨大的扩展空间以及跨越各种系统平台的能力,将使GIS的应用更为广泛。从当前WebGIS的应用现状出发,提出并探讨了一种基于Web服务和.net技术的WebGIS中间件技术框架,通过此框架可提供对外统一的GIS服务。对基于此框架的多层WebGIS模型进行了分析研究。  相似文献   

14.
Web服务现在正得到越来越多的应用,而安全问题是Web服务成功的关键所在。结合Web服务的基本组件和协议,分析了Web服务的安全问题,阐述了Web服务安全规范及其安全模型。  相似文献   

15.
针对现有web服务组合在可靠性和效率方面存在缺陷,提出了一种基于全局QoS和免疫粒子群算法的WEB服务组合优化的策略,给出了构建Web服务及选择最佳服务的方法,有效的克服了传统方法利用穷举计算及遗传算法解决此类问题的局限性,实验结果表明,该方法的服务组合时间短,且服务组合效率高,对解决WEB服务组合这样的NP难题具有非常好的效果。  相似文献   

16.
基于BPSO的web服务推荐策略   总被引:3,自引:0,他引:3  
为解决web服务的优化选择,提出一种基于离散二进制粒子群算法(binary particle swarm optimization,BPSO)的web服务推荐策略.用数学方法阐述基于服务质量(quality of service,QoS)的业务组合,将业务单元组合转换到服务组合,给出不同服务组合模式下的QoS属性值计算公式,提出web服务集和嵌套概念,对具有嵌套模式的服务组合进行逐一遍历.将基于QoS的web服务组合优化问题看成是多目标优化决策问题,提出基于BPSO的web服务组合优化数学模型,利用目标加权法简化多目标决策问题.对BPSO进行改进,构建了基于BPSO的web服务推荐仿真系统,仿真表明,该方法高效可行.  相似文献   

17.
语义Web服务匹配算法的研究   总被引:4,自引:0,他引:4  
Web服务为构建复杂信息系统提供了极具柔性的模式,但是Web服务通常发布到一个集中式的注册中心,而且只是依靠关键字而不是信息内容进行服务的查询,这样容易造成单点错误和形成回络瓶颈。作者提出一种分布式UDDI注册库网络模型,并在此基础上提出一种基于语义的两层服务匹配算法。性能分析表明,匹配的精度和深度有所提高。  相似文献   

18.
Web挖掘是数据挖掘的新方向之一,其应用领域非常广泛。将基于商务网站的Web数据挖掘工具应用于网站的客户关系管理中,可发现许多客户获取、客户保持等方面的有用信息,有效地使用这些信息可促进商务网站的发展。  相似文献   

19.
基于Web Service的系统集成技术应用研究   总被引:1,自引:0,他引:1  
Web Service是Internet上新兴的应用通信和集成技术,本文介绍了Web Service技术的相关概念,阐明了基于Web Service的系统集成技术的优势和特点,并通过教务管理平台实例研究基于Web Service的系统集成技术在实际中的应用.  相似文献   

20.
基于Web的数据挖掘   总被引:4,自引:1,他引:4  
万维网的出现使计算机拥有海量的信息资源,而其中蕴含的知识却未能得到充分的应用,为此Web挖掘技术成为一项重要的研究课题.在深入分析Web上数据信息的特点基础上,着重从功能的角度给出一种用于Web数据挖掘的过程框架,并介绍了伴随数据挖掘的进行,相应的数据信息从web数据到知识模式的演进过程.利用这些Wed挖掘技术可有效挖掘信息.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号

京公网安备 11010802026262号