基于Pi-演算的Web服务组合的描述和验证

形式化方法对于建模和验证软件系统是一种有效的方法,所以对Web服务的形式化描述和验证是一个重要的研究方向．对于Web服务及其组合来说,保证其组合正确性以实现其服务增值是十分必要的．Pi-演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模．该文基于Pi-演算对Web服务及其组合进行形式化描述和建模．文中说明了Pi-演算与以前形式化方法的不同之处,分析了Pi-演算应用于Web服务组合需要解决的问题．讨论了Pi-演算与Web服务协议栈的对应关系,说明了利用Pi-演算建立Web服务组合模型的规则,指出了如何寻找代理和通道．最后建立了一个实际的模型,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证．     

基于移动Agent的Web服务系统模型研究与构建

随着电子商务应用的不断发展,对于基于Web的网络服务的要求不断增强。在分析了Web服务现状的基础上,指出了其存在的不足,并阐述了移动Agent节约网络带宽、负载均衡、并行计算等方面的应用优势,结合这些优势,给出了一个基于移动Agent的Web服务系统框架模型。该模型通过可信Web服务中心监管Agent及其宿主的行为,从而在一定程度上解决了Web服务以及移动Agent的安全问题,从而建立了一个安全、可靠的基于移动Agent的Web服务系统,并对解决移动Agent的安全问题作了有益的探讨。     

基于移动Agent的Web服务系统模型研究与构建

随着电子商务应用的不断发展,对于基于Web的网络服务的要求不断增强.在分析了Web服务现状的基础上,指出了其存在的不足,并阐述了移动Agent节约网络带宽、负载均衡、并行计算等方面的应用优势,结合这些优势,给出了一个基于移动Agent的Web服务系统框架模型.该模型通过可信Web服务中心监管Agent及其宿主的行为,从而在一定程度上解决了Web服务以及移动Agent的安全问题,从而建立了一个安全、可靠的基于移动Agent的Web服务系统,并对解决移动Agent的安全问题作了有益的探讨.     

面向应用的Web服务组合设计和验证框架

针对Web服务组合设计规范缺乏形式化的语义和验证方法的问题,提出了一个自顶向下的Web服务设计和验证的框架-iFrame4WS。在iFrame4WS中,将Web服务组合的设计方案划分为描述层、抽象层和执行层,并通过抽象层的形式化模型和形式化验证来检查Web服务组合的正确性。     

基于Pi-演算的服务组合正确性验证

对于Web服务及其组合而言,保证其正确性并实现增值服务是十分必要的。Pi-演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。通过建立一个实际的模型,用Pi-演算对Web服务及其组合进行建模,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证。     

一种基于认知模型检测的Web服务组合验证方法

近几年Web服务组合的形式化验证逐渐成为研究热点.模型检测作为形式化验证的一种主流技术,可以克服传统软件测试用例生成不完备的不足,同时具有验证自动化的优点.该文提出并实现了一种Web服务组合的认知模型检测方法,将Web服务组合建模为多主体系统,在分析BPEL语言控制流程基础上,提出BPEL活动的形式化模型,给出活动执行...     

面向移动云服务系统的形式化语义描述方法

针对移动云服务系统构建过程中架构设计和语义描述等方面存在的问题,以类型范畴理论为基础,为基于Agent的移动云服务系统建立了一种形式化语义描述模型。Agent作为范畴理论中的对象结点,Agent之间的交互和依赖关系作为态射,将整个云服务系统描述为一个类型范畴图表。在此基础上,对Agent交互与协作、架构设计与精化、Agent迁移、Agent可替代性以及应用请求的可满足性等进行了分析和讨论。该形式化模型增强了系统架构的语义描述能力,有助于对移动云服务系统的规约进行分析和验证。     

基于上下文感知进程网络的Web服务组合方法

针对Web服务组合的个性化问题,提出一种基于上下文感知进程网络的Web服务组合方法,支持上下文感知组合系统的高层建模与系统的底层实现。采用CCS进程代数和标签转换系统,描述上下文感知组合模型的形式化语义,给出上下文感知系统模型的实现框架。分析结果证明了该组合方法的可行性。     

基于网格的面向Agent形式化建模框架

提出了一种基于OGSA（open grid services architecture）网格体系结构的面向Agent形式化建模框架——AOMG（agent-oriented modeling based on grid）形式化框架,该框架基于Object-Z语言,吸收了Ⅰ^＊框架和UML中的部分元模型,加入了对Agent与网格环境之间交互关系的描述,以及对Agent服务属性的处理,从而解决了现有方法无法对基于网格环境的分布式系统进行分析与设计建模的问题．给出了AOMG形式化框架中的3类核心模型：组织模型、Agent类模型和Agent服务模型．提供了一组新颖的从组织模型到Agent类模型的形式化语义映射规则,实现了系统模型从Agent抽象层次到对象层次的快速转换．     

语义Web服务组合的形式化描述与验证研究

