类型化Pi演算在Web服务组合中的应用

通过集成Pi演算和Z语言两种形式化技术及其在Web服务组合中应用,对Web服务进行描述,Pi演算在描述Web服务具有相当的优势,但其在数据定义和操作描述方面有一定的不足.通过集成Z语言,利用其在数据类型的检测和定义,以及操作定义的精确性等优势, 弥补了Pi演算在Web服务描述过程中的不足.     

基于Pi演算有QoS保证的Web服务自适应组合方法

一直以来,Web服务组合是Web研究领域的重点,而Web服务组合能否正确的执行是该领域的热点问题。本文对web服务及其组合进行Pi-演算的形式化描述,从Web服务的可替换性入手,提出基于扩展Pi演算的有QoS保证的Web服务自适应组合方法。最后。时Web服务动态组合算法进行了验证,实验表明,该算法可以在有QoS保证的条件下,动态的进行Web服务的组合。     

基于Pi演算的人工神经网络模型

人工神经网络是一种重要的人工智能实现方法,但是目前人工神经网络缺乏通用的数学模型,用来模拟各种结构的神经网络.然而形式化方法对于建模和验证系统是一种有效的方法,所以对人工神经网络的形式化描述和验证是一个重要的研究方向.Pi演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模,因此Pi演算和人工神经网络的基础都是并发计算.在这个基础上,首先通过Pi演算建模人工神经网络,证明了它们之间的等价性,然后设计了基于Pi演算的人工神经网络分类器.最后,讨论了这个模型的优越性.     

多Agent协同系统的Pi演算建模方法

MAS因自治性、反应性等特性适用于复杂的分布式系统,为了分析、模拟Agent的并发交互过程并设计出合理的MAS,应用了形式化方法Pi演算进行建模． 首先介绍了多Agent协同系统中Agent之间的广播、中介和代理3种通信模型, 然后给出了Agent之间交互模式的Pi演算建模方法． 再以家庭物联网系统作为多Agent协作实例, 应用Pi演算对其建模, 模拟多个Agent协作过程中的通信． 最后, 采用移动工作台对模型的语义进行了验证, 表明了Pi演算对MAS建模的适用性．     

基于Pi演算的前沿调度算法并行性建模及实现

前沿调度算法是分布式环境下任务调度算法——关系演化算法的第一阶段。本文利用Pi演算的通道和表编程概念,提出对前沿调度算法并行性建模,并通过Pict语言编程实现。实验证明这种算法实现比传统的C语言实现更加高效,从而能够将Pi演算应用到关系演化算法的三个阶段中,提高关系演化调度算法的效率。本文通过对不同类型的任务调度模型的拓扑结构进行建模对比,验证了使用并行性的Pi演算对前沿调度算法实现的效率的优越性。     

基于应用Pi演算的WTLS握手协议建模与分析

针对WTLS握手协议中的特殊密码原语,用等值理论定义了椭圆曲线DH密钥交换原语,用可信机构颁发数字证书的方式定义了数字证书原语。并在密码原语定义的基础上建立了WTLS握手协议的形式化模型,最后用Pro Verif工具分析了协议的秘密性和认证性。结果表明WTLS握手协议满足其安全性说明。     

应用Pi 演算描述工作流高级模式

分析了对工作流进行形式化建模的意义,应用Pi演算对工作流高级模式进行了形式化描述。在深入研究工作流过程基本结构特征与Pi演算基本理论的基础上,提出了一种语义清晰的描述方法,该方法相比以前的方法可以更好地描述工作流的动态改变,为进一步形式化分析、描述工作流奠定了基础。最后以旅游预订业务系统为实例进行了业务过程建模。     

基于PI-演算的移动通信过程建模

