首页> 中文期刊>计算机应用研究 >基于Pi-Calculus的跨组织工作流建模方法

基于Pi-Calculus的跨组织工作流建模方法

     

摘要

针对跨组织协同环境下的业务流程建模技术的不足,提出了一个新的用于跨组织业务流程的形式化建模方法.首先根据工作流管理联盟(WfMC)的有关工作流过程定义接口规范,利用Pi-Calculus技术对跨组织业务流程结构进行了形式化定义.此外,利用Pi-Calculus特有机制对并发流程及其之间的通信进行描述.提出的方法可以有效用于不同业务流程间的协同工作,并且适合于对分布式协同环境下的工作流进行建模.

著录项

  • 来源
    《计算机应用研究》|2006年第1期|63-6576|共4页
  • 作者单位

    浙江大学,计算机科学与工程系,浙江,杭州,310027;

    浙江大学,计算机科学与工程系,浙江,杭州,310027;

    浙江工业大学,之江学院,浙江,杭州,310024;

    浙江大学,计算机科学与工程系,浙江,杭州,310027;

    浙江省交通规划设计研究院,浙江,杭州,310006;

    浙江大学,计算机科学与工程系,浙江,杭州,310027;

  • 原文格式 PDF
  • 正文语种 chi
  • 中图分类 算法理论;
  • 关键词

    工作流建模; Pi-Calculus; 跨组织流程;

  • 入库时间 2022-08-18 05:11:28

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号