基于Pi演算的跨组织工作流建模研究

被引：16

作者：

张静

王海洋

崔立真

机构：

[1] 山东大学计算机科学与技术学院

来源：

计算机研究与发展 | 2007年 / 07期

关键词：

跨组织工作流; Pi演算; 业务流程建模; 抽象; 组合;

D O I：

暂无

中图分类号：

TP311.52 [];

学科分类号：

081202 ; 0835 ;

摘要：

传统的工作流建模方法主要用于描述组织内部流程,因而难以描述跨组织工作流面向流程、组合、抽象、涉及多个自治系统通信合作的新特点.针对此问题,提出了一种基于Pi演算的跨组织工作流建模方法,利用Pi演算的并发计算操作符,将跨组织业务流程建模为一组自治且并发执行的组织内子流程的组合,子流程建模为组织内本地流程定义和组织间控制约束的组合.基于Pi演算的弱互相似理论,验证了两个跨组织子流程外部行为的相等性,用于帮助组织内私有流程的外部抽象.基于该方法建立的跨组织工作流模型在子流程间建立了一种松耦合的关系,适用于动态的跨组织环境,同时基于严格的形式化方法,便于分析和验证.

引用

页码：1243 / 1251

页数：9

共 5 条

[1] 工作流过程建模中的形式化验证技术 [J].

周建涛 ;

史美林 ;

叶新铭 ;

不详 .

计算机研究与发展 , 2005, (01) :1-9

[2] Petri网在业务过程建模中的应用 [J].

李红臣 ;

史美林 .

小型微型计算机系统, 2001, (01) :29-32

[3]

Business-to-business interactions: issues and enabling technologies[J] . B. Medjahed,B. Benatallah,A. Bouguettaya,A.H.H. Ngu,A.K. Elmagarmid.The VLDB Journal . 2003 (1)

[4] Approach for workflow modeling using π-calculus [J].

Yang, Dong ;

Zhang, Shen-Sheng .

Journal of Zhejiang University: Science, 2003, 4 (06) :643-650

[5] A taxonomy of business process modeling and information systems modeling techniques [J].

Giaglis, GM .

INTERNATIONAL JOURNAL OF FLEXIBLE MANUFACTURING SYSTEMS, 2001, 13 (02) :209-228

← 1 →