针对现今移动通信中不同SP提供的业务无法互通的弊端,提出了用Web Service的思想来改进移动通信服务的方法。该方法主要以Internet为发展平台,把通信过程封装成多个Web Service,并用PI-演算来描述这些Web Service及服务组合,使每个通信过程的实现都是调用相关Web Service或Web Service组合。最后通过4个具体的实例说明了在移动通信过程中如何用PI-演算来建模Web Service。     

基于着色Petri网的Web服务组合建模

用经典Petri网对Web服务组合建模,其令牌类型的单一性不利于对模型的理解.针对这种不足,提出了一种基于着色Petri网的建模方法,给出了Web服务网系统结构的静态和动态特性,而且还给出了一个用着色Petri网建模的实例.应用结果表明,利用着色Petri网建立的模型具有较强的解释性和扩展性.     

用XML Web服务构架Web应用程序

简要介绍了XML Web服务技术，在此基础上描述了一个信用卡验证服务的实现．     

一种改进的分层泛洪Web服务组合算法

为了解决从用户的需求自动地组合现有的Web服务这一 问题，〖JP2〗论文提出了一种自动Web服务组合算法，根据用户的目标以及Web服务本身的 推理能力，扩展基本的分层泛洪法，生成路径最短的Web服务调用序列，并经由启发式算法 进行优化，然后根据该序列从用户的目标回溯至用户给定的已知条件，并再次使用启发式算 法进一步优化生成一个简化的最短调用序列. 数学证明和实验结果表明，该算法可以得到较 优的Web服务组合方案.     

一个面向Web服务集成的Agent协同框架

多Agent系统适用于Web服务集成的分布式环境;软件Agent相比Web服务具有更好的主动性和交互能力.面向Web服务集成的Agent协同框架以软件Agent和Web服务作为系统基本组件,可以构造开放的、分布式的、动态的、自主的、智能化的服务集成系统.具有设计、编辑Web服务集成流程;验证服务集成流程的正确性;执行Web服务集成流程;监控Web服务集成流程的执行等功能.     

Web服务在重磁数据处理中的应用

介绍了Web服务涉及到的基础技术(XML、SOAP、WSDL和LIDDI)、Web服务的体系结构以及服务提供者、服务请求者和服务注册中心之间的关系．针对重磁数据处理方法，使用C#语言，利用Visual Studio．NET平台，详述了Web服务的创建、部署方法和引用过程，开发了重磁数据处理Web服务和网络重磁数据处理系统．其是地球物理数据处理方法在现代信息技术条件下应用的新探索。     

Petri网在语义Web服务组合中的应用研究

通过Petri网对语义层次上的web服务组合进行描述与建模,并将Petri网形式化元素加入到web服务中,然后对Petri网模型用XML进行描述,使之能在实际中应用。最后,给出了基于Petri网的Web服务组合应用实例。     

基于接口自动机的服务组合方法

基于接口自动机(Interface Automata,简称IA)的原理,提出了基于IA的Web服务组合设计方法,每一个Web服务对应一个IA模型,并使用IA的组合表示服务组合,当用户需求发生变化时,可以重新构建IA和组合IA,当需求稳定后,通过查找IA组合使用的路径就可以找到Web组合的方法,使用本文的方法可以快速生成满足用户需求的新应用系统。     

一种面向Web服务的企业应用集成研究

Web服务是近年来提出的一种新的面向服务的体系结构,主要用来开发基于Internet环境下的应用,是一个应用集成理想方案。基于Web服务的EAI结构不同于传统的EAI结构,实现了应用之间的松耦合、平台无关、语言无关和互操作性。首先探讨了3种传统的EAI结构的优缺点,然后介绍了Web服务模型、主要技术和协议栈,最后提出一种基于Web服务的企业应用集成体系结构。     

建筑环境仿真的Web Services应用

分析了智能建筑的环境特性及其仿真控制技术，研究了以XML（Extensible Markup Language）技术规范为基础的Web Services与HLA分布式仿真系统相结合的技术，并应用于建筑环境仿真与控制领域，提高了建筑环境特性仿真控制的可互操作性和可重用性。