基于OWL-S的Web服务组合的验证研究

为保证基于OWL-S的Web服务组合的正确性和可靠性，验证组合服务的交互协议．采用一种三层体系结构思想，即以OWLS来组合服务，以GA模型为中间模型，以Promela模型为验证模型．设计和实现了服务组合模型到GA模型的转化，并将GA模型转化为Promela模型，最后利用SPIN工具完成验证。由于采用了中间模型．该方法具有极好的灵活性和可扩展性，并且较好地解决了Web服务的特征给模型验证带来挑战的问题。     

Web服务组合分布式协调模型研究

Web服务环境下的B2B交互需要事务机制来保证其可靠性。尽管目前业界已存在许多Web服务组合模型和描述语言，但对事务处理的支持还不够。文章通过分析Web服务组合中的事务处理需求．扩展WSBPEL的事务处理能力以支持流程的分布式协调，并实现了Web服务组合分布式协调原型系统，最后通过一个应用场景提出基于WSBPEL的分布式协调模型并进行了分析．     

基于扩展自动机的服务组合静态与动态验证方法

针对目前Web服务组合研究中缺少对定量属性的验证以及在服务运行过程中缺乏对出现异常时的故障处理等问题,提出了一种基于扩展有限自动机的Web服务组合静态与动态验证方法。该方法首先对有限自动机进行扩展,建立了一个可以描述数据及时间等信息的Web服务组合形式化模型;基于该模型,采用计算树逻辑(CTL)描述相关属性,并利用模型检测工具UPPAAL对Web服务组合的行为属性、时间属性以及数据属性等进行了验证;最后结合所建立的诊断模型,给出了一种能够对Web服务组合运行过程中出现异常时进行有效处理的错误诊断算法。     

基于本体的Web服务行为语义建模方法

提出一种基于本体的Web服务的服务行为语义建模方法,对于Web服务提供的服务行为、用户预期的服务行为、以及服务组合的交互行为之间的一致性关系进行了语义建模,构建了判断Web服务提供的服务行为是否符合用户预期的本体描述和语义计算模型,利用现有Web服务样本进行实验验证并给出性能分析.     

基于服务计算的服务组合研究

通过分析现有Web服务组合系统的组合方式及特点,将服务计算引入到Web服务组合领域,提出了基于服务计算的Web服务组合系统方法,设计了基于服务计算的服务组合模型。通过松散耦合的服务组合模型来实现Web服务组合,可为服务消费者提供一个适当的、开放的、按需配置的安全的Web服务组合环境。     

基于Axis的Web服务身份验证策略管理

Web服务身份验证策略是Web服务安全的重要组成部分。针对当前Web服务身份验证策略管理、部署中策略交互协调的问题,提出根据客户端安全级别进行Web服务身份验证策略管理,同时提出方法以动态协调当前服务策略。验证策略查询服务作为策略选择的核心部分,为客户端和服务器端提供策略查询以实现动态调用相应的策略。根据这一方法,基于J2EE的相关技术,实现在Axis上的验证策略管理。并且支持动态策略的部署,增加了系统的灵活性和扩展性。     

P2P网络管理系统信息模型的设计与实现

为满足基于P2P的网络管理体系结构中管理节点间的协作需求,提出了一种基于语义Web服务和XML的网络管理信息模型.利用P2P通信和语义Web服务,可实现网管服务的分布式注册,服务的统一描述和基于能力的服务检索;利用XML来制订网络管理服务调用的标准,可以实现服务的跨域自动调用.原型实现和运行测试表明,利用提出的模型框架,异构网络管理系统可以通过节点间的服务调用和信息共享实现管理任务的协作.     

时间感知Web服务交互行为建模与失配检测方法研究

针对现有Web服务组合过程中存在时间感知力弱、服务利用率低、组合可靠性差等问题,通过将定量时间属性引入Web服务交互适配框架中,研究时间感知Web服务交互行为的形式化建模与交互行为失配的自动检测问题.提出了用于表达单个时间感知Web服务交互行为的时间服务协议(TSP)模型和用于表达多个时间感知Web服务并发组合的时间服...     

基于Sub Web Service服务组合方法

