PI-演算相关论文
无线自动售货机系统通过无线网络实现了对自动售货机的远程监视和控制,便于企业内部物流管理及向顾客提供方便的手机购物。为了对......
随着计算机软硬件和网络技术的迅猛发展，应用软件的规模日益庞大、系统日趋复杂。如何准确地描述用户需求、有效地开发和管理复杂系......
业务流程管理BPM(Business Process Management)综合集成了企业的任务、资源和数据,并通过对这些流程的管理帮助企业灵活、敏捷地......
渔业各部门经过长久以来的信息化建设，开发了一系列渔业信息系统，由于这些系统开发时期和厂商的不同，所属的渔业部门各不相同，使用的操......
Web服务是一种新型的分布式的计算模型，可以在多种异构平台的基础上构建一个通用的、无关平台的、无关语言的技术层，使得不同平台之......
网络技术和Web服务技术的广泛应用,推动和促进了并行分布式计算的快速发展。并行分布式计算的主要特征包括并发性、分布性、实时性......
网格环境下实体信任网络的形式化建模是实现其仿真的关键环节,利用pi-演算刻画网格中信任网络的结构和交互。抽象定义信任网络,讨......
当前对Web服务进行形式化描述的方法多是基于对某个具体Web服务组合规范的抽象,无法兼顾基于全局和局部的设计方法,并且无法描述We......
面向服务的事务处理是保障业务交互和协作正确性的关键技术。针对跨组织多业务流程，提供了一种支持多业务事务建模与验证的方法。在......
服务组合技术成为网格领域的研究热点,但是对于服务交互行为以及服务组合正确性的研究,仍缺乏有说服力的理论和现实成果.利用Pi-演......
为了实现随需应变、动态组合的跨组织协作业务流程模型,将pi-演算理论引入业务流程建模与验证中,应用pi-演算理论建立了多角色、多......
论文从服务计算试图用自动分解需求,全网搜索小粒度服务,组装出符合需求的应用逻辑的方式来完成以前的软件开发任务。在这个框架中......
提出了一个保持演进特性的二元同步会话类型系统,分析了进程通信中可能发生的死锁情形;同时结合会话类型的子类型概念和松弛对偶关......
工作流模式包含了业务流程的基本特征和共性，其实现依赖于具体的流程建模语言或方法。Pi-演算是一种进程代数，可以应用于业务流程的......
为了提高Web服务组合的可信性,利用Pi-演算刻画信任Web服务组合的结构及信任实体间的交互。首先,给出信任Web服务组合的抽象定义;......
为了保证Web服务组合执行获得正确一致的结果，用形式化方法研究Web服务事务处理的协调过程是很重要的。基于Web服务事务规范（Web ser......
形式化方法对于建模和验证软件系统是一种有效的方法,所以对Web服务的形式化描述和验证是一个重要的研究方向.对于Web服务及其组合......
Pi-演算是一种适合于web服务组合的进程代数，文章介绍了Pi-演算的基本语法，讨论了Pi-演算与Web服务协议栈的对应关系，说明了利用Pi-演......
SOA架构是解决构建松散耦合Web服务组合系统的一种有效方式，已成为web服务研究的一个热点。本文基于SOA架构研究Web服务组合系统，提......
为了改进传统网格的可扩展性和动态性，提出了一种集成P2P模式的网格资源管理模型，该模型融合了网格计算和对等计算的优点。基于该模......
在应用Pi-演算对移动自助服务系统的缴费流程建模时,采用自顶向下的方法,首先建立了顶层的缴费流程模型,然后将主要的活动逐层细化......
Web服务的相容性分析是为了保证多个Web服务之间的正确交互.基于Pi-演算对Web服务的相容性进行了形式化的分析,给出了二个Web服务......
WS—CDL从全局的观点定义了P2P协作实体通用的外部行为，这些外部行为以消息交换序列的形式来达到一个共同的交易目的。尽管WS—CDL......
对Pi-演算进行语法扩展，提出了一种新的演算：SetPi-演算，在Pi-演算原有语义的基础上引入了“集合”的思想，从而解决了Pi-演算无法添加......
在物联网、区域管理和应急救援等领域,对大规模设备协同的需求越来越高.针对大规模设备协同中协同规模大和时序约束严格这两个特点......
面向服务的体系架构(Service-Oriented Architecture,SOA)代表了分布式计算和软件开发的最新发展方向,Web服务作为SOA的实现方式之......
随着网格研究的不断深入，网格工作流已成为该领域重要的研究方向，但是由于网格环境的分布性、动态性和自组织的特点，网格工作流研究仍......
Web服务组合使得开发者可以基于面向服务的计算无缝地访问众多分布式服务，组合在一起解决复杂问题。大多数Web服务是独立开发并运行......
随着业务要求的不断增加,Web服务组合变得日益复杂,服务组合出错的可能性也不断增加,这就需要对Web服务组合流程进行分析和验证,以......
在现行的移动通信业务中,为解决不同运营商提供的增值服务无法互通的问题,提出将移动通信过程定义为多个独立的Web服务,利用PI-演......
为解决节点企业行为的不确定影响供应链系统性能的问题,提出一种应用Pi-演算对供应链的节点企业行为进行随机分析的方法。利用交互......
Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合,如何验证服务组合的正确性。Web服务组合的形式化模型来可以用......
定义了一个Pi-演算的类型系统,然后利用扩充后的类型化Pi-演算建模BPEL4WS描述的Web服务组合系统。提出了基于类型化Pi-演算的服务......
随着Web服务技术的迅速发展,越来越多的的Web服务运行在Internet上,但单个的Web服务功能有限,难以满足日益增长和不断变化的用户需......
柔性制造环境下车间生产调度问题具有复杂性、不确定性、多目标、多约束、多资源相互协调等特点。鉴于其重要的理论和实际意义,一......
随着各种开源软件在教学中得到越来越广泛的应用,开源软件整合成为教育信息化进程中的重要课题。由于整合所涉及的技术广泛且不易......
首次将进程代数PI-演算理论引入电子政务流程建模中,对电子政务研究中的热点、难点,即网上并联审批流程进行了形式化建模,并对所建......