Web服务组合是Web服务的主要研究方向之一,对语义Web服务组合进行形式化描述并进行分析和验证是组合服务正确运行的保证.本文首先给出了基于有色Petri网的语义Web服务形式化模型,形式化描述了OWL-S的ServiceModel中8种基本的Web服务组合模式,利用这些组合模式可以构造出满足需求的组合Web服务.然后,对服务组合形式化模型的正确性分析和验证进行研究后,给出了组合模型语法正确性、可达性、活性和有界性的算法.最后,通过一个具体的建模实例展示了Web服务组合的Petri网建模.     

基于Pi-演算的Web服务形式化描述模型*

当前对Web服务进行形式化描述的方法多是基于对某个具体Web服务组合规范的抽象,无法兼顾基于全局和局部的设计方法,并且无法描述Web服务组合的体系结构的动态性。本文在对现有的Web服务形式化描述方法进行回顾和总结的基础上,基于Pi-演算建立了Web服务形式化描述模型,将BPEL4WS规范和WS-CDL规范的重要行为在模型中做了映射。最后通过例子说明,基于局部和全局的设计方法在本文提出的模型中的映射是一致的。本文提出的描述模型直接用来进行Web服务组合的设计时,可以更好的描述动态的体系结构。     

基于信令数据分离的服务合成技术研究

针对服务编制与服务编排这两种主流合成方式的优缺点,提出了基于信令数据分离的服务合成技术,结合服务编制和服务编排的优点,通过部署分布式的服务代理,将服务实体数据与传输控制信令分离。从而有效缓解大数据量系统瓶颈问题。     

Using Pi-calculus to Model Dynamic Web Services Composition Based on the Authority Model

There are numerous research articles on web service, composition, modeling, verification, and other problems. These research works are performed on the basis of formal methods, such as petri-net, pi-calculus, automata theory, and so on. Pi-calculus is a natural vehicle to model the mobility aspect in dynamic web services composition (DWSC). However, it has recently been shown that pi-calculus needs to be extended suitably to specify and verify DWSC. In this article, we consider the authority model for DWSC, extend pi-calculus in order to model dynamic attributes of system, and propose a automatic method for modeling DWSC based on extended pi-calculus.     

基于分布感知的Web服务组合方法研究

提出了一种分布感知的Web 服务组合方法。移动Agent代理Web 服务,构成一个自治的感知单元,移动Agent通过语义的协商确认匹配关系,Web 服务组合可以通过移动Agent的演化完成。常见的遗传组合算法存在着复杂路径表示和罚函数难于确定的局限性,采用感知基础上的服务关系矩阵和服务相对质量的矩阵,最优服务组合的建立转化为带约束的最优化问题,并给出不带参数的罚函数动态演化算法解决方案,仿真表明这种方法可以提高适应度和性能。     

基于移动Agent的移动办公系统模拟

伴随网络的快速发展,移动办公已经成为企业提高工作效率的重要手段。移动Agent技术作为人工智能和网络技术结合的一种新兴分布式计算技术,在解决大型分布式系统问题上具有很强的适应性和优势,非常适合作为移动办公的解决方案。在分析移动办公特点和传统移动办公解决方案优缺点的基础上,结合Web Service技术提出了一个移动Agent系统模型,并进一步提出了移动Agent的结构模型,给出了系统中Agent与Web Service通信的实现办法。系统在IBMAglet平台下仿真实现,文章的最后对该系统进行了相关分析。     

Globally optimal selection of web composite services based on univariate marginal distribution algorithm

Quality of service (QoS) model of composite services and web service selection based on QoS are currently the hot issues in the web service composition area. Service selection based on QoS, which is a globally optimal selection issue, is a NP-hard problem. Taking engine into consideration, this paper develops a QoS model for service selection in the web composite services. We use the algorithm on the estimation of distribution to solve the NP-hard problem of service selection and present a web service selection method based on the univariate marginal distribution algorithm (UMDA). Simulation analysis and experimental study based on the UMDA method are carried out. It is proved that the method is effective in solving the NP-hard problem.     

基于可信QoS的路径查找及负载均衡策略研究

Web服务是云计算中资源调用的有效方式。单一Web服务功能往往有限,只能完成特定任务。服务组合则可以将多种Web服务形成有效的调用序列,实现更为强大的功能。服务发布量以及服务请求量的迅速激增带来了新的安全问题。首先,现有的服务组合方案均以服务质量(QoS)为依据进行Web服务选择,但服务质量通常由服务发布者提供,存在服务发布者发布虚假QoS值诱骗用户的欺诈现象;其次,传统的服务组合方案只生成一条最优路径,当恶意请求持续访问时,会造成某服务节点瘫痪,甚至整个服务组合系统失效。因此,针对服务质量恶意欺诈的问题,文章提出一种可信的QoS计算模型,根据Web服务发布者的信用综合评估服务质量;针对单一最优路径无法满足大量请求的问题,文章提出一种路径发现和负载均衡的多路径方法。仿真结果表明,文章提出的方法不仅能提高服务组合的成功率,满足用户的需求,而且能找到更多的服务组合方案执行。     

基于SRP协议的Web服务移动agent访问控制研究*

针对Web服务安全问题中的访问控制,提出将移动agent引入Web服务的安全访问控制模型,基于SRP协议对Web服务附加了一个独立的访问控制代理层,实现了基于移动agent的Web服务访问控制模型,并对控制流程进行了描述。