在当前Web服务动态组合研究的基础上,提出了一种基于Sub Web Service的混合Web服务组合方法。结合静态与动态服务组合方法,将动态生成的服务组合计划描述保存在缓冲池中,当用户使用该组合服务时,系统将会在缓冲池中搜寻此服务组合,并为请求调用它。在组合算法中提出了基于Sub Web Service的组合算法,将多输入多输出的Web服务分解为多输入单输出的Sub Web服务执行服务组合。在避免重复动态组合服务的基础上,减轻了Web服务在组合过程中对多输出接口的依赖性,提高了系统服务效率。     

基于Web服务的经销商数据交互平台应用研究

本文在了解江淮汽车股份有摘限公司乘用车营销体系信息化现要状的基础上,提出了一个基于Web服务的经销商管理系统数据交互平台架构,有效解决数据共享及未来系统集成和扩展问题,并通过了模拟客户端的远程调用来验证了该平台的合理性和有效性。     

光业务管理是提供多级别城域网业务的关键

随着电信业的发展，传统的运营商和下一代业务提供商为了获得更多的收入而展开了更激烈的竞争。竞争的加剧又促成了新的业务模型的产生，这些新的模型能使运营商通过降低网络成本将其自身与竞争对手区分开来。未来的业务能力将包括按需分配带宽、基于用户的配置、基于使用的计费以及企业网和专用网的线路外租等等。现在标准组织和系统厂商已经将重点放在了窄带和宽带网络基础设施与下一代互连模型的融合上。尽管这样的技术对于业务提供商实现他们的业务和收入目标是十分必要的，但是，这些技术已经不能再为业务提供商和系统厂商提供足够的竞…     

Analysis of service extensible capability for extensible network service model

The capability of providing network service extensibility is the major demand of next generation network,it is also the main challenge of network service model technology.The extensible network service model was proposed in response to the demand of network development.Firstly,an overview of the basic principles of the extensible network service model was expounded.And then,from the point of view of principle analysis,the service extension capability of the service model was qualitatively analyzed.Finally,using the analytic method of network service extensible capability,the service extension capability of the service model was quantitative analyzed from two perspectives of theory and practical application.The qualitative analysis and the quantitative analysis show that the extensible network service model has strong service extensible capability.     

云服务如何纳入电信业务分类管理

目前,人们对云服务的性质存在争论。但从典型云服务的性质、提供方式、服务对象,以及所涉设施等方面看,其具有的宽带网络接入、按需服务、资源共享、快速弹性、服务可测量五大特征,决定了云服务天然具有网络和信息服务的各种特性。因此,未来云服务将会视其不同情况,被纳入电信业务分类管理。而电信业务分类目录也将会针对云服务进行     

安全服务,峥嵘初现——中国信息安全服务市场扫描

安全服务布场，在“其兴也忽其亡也忽”的互联网信息时代。究竟能否傲雪凌风，红梅独树？本刊记者走访了业内10余家厂商，与CEO们“大话服务”，作者并作了“围城”新论“鞋带与桃子”的综述……     

业务光网络中光服务等级协定的研究

从业务光网络的角度对比服务等级协定(SLA)定义了光服务等级协定(O-SLA)的框架结构,在此基础上重点分析了O-SLA协商机制并提出一种动态协商的概念,对动态协商机制的实现流程进行了分析研究.随后总结了O-SLA得以有效实施的关键技术,并提出一种支持区分服务的O-SLA实施流程,此流程对于向端用户提供可定制化的光层业务提供了一种新思路.     

Broadband service needs

Broadband services are examined from both residential- and business-user aspects, and trends and needs in both areas are identified. The rapid progress in broadband standards development is briefly discussed. A first application of broadband technology to the residence and a future all-fiber network architecture are described     

客户化的信息安全服务

随着互联网络的普及发展,政治、经济、军事、文化、科技和教育等社会各领域面临的威胁风险日益增多,对安全的需求越来越迫切。网络安全、信息安全已经成为保障机构安全乃至国家安全、社会安全的关键。在政府部门、科研机构、相关厂商和媒体的大力推动下,信息安全迅速全面升温,安全观念正逐渐深入人心,各个政府部门、科研机构、企事业单位纷纷加大了信息安全研发、建设、实施力度。从信息安全的内涵来看,信息安全是一个安全保障的概念。随着Internet的进一步普及和发展,它在社会生活中的地位日益提升,所面临的威胁也越来越多,原来单纯的网络…