基于Pi演算的Web服务组合过程框架

文章从Web服务的编排、验证、部署角度提出了基于Pi演算的Web服务组合过程框架,说明了这个框架中每一步骤涉及的理论和工具应用。并在现有研究的基础上,针对框架中人工参与较多形式化验证环节提出了其向自动化、可视化方向发展的改进方法。     

GBPEL:一种合成网格服务和Web服务的工作流语言

网格工作流是实现网格计算的一种重要的中问件,与传统的工作流相比,网格工作流有自己新的特征。论文分析了网格服务和网格应用的新特性,对工作流描述语言BPEL4WS进行扩充和修改,提出了一种网格工作流描述语言GBPEL。     

基于动作时序逻辑的Web服务组合

为了更有效地实现Web服务组合,提出一种使用动作时序逻辑TLA(Temporal Logic of Actions)进行Web服务组合的方法.Web服务组合与工作流有着共同特征,首先根据工作流的基本控制模式,将服务之间的关系用TLA进行描述,然后提出了基于图的宽度优先搜索的Web服务自动组合算法,并采用TLA模型检验器TLC验证组合逻辑的正确性以及是否存在死锁问题,最后给出了现有的Web服务组合平台BPEL4WS向TLA转化的方法.     

组合Web服务的分散协调模式

本文针对组合Web服务的集中协调模式的弊端，分析了组合Web服务的分散协调模式的优点，并结合在BPWS4J运行环境下的具体例子，讨论分析了分散模式下系统构造期和运行时所面临的问题及解决方案。     

Web服务组合执行引擎中服务异步调用机制研究*

研究了BPEL4WS执行引擎WebJetFlow对Web服务的异步调用机制,在引擎的服务调用代理中对Web服务统一采用非阻塞双传输异步调用,提高了调用线程的利用率。同时引入了cache机制并设计了相应的cache替换算法,保证了引擎对异步调用结果消息的匹配效率以及数据安全性, 通过实验验证引擎的性能有了明显的提高。     

基于Web服务的动态工作流引擎的研究

对Web服务目前的新特征和新问题进行分析。并在此基础上从面向业务的角度对基于Web服务的动态工作流进行了探计。介绍一种基于Web服务的语言，协议一BPEL4WS，并以该标准为基础提出一种动态工作流引擎的榘构设计方案。     

Web服务组合在网络管理中的应用探究

随着网络规模的扩大,网络管理人员希望得到越来越高的网管信息集成度.Web服务(Web Service)是近几年出现的新技术.在本论文中,我们展示了Web Service技术除了可以作为网管协议和Web service协议之间的桥梁之外,还可以通过与SNMP协议等的紧密结合,为网络管理提供功能强大的工具.本文探讨了将Web服务组合(WebService composition)应用到网络管理上的可能性.例如从多个不同的设备之间获得信息并将其进行集成,及在管理端为使用者提供一个简单和快速的获取网管信息的界面.通过使用合适的工具,不仅可以在网络管理方面使用Web服务组合,而且Web服务组合还可以和现有的传统管理技术很好地共存,最大限度地保护已有的投资.     

基于类pi演算的电子支付协议安全性形式化研究

设计一个满足安全需求的协议非常困难,并且极易出错,因此利用形式化方法来检验安全协议引起了人们极大的关注。使用了类pi演算来验证电子支付协议的认证性和匿名性。     

基于π演算的BPEL组合服务的形式化描述及验证

BPEL是实现SOA组合服务和服务编制的重要技术.重点论述了π演算的语法定义和П演算建模Web服务的算法,然后以一个典型的银行借贷服务系统为例,利用π演算进行了形式化描述和验证.     

Web Services合成方案向BPEL4WS的自动转换

合成方案自动转换为BPEL4WS模块是Web Services实时动态语义合成系统SASO的核心组成部分。该文使用DAG作为Web Services合成方案的表示方法;在此基础上提出了WTOP自动转换算法,通过运行时代码动态生成的方法,实现从DAG到BPEL4WS的自动转换。     

基于PDG图的分布式动态可执行服务组合方法

组合服务是将一系列Web服务协调地组合在一起,从而完成预期目标。组合服务按照其引擎分布可分为:集中式服务组合和分布式服务组合。分布式组合服务可以有效地解决集中式组合服务在系统可伸缩性、消息传输效率、自治性和有效负载均衡等方面的问题,将可执行全局流程等价分解成可执行本地流程,以及将服务组合和负载均衡结合集群概念,研究服务组合的QOS。这些将成为新的挑战,文中通过PDG图进行等价分解,并结合QOS,通过实验测试引擎负载,提出将负载均衡融入服务组合QOS研究思想。     

基于BPEL4WS的Web服务合成

在介绍了BPEL4WS的基本概念、特点及服务合成基本组成的基础上,利用BPEL4WS构建了一个虚拟第三方物流的Web服务合成系统.模型,并给出了该模型的控制流程和核心部分的代码.     

用于科技基础条件平台的服务合成研究与应用

Web服务之间的交互是面向服务的体系结构（Service-Oriented Archimcmre,SOA,也称为面向服务架构）中的关键问题。单个Web服务提供的功能往往不能完全满足用户的实际需求．将多个Web服务进行合成实现功能更为强大的服务是SOA必须要解决的问题之一。分析了Web服务合成的研究现状,介绍了Web服务合成方式的分类和商业流程执行语言BPEL4WS,给出了“科技基础条件平台应用服务支撑系统”项目中SOA的设计方案．描述了Web服务合成的关键步骤。该研究成果成功地应用于科技基础条件平台应用服务集成之中,并已通过科技部的前期验收     

多输出Web Services合成方案向BPELWS转换的研究

针对巨大数量的、多输出的Web Services,找到合适的解决方案。使用产生式建模,避免对合成方案的再优化;利用高效率的参数级本体消除合成语义冲突,然后使用无回溯反向链算法进行合成;再通过WSTC自动转换算法,把合成方案转换为BPEL4WS,最终得到一个满足需求的新Web Services。     

基于Web服务的虚拟企业协同计划调度系统研究*

虚拟企业由于其成员企业的分散性及组织形式的松散性,协同计划与调度系统对于企业成员之间的有效的计划协调意义重大。分析了虚拟企业中对于协同计划调度的需求,参照PSLX框架和BPEL4WS规范提出了基于Web服务的协同计划调度系统体系结构与实现方案。     

基于细胞膜演算的Web服务事务处理形式化描述与验证

采用细胞膜演算具体分析了当前比较主流的Web服务中原子事务协调协议WS-AT．针对WS-AT协议采用简单的状态转换表和转换图,无法描述协调者和多个参与者的复杂协调活动,采用细胞膜演算给出了其形式化描述,用于规范协调者和参与者的活动,并分析了该协议的活性和安全性,得到了38187个状态．模型检验的实验结果表明,该协议满足稳定性、一致性和非平凡性,而不满足非阻塞性．进而,分析出注册和协调协议混在一起是其不满足非阻塞性的原因．     

Fault Prediction and Compensation Functions in a Diagnostic Knowledge-Based System for Hydraulic Systems

Fault prediction and fault compensation are beneficial for the production technology and give a new dimension to fault diagnosis in technical systems. The overall goal of this paper is the presentation of fault prediction and fault compensation procedures as they are studied, implemented and embedded in a real time expert system. This expert system detects and diagnoses faults in hydraulic systems. For this purpose dynamic modelling information, on-line sensor information, special features of the domain of hydraulic systems and expert systems technology are used co-operatively.