PI-calculus相关论文
BPM是继工作流(Workflow)之后业界研究和实现业务管理的又一个新方向和热点,它不仅结合了最新的信息技术,对贯穿整个企业经营活动......
Business applications are subject to changes with technology trends or market demands. However, quick response to these ......
构件行为的兼容性分析是研究构件动态交互过程中的重要问题,其研究结果可应用于构件替换、迁移、动态自适应演化等研究。为了保证......
对于Web服务及其组合而言，保证其正确性并实现增值服务是十分必要的。Pi-演算是一种移动进程代数．可用于对并发和动态变化的系统进行......
针对跨组织协同环境下的业务流程建模技术的不足,提出了一个新的用于跨组织业务流程的形式化建模方法。首先根据工作流管理联盟(W ......
为验证基于构件的软件系统中构件间交互的可信性,将统一建模语言（unified modeling language,UML）与Pi演算理论相结合,提出了一个软......
服务组合技术成为网格领域的研究热点,但是对于服务交互行为以及服务组合正确性的研究,仍缺乏有说服力的理论和现实成果.利用Pi-演......
为了实现随需应变、动态组合的跨组织协作业务流程模型,将pi-演算理论引入业务流程建模与验证中,应用pi-演算理论建立了多角色、多......
论文从服务计算试图用自动分解需求,全网搜索小粒度服务,组装出符合需求的应用逻辑的方式来完成以前的软件开发任务。在这个框架中......
提出了一个保持演进特性的二元同步会话类型系统,分析了进程通信中可能发生的死锁情形;同时结合会话类型的子类型概念和松弛对偶关......
Ice中间件是一个和COBRA同样强大却摒除了COBRA的缺陷的分布式对象平台，它为异构环境下的应用开发提供了一种新的方式。Ice协议定义......
工作流模式包含了业务流程的基本特征和共性，其实现依赖于具体的流程建模语言或方法。Pi-演算是一种进程代数，可以应用于业务流程的......
为了提高Web服务组合的可信性,利用Pi-演算刻画信任Web服务组合的结构及信任实体间的交互。首先,给出信任Web服务组合的抽象定义;......
通过使用交互服务集合的概念归纳出一个适用范围较广的Web服务可替换的充分条件,并基于Pi-演算对可替换条件中的兼容性条件进行建......
企业动态联盟对信息系统灵活性提出了更高的要求.我们开发的异构数据源集成系统,具有系统配置灵活和数据源的"即插即用"特点,并给......
为了保证Web服务组合执行获得正确一致的结果，用形式化方法研究Web服务事务处理的协调过程是很重要的。基于Web服务事务规范（Web ser......
Agent的BDI模型主要基于Bratman提出的理性主体理论,未能充分体现Agent主动性的认知过程,使Agent的问题求解和心智状态之间的关系......
提出了一种改进的Web服务自动组装的方法，以提高Web服务组装的自动化。组装Web服务时，先用UML对复合Web服务进行建模，从UML模型得到复......
Web服务组合的目的是实现单一服务无法满足的复杂功能,而保证组合的正确性以实现服务增值是十分必要,因此组合之后的正确性验证是W......
根据空战作战任务的特点，对协同攻击任务进行阶段分解和类型分解。建立了基于任务、面向结构、具有集中．分布式指挥控制关系的作战编......
文章从Web服务的编排、验证、部署角度提出了基于Pi演算的Web服务组合过程框架，说明了这个框架中每一步骤涉及的理论和工具应用。并......
为了加强工作流模型对业务流程的描述能力,提出了一种扩展有向图工作流模型及其验证方法。针对基于有向图工作流模型的不足,提出了......
SOA架构是解决构建松散耦合Web服务组合系统的一种有效方式，已成为web服务研究的一个热点。本文基于SOA架构研究Web服务组合系统，提......
为了改进传统网格的可扩展性和动态性，提出了一种集成P2P模式的网格资源管理模型，该模型融合了网格计算和对等计算的优点。基于该模......
MWB是一个基于PI演算的模型检测工具。本文对多播的PIM_SM协议用PI演算建立一个三层模型并进行模型检测，其中主要检测PIM_SM协议中......
Pi-Calculus is a formal method for describing and analyzing the behavior of large distributed and concurrent systems. Pi......
针对传统编程语言不能便捷高效利用多核芯片计算资源的缺点,本文提出了一种并行编程语言并定义了核心语义及其运行时环境的相关算......
工作流技术已经成为实现业务流程自动化和重组所必须的技术。工作流建模工具是工作流管理系统的起点,而工作流模型是工作流建模工......
