搜索结果: 1-1 共查到“计算机科学技术 Pi-Calculus”相关记录1条 . 查询时间(0.078 秒)
基于Pi-Calculus的跨组织工作流建模方法*
工作流建模 Pi-Calculus 跨组织流程
2008/3/3
针对跨组织协同环境下的业务流程建模技术的不足，提出了一个新的用于跨组织业务流程的形式化建模方法。首先根据工作流管理联盟（WfMC）的有关工作流过程定义接口规范，利用PiCalculus技术对跨组织业务流程结构进行了形式化定义。此外，利用PiCalculus特有机制对并发流程及其之间的通信进行描述。提出的方法可以有效用于不同业务流程间的协同工作，并且适合于对分布式协同环境下的工作流进行建模。