Approach for workflow modeling using π-calculus

Journal of Zhejiang University: Science

Volumn 4, Issue 6, 2003, Pages 643-650

  Yang, Dong ^a   Zhang, Shen Sheng ^a  

^a SHANGHAI JIAO TONG UNIVERSITY   (China)

Author keywords

Business process modeling; Workflow modeling; calculus

Indexed keywords

ALGEBRA; COMPUTER PROGRAMMING; COMPUTER SIMULATION; FLOWCHARTING; SEMANTICS;

BUSINESS PROCESS MODELING; WORKFLOW MODELING;

INDUSTRIAL MANAGEMENT;

ARTICLE; DECISION SUPPORT SYSTEM; HUMAN; INFORMATION SYSTEM; MATHEMATICAL COMPUTING; NONBIOLOGICAL MODEL; WORKLOAD;

DECISION SUPPORT TECHNIQUES; HUMANS; MANAGEMENT INFORMATION SYSTEMS; MATHEMATICAL COMPUTING; MODELS, ORGANIZATIONAL; WORKLOAD;

EID: 1342284418     PISSN: 10093095     EISSN: None     Source Type: Journal    
DOI: 10.1631/jzus.2003.0643     Document Type: Article

References (16)

1. Alonso, G. and Mohan, C., 1997. Workflow Management: The Next Generation of Distributed Processing Tools. In: S. Jajodia, L. Kerschberg (Eds.), Advanced Transaction Models and Architectures, Kluwer Academic Publishers.
2. Bandinelli, S., Fuggetta, A. and Ghezzi, C., 1993. Software process model evolution in the SPADE environment. IEEE Transactions on Software Engineering, 19(12): 1128-1144.
3. Bandinelli, S., Fuggetta, A., Ghezzi., C. and Lavazza, L., 1994. SPADE: An Environment for Software Process Analysis, Design, and Enactment. In: Finkel-stein, A., Kramer, J., Nuseibeh, B., editors. Software Process Modelling and Technology. John Wiley and Sons, London, England, p. 223-244.
4. Bradfield, C. and Stirling, C., 2001. Modal Logics and Mu-calculi: An Introduction. In: Bergstra, A., Ponse, A., Smolka, S.A., editors, Handbook of Process Algebra. Elsevier Science, p. 293-330.
5. Casati, F., Grefen, P. and Sanchez, G., 1997. WIDE - A Distributed Architecture for Workflow Management. In: Proceedings 7th International Workshop on Research Issues in Data Engineering, Birmingham, England, P. 76-79.
6. Ellis, C. and Nutt, G., 1993. Modeling and Enactment of Workflow Systems. In: M. Ajmone Marsan, editor, Application and Theory of Petri Nets (LNCS691), Springer-Verlag, Berlin, Heidelberg, p.1-16.
7. Kappel, G., Rausch-Schott, S. and Retschitzegger, W., 1998. Coordination in Workflow Management Systems -A Rule-based Approach. In: Conen, W., Neumann, G., editors, Coordination Technology for Collaborative Applications-Organizations, Processes, and Agents (LNCS1364), Springer, Berlin, Heidelberg, p. 99-120.
8. Krishnakumar, N. and Sheth, A., 1995. Managing heterogeneous multi-system tasks to support enterprise-wide operations. Distributed and Parallel Databases, 3(2). p. 155-186.
9. Lawrence, P. (editor), 1997. Workflow Handbook 1997. John Wiley and Sons, New York.
10. Milner, R., 1989. Communication and Concurrency. Prentice Hall, New York.
11. Milner, R., Parrow, J. and Walker, D., 1992. A calculus for mobile processes, parts I and II. Journal of Information and Computation, 100: 1-77.
12. Milner, R., 1999. Communicating and Mobile Systems: the π- Calculus. Cambridge University Press.
13. Van der Aalst, W.M.P., 1996. Petri-net-based Workflow Management Software. In: A. Sheth, editor, Proceedings of the NFS Workshop on Workflow and Process Automation in Information Systems, Athens, Georgia, p. 114-118.
14. Van der Aalst, W. M. P., 1998. The application of petri nets to workflow management. The Journal of Circuits, Systems and Computers, 8(1): 21-66.
15. Victor, B. and Moller, F., 1994. The Mobility Workbench-A Tool for the π-calculus. In: Dill, D., ed., Proceedings of the Conference on Computer-Aided Verification (CAV'94)(LNCS818), Springer-Verlag, Berlin, Heidelberg, p.428-440.
16. Zhang, S.S., 1996. From CIMS to dynamic alliance. China Mechanical Engineering, 7(3): 17-22.