BPM是继工作流(Workflow)之后业界研究和实现业务管理的又一个新方向和热点,它不仅结合了最新的信息技术,对贯穿整个企业经营活动......

Business applications are subject to changes with technology trends or market demands. However, quick response to these ......

构件行为的兼容性分析是研究构件动态交互过程中的重要问题,其研究结果可应用于构件替换、迁移、动态自适应演化等研究。为了保证......

针对跨组织协同环境下的业务流程建模技术的不足,提出了一个新的用于跨组织业务流程的形式化建模方法。首先根据工作流管理联盟(W ......

为验证基于构件的软件系统中构件间交互的可信性,将统一建模语言（unified modeling language,UML）与Pi演算理论相结合,提出了一个软......

服务组合技术成为网格领域的研究热点,但是对于服务交互行为以及服务组合正确性的研究,仍缺乏有说服力的理论和现实成果.利用Pi-演......

为了实现随需应变、动态组合的跨组织协作业务流程模型,将pi-演算理论引入业务流程建模与验证中,应用pi-演算理论建立了多角色、多......

论文从服务计算试图用自动分解需求,全网搜索小粒度服务,组装出符合需求的应用逻辑的方式来完成以前的软件开发任务。在这个框架中......

提出了一个保持演进特性的二元同步会话类型系统,分析了进程通信中可能发生的死锁情形;同时结合会话类型的子类型概念和松弛对偶关......

工作流模式包含了业务流程的基本特征和共性，其实现依赖于具体的流程建模语言或方法。Pi-演算是一种进程代数，可以应用于业务流程的......

为了提高Web服务组合的可信性,利用Pi-演算刻画信任Web服务组合的结构及信任实体间的交互。首先,给出信任Web服务组合的抽象定义;......

企业动态联盟对信息系统灵活性提出了更高的要求.我们开发的异构数据源集成系统,具有系统配置灵活和数据源的"即插即用"特点,并给......

为了保证Web服务组合执行获得正确一致的结果，用形式化方法研究Web服务事务处理的协调过程是很重要的。基于Web服务事务规范（Web ser......

Agent的BDI模型主要基于Bratman提出的理性主体理论,未能充分体现Agent主动性的认知过程,使Agent的问题求解和心智状态之间的关系......

Web服务组合的目的是实现单一服务无法满足的复杂功能,而保证组合的正确性以实现服务增值是十分必要,因此组合之后的正确性验证是W......

根据空战作战任务的特点，对协同攻击任务进行阶段分解和类型分解。建立了基于任务、面向结构、具有集中．分布式指挥控制关系的作战编......

文章从Web服务的编排、验证、部署角度提出了基于Pi演算的Web服务组合过程框架，说明了这个框架中每一步骤涉及的理论和工具应用。并......

SOA架构是解决构建松散耦合Web服务组合系统的一种有效方式，已成为web服务研究的一个热点。本文基于SOA架构研究Web服务组合系统，提......

为了改进传统网格的可扩展性和动态性，提出了一种集成P2P模式的网格资源管理模型，该模型融合了网格计算和对等计算的优点。基于该模......

MWB是一个基于PI演算的模型检测工具。本文对多播的PIM_SM协议用PI演算建立一个三层模型并进行模型检测，其中主要检测PIM_SM协议中......

针对传统编程语言不能便捷高效利用多核芯片计算资源的缺点,本文提出了一种并行编程语言并定义了核心语义及其运行时环境的相关算......

工作流技术已经成为实现业务流程自动化和重组所必须的技术。工作流建模工具是工作流管理系统的起点,而工作流模型是工作流建模工......