PI-演算相关论文
无线自动售货机系统通过无线网络实现了对自动售货机的远程监视和控制,便于企业内部物流管理及向顾客提供方便的手机购物。为了对......
作为企业业务过程电子化的关键要素，业务流程管理是正在迅速发展的技术，在不同的行业得到广泛应用。业务流程建模是工作流系统中的一......
工作流模型是工作流应用的生命线，工作流过程建模是一个复杂且易错的过程，如何确保模型质量的问题引起了研究界和工业界的高度重视，在......
随着计算机软硬件和网络技术的迅猛发展，应用软件的规模日益庞大、系统日趋复杂。如何准确地描述用户需求、有效地开发和管理复杂系......
渔业各部门经过长久以来的信息化建设，开发了一系列渔业信息系统，由于这些系统开发时期和厂商的不同，所属的渔业部门各不相同，使用的操......
移动自助服务系统通过有线或无线网络实现了对其自助服务终端的远程监视和控制,方便公司内部管理,并且为用户提供了方便的途径完成......
Web服务是一种新型的分布式的计算模型，可以在多种异构平台的基础上构建一个通用的、无关平台的、无关语言的技术层，使得不同平台之......
WS—CDL编舞从全局的观点描述Web服务参与方之间的交互，自顶向下的方法分析系统。为了验证CDL编舞的结构良好，引入Pi-演算理论，给出了......
网络技术和Web服务技术的广泛应用,推动和促进了并行分布式计算的快速发展。并行分布式计算的主要特征包括并发性、分布性、实时性......
网格环境下实体信任网络的形式化建模是实现其仿真的关键环节,利用pi-演算刻画网格中信任网络的结构和交互。抽象定义信任网络,讨......
当前对Web服务进行形式化描述的方法多是基于对某个具体Web服务组合规范的抽象,无法兼顾基于全局和局部的设计方法,并且无法描述We......
对于Web服务及其组合而言，保证其正确性并实现增值服务是十分必要的。Pi-演算是一种移动进程代数．可用于对并发和动态变化的系统进行......
面向服务的事务处理是保障业务交互和协作正确性的关键技术。针对跨组织多业务流程，提供了一种支持多业务事务建模与验证的方法。在......
服务组合技术成为网格领域的研究热点,但是对于服务交互行为以及服务组合正确性的研究,仍缺乏有说服力的理论和现实成果.利用Pi-演......
为了实现随需应变、动态组合的跨组织协作业务流程模型,将pi-演算理论引入业务流程建模与验证中,应用pi-演算理论建立了多角色、多......
论文从服务计算试图用自动分解需求,全网搜索小粒度服务,组装出符合需求的应用逻辑的方式来完成以前的软件开发任务。在这个框架中......
提出了一个保持演进特性的二元同步会话类型系统,分析了进程通信中可能发生的死锁情形;同时结合会话类型的子类型概念和松弛对偶关......
工作流模式包含了业务流程的基本特征和共性，其实现依赖于具体的流程建模语言或方法。Pi-演算是一种进程代数，可以应用于业务流程的......
为了提高Web服务组合的可信性,利用Pi-演算刻画信任Web服务组合的结构及信任实体间的交互。首先,给出信任Web服务组合的抽象定义;......
通过使用交互服务集合的概念归纳出一个适用范围较广的Web服务可替换的充分条件,并基于Pi-演算对可替换条件中的兼容性条件进行建......
为有效地保证Web服务业务活动中事务可靠地执行，提出了一种检查伙伴服务之间协调行为一致性的方法。针对长事务给出用Pi-演算建模业......
为了保证Web服务组合执行获得正确一致的结果，用形式化方法研究Web服务事务处理的协调过程是很重要的。基于Web服务事务规范（Web ser......
形式化方法对于建模和验证软件系统是一种有效的方法,所以对Web服务的形式化描述和验证是一个重要的研究方向.对于Web服务及其组合......
为了加强工作流模型对业务流程的描述能力,提出了一种扩展有向图工作流模型及其验证方法。针对基于有向图工作流模型的不足,提出了......
SOA架构是解决构建松散耦合Web服务组合系统的一种有效方式，已成为web服务研究的一个热点。本文基于SOA架构研究Web服务组合系统，提......
为了改进传统网格的可扩展性和动态性，提出了一种集成P2P模式的网格资源管理模型，该模型融合了网格计算和对等计算的优点。基于该模......
针对现今移动通信中不同SP提供的业务无法互通的弊端,提出了用Web Service的思想来改进移动通信服务的方法。该方法主要以Internet......
在应用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-演......
Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合,如何验证服务组合的正确性。Web服务组合的形式化模型来可以用......
定义了一个Pi-演算的类型系统,然后利用扩充后的类型化Pi-演算建模BPEL4WS描述的Web服务组合系统。提出了基于类型化Pi-演算的服务......
协同学习是在综合了诸多教育理论、学习科学和心理理论(如全人教育,建构主义,联通主义,等)的基础上和在教育信息化(ICT)背景下出现......
随着Web服务技术的迅速发展,越来越多的的Web服务运行在Internet上,但单个的Web服务功能有限,难以满足日益增长和不断变化的用户需......
随着各种开源软件在教学中得到越来越广泛的应用,开源软件整合成为教育信息化进程中的重要课题。由于整合所涉及的技术广泛且不易......
首次将进程代数PI-演算理论引入电子政务流程建模中,对电子政务研究中的热点、难点,即网上并联审批流程进行了形式化建模,并对所建......
