Research on cross-organizational workflow modeling based on Pi-calculus

Jisuanji Yanjiu yu Fazhan/Computer Research and Development

Volumn 44, Issue 7, 2007, Pages 1243-1251

  Zhang, Jing ^a   Wang, Haiyang ^a   Cui, Lizhen ^a  

^a SHANDONG UNIVERSITY   (China)

Author keywords

Abstract; Business process modeling; Composition; Cross organizational workflow; Pi calculus

Indexed keywords

COMMUNICATION; COMPUTER SUPPORTED COOPERATIVE WORK; FORMAL METHODS; VERIFICATION;

ABSTRACTION; BUSINESS PROCESS MODELING; COMPOSITION; CONCURRENCY OPERATION; CROSS ORGANIZATIONAL WORKFLOW; INTERNAL PRIVATE BUSINESS PROCESS; PI CALCULUS; WEAK BISIMULATION THEORY;

SOFTWARE ENGINEERING;

EID: 34548624570     PISSN: 10001239     EISSN: None     Source Type: Journal    
DOI: 10.1360/crad20070721     Document Type: Article

References (16)

1. B Medjahed, B Benatallah, A Bouguettaya, et al. Business-to-business interactions: Issues and enabling technologies[J]. The VLDB Journal, 2003, 12(1): 59-85.
2. T Amin, P H Keng. Inter-organizational workflow management in virtual healthcare enterprise[C]. The 4th Int'l Conf on Enterprise Information Systems, Spain, 2002.
3. Zhou Jiantao, Shi Meilin, Ye Xinming. Formal verification techniques in workflow process modeling[J]. Journal of Computer Research and Development, 2005, 42(1): 1-9 (in Chinese).
4. R M Bastos, D D A Ruiz. Extending UML activity diagram for workflow modeling in production systems[C]. In: Proc of the 35th Hawaii Int'l Conf on System Sciences. Los Alamitos: IEEE Computer Society Press, 2002.
5. W Aalst, K Hee. Workflow Management Models, Methods and Systems[M]. Cambridge: MIT Press, 2002.
6. G M Giaglis. A taxonomy of business process modelling and information systems modelling techniques[J]. International Journal of Flexible Manufacturing Systems, 2001, 13(2): 209-228.
7. W Aalst. Modeling and analyzing interorganizational workflows[C]. In: Proc of the 1998 Int'l Conf on Application of Concurrency to System Design. Los Alamitos: IEEE Computer Society Press, 1998. 262-272.
8. K Lenz, A Oberweis. Inter-organizational business process management with XML nets[C]. In: The 34th Hawaii Int'l Conf on System Sciences. Los Alamitos: IEEE Computer Society Press, 2001. 243-263.
9. Li Hongchen, Shi Meilin. The application of Petri nets in business process modeling[J]. Mini-Micro Computer Systems, 2001, 22(1): 29-32 (in Chinese).
10. Liu Shuzhou, Angela Goh Eck Soong. A formal framework to support workflow adaptation[J]. International Journal of Software Engineering and Knowledge Engineering, 2002, 12(3): 245-267.
11. R Milner. Communicating and Mobile Systems: The π-Calculus[M]. Cambridge: Cambridge University Press, 1999.
12. M Forster, Theory of business process modelling: The Pi-calculus[C]. Seminar Process-Oriented Information Systems, Potsdam, Germany, 2003.
13. H Smith, P Fingar. Workflow is just a Pi process[OL]. http://www.bpm3.com/picalculus, 2003-12-08.
14. Y Dong, Z Shen-sheng. Approach for workflow modeling using π-calculus[J]. Journal of Zhejiang University Science, 2003, 4(6): 643-650.
15. J Parrow. An introduction to the 7r-calculus[G]. In: Handbook of Process Algebra. Amsterdam: Elsevier Press, 2001. 479-543.
16. B Victor, F Moller. The mobile workbench-A tool for the π-calculus[G]. In: Proc of the Computer-Aided Verification 1994, LNCS 818. Berlin: Springer, 1994. 428-